» MIT OpenCourseWare » Linguistics and Philosophy » Logic I, Fall 2002

24.241 Logic I, Fall 2002

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.

Search