MERLOT Materials

Show results for

Filter by

1-24 of 46 results for: mathematics

Textbook for symbolic logic, beginning at a level appropriate for beginning students, continuing through Gödel's... see more

מאמר על אופיה הפילוסופי של המתמטיקה. המתמטיקה נתפסת כהכרה הפילוסופית הטהורה היחידה. זוהי הכרה א-פריורי, משמע, שאינה... see more

מאמר על הפילוסוף החשוב, בן המאה ה 20, ברטנרד ראסל, אשר תרם רבות בתחום הלוגיקה, הפילוסופיה של המתמטיקה ותורת ההכרה

PhilPapers (2009) hosts one of the largest open access archives that aggregates and indexes philosophy journal articles,... see more

קורות חייו של גוטלוב פרגה. פרגה, פילוסוף שחי בתחילת המאה העשרים, נחשב כמייסדה של הלוגיקה המתמטית, וכן כפילוסוף של הלוגיקה... see more

This course focuses on an in-depth reading of Principia Mathematica Philosophiae Naturalis by Isaac Newton, as well as... see more

This video was recorded at 5th International Conference on Computational Creativity (ICCC), Ljubljana 2014. We introduce... see more

The author offers reflections on specific questions mathematicians and philosophers have asked about the infinite over... see more

This video was recorded at Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011.... see more

In exploring the concept of implication, which is at the heart of nearly all reasoning, we divided it into two types:... see more

This book is an introduction to the metatheory of truth-functional logic, also known as the propositional calculus. This... see more

This is a free textbook that is offered by Amazon for reading on a Kindle. Anybody can read Kindle books—even without a... see more

When scientists are trying to gain a deep understanding of how the world works, they seek general patterns rather than... see more

This is a free textbook that is offered by Amazon for reading on a Kindle. Anybody can read Kindle books—even without a... see more

Logic is a remarkable discipline. It is deeply tied to mathematics and philosophy, as correctness of argumentation is... see more

The Open Logic Text is an open-source, collaborative textbook of formal meta-logic and formal methods, starting at an... see more

Tutorials in Introductory Physics are widely used and have proven to be effective in promoting student understanding for... see more

Interactive textbook for introductory logic courses. Topics include: (i) Boolean searching (ii) propositional logic with... see more

This is an 'undergraduate college level textbook covering first order predicate logic with identity but omitting... see more

This is a 'two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic... see more

This is 'an introduction to reasoning with propositional and first-order logic, with applications to computer science. It... see more

'This is a textbook (or better, a workbook) in modern philosophy. It combines readings from primary sources with two... see more

The Open Logic Text is an open textbook on mathematical logic aimed at a non-mathematical audience, intended for advanced... see more

This textbook is based on the Open Logic Project. It covers naive set theory, first-order logic, sequent calculus and... see more