Logic I

Natural deduction proof.

Natural deduction proof that "The present king of France is bald" entails "The present king of France exists." (Figure by MIT OpenCourseWare. Taken from chapter 21 of the course text.)


MIT Course Number


As Taught In

Fall 2005



Cite This Course

Course Description

Course Features

Course Highlights

This course features a manuscript written by the faculty member, entitled Logic: The Art of Persuasion and Science of Truth in the readings section.

Course Description

This course provides an introduction to the aims and techniques of formal logic. Logic is the science of correct argument, and our study of logic will aim to understand what makes a correct argument good, that is, what is it about the structure of a correct argument that guarantees that, if the premises are all true, the conclusion will be true as well? Our subject (though, to be sure, we can only scratch the surface) will be truth and proof, and the connection between them.

Other Versions

Other OCW Versions

OCW has published multiple versions of this subject. Question_OVT logo

Related Content

Vann McGee. 24.241 Logic I. Fall 2005. 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.