Philosophy 12A

Summer 2011 Session D

Number Title Instructor Days/time Room
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.