24.241 | Fall 2009 | Undergraduate
Logic I
Course Description
In this course we will cover central aspects of modern formal logic, beginning with an explanation of what constitutes good reasoning. Topics will include validity and soundness of arguments, formal derivations, truth-functions, translations to and from a formal language, and truth-tables. We will thoroughly cover …
In this course we will cover central aspects of modern formal logic, beginning with an explanation of what constitutes good reasoning. Topics will include validity and soundness of arguments, formal derivations, truth-functions, translations to and from a formal language, and truth-tables. We will thoroughly cover sentential calculus and predicate logic, including soundness and completeness results.
Learning Resource Types
assignment_turned_in Problem Sets with Solutions
grading Exams
notes Lecture Notes
Painting of Plato and Aristotle.
Aristotle was the first to study formal logic. (“Scuolo di Atene” by Raphael Sanzio. Photograph by Image Editor on Flickr.)