Visit this resource

Title : 24.241 Logic I (MIT)

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.

Fromsemester : Fall

Fromyear : 2002

Creator :

Date : 2006-11-17T00:07:25+05:00

Relation : 24.241

Language : en-US

Subject : formal logic

Subject : truth functions

Subject : quantifiers

Subject : validity

Subject : truth

Subject : formal deduction

Subject : applications of logic

Subject : logic in philosophy

Publisher : MIT OpenCourseWare

License : Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see