24.241 Logic I


Class Info

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.

This class has no prerequisites.

24.241 will be offered this semester (Fall 2019). It is instructed by V. McGee.

Lecture occurs 9:30 AM to 11:00 AM on Tuesdays and Thursdays in 32-124.

This class counts for a total of 12 credits. This class counts as a HASS H.

You can find more information on MIT OpenCourseWare at the Logic I site.

MIT 24.241 Logic I Related Textbooks
MIT 24.241 Logic I On The Web
Logic I
Tags
mathematical induction predicate logic meta-theory

© Copyright 2015