Logic I

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.)

Instructor(s)

MIT Course Number

24.241

As Taught In

Fall 2009

Level

Undergraduate

Cite This Course

Course Description

Course Features

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 sentential calculus and predicate logic, including soundness and completeness results.

Other Versions

Other OCW Versions

OCW has published multiple versions of this subject. Question_OVT logo

Related Content

Ephraim Glick. 24.241 Logic I. Fall 2009. Massachusetts Institute of Technology: MIT OpenCourseWare, https://ocw.mit.edu. License: Creative Commons BY-NC-SA.


For more information about using these materials and the Creative Commons license, see our Terms of Use.


Close