Philosophy 12A

Summer 2015 Session A

Number Title Instructor Days/time Room
12A Introduction to Logic Kocurek TuWTh 1-3:30 103 Moffitt

An introduction to formal logic and deduction. The course is focused around formalizing arguments, recognizing common argument forms, and systematically testing whether an argument is logical valid. We will cover the syntax, semantics, and proof techniques for propositional and first-order logic. Topics include formalization techniques, truth tables, natural deduction proofs, quantification, and model construction.