Material Detail

24.241 Logic I (MIT)

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.... Show More

Keywords:: sentential logic, mathematical induction, ocwc, predicate logic, meta-theory, oec, Logic

Disciplines:

Humanities / Philosophy

Go to Material

Bookmark / Add to Course ePortfolio

Create a Learning Exercise

Add Accessibility Information

Rate

Add a Comment

Quality

User Rating
Comments
Learning Exercises
Bookmark Collections
Course ePortfolios
Accessibility Info

Report Broken Link
Report as Inappropriate

More about this material

Material Type:: Online Course
Date Added to MERLOT:: August 6, 2014
Date Modified in MERLOT:: August 6, 2014
Author:: Dr. Ephraim Glick
Submitter:: The Open Education Consortium
Primary Audience:: College General Ed
Technical Format:: Website

Mobile Compatibility:: Not specified at this time
Language:: English
Cost Involved:: No
Source Code Available:: No
Accessibility Information Available:: Unknown
Creative Commons:: This work is licensed under a Attribution-NonCommercial-ShareAlike 3.0 United States