MIT OpenCourseWare | Linguistics and Philosophy | 24.241 Logic I, Fall 2002 | Home
MIT OpenCourseWare
OCW Home Course List About OCW Help with OCW Feedback


Search
» Advanced search
 Course Home
 Syllabus
 Calendar
 Readings
 Assignments

24.241 Logic I, Fall 2002

Natural deduction proof that The present king of France is bald entails The present king of France exists.
Natural deduction proof that "The present king of France is bald" entails "The present king of France exists."   (Taken from lecture note 17 of course materials.)

Highlights of this Course

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

Course Description

Introduction to the aims and techniques of formal logic. The logic of truth functions and quantifiers. The concepts of validity and truth and their relation to formal deduction. Applications of logic and the place of logic in philosophy.

Staff

Instructor:
Prof. Vann McGee 

Course Meeting Times

Lectures:
Two sessions / week
1.5 hours / session

Level

Undergraduate

Feedback
Send feedback about OCW or this course.

 
MIT Home
Massachusetts Institute of Technology Terms of Use Privacy