70:258 Predicate Logic [Brown]

Prerequisites: 70:162 or permission of Instructor.

Cannot be held with: 70:360.

An introduction to predicate logic and metalogic. Taking the object and the property as the basic semantic units, and through the concepts of deductive validity and logical form, students will learn to use truth tables and natural deduction for assessing the validity of arguments. In addition, students will be introduced to metalogic, the area in which we study features of logical systems. The general aim is to give students a better understanding of what logical reasoning is, of how to interpret the meanings of sentences, and of what a logical system is.

3 lecture hours per week, one term

Successors: 70:271.

Transfer Equivalents: Look up 70:258 in the BU Course Transfer Database.

Instructor: Derek Brown