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 not be offered this semester. It will be available in the Fall semester, and will be instructed by M. Schoenfield.

Lecture occurs 1:00 PM to 2:30 PM 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 or on the 24.241 Stellar site.

Required Textbooks
Save up to up to 62% by purchasing through MIT Textbooks!
MIT 24.241 Logic I Related Textbooks
MIT 24.241 Logic I On The Web
Logic I
Tags
meta-theory predicate logic mathematical induction

© Copyright 2015