70:258 Predicate Logic [Boult]

Prerequisite: 70:162 or 62:261 or permission of Instructor.
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 interpretations 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.

Instructor: Cameron Boult