Open Course Space

Logic I

Massachusetts Institute of TechnologyUnited States24.241
Free, no sign-up neededFall 2009English
Go to course on MIT OpenCourseWare

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.

Description from MIT OpenCourseWare.

Where to take this course