Summer 2011 Session D
|12A||Introduction to Logic||Bledin||TuWTh 1-3:30||174 Barrows|
In this introductory course in symbolic logic, students will acquire a working knowledge of Propositional and Predicate Logic. Students will learn how to translate natural language expressions into formal language, and then explore important semantic notions like logical consequence, consistency and tautology. Students will also learn natural deduction proof systems for both logics, and if time permits, some metatheoretical issues will be covered, such as the soundness and completeness of the propositional calculus.