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.

Previously taught: SP15, FL14, SU14D, SU14A, SP14, FL13, SU13D, SU13A, SP13, FL12, SU12D, SU12A, SP12, FL11, SU11D, SU11A, SP11, FL10, SU10D, SU10A, SP10, FL09, SU09D, SU09A, SP09, FL08, SU08D, SU08A, SP08, FL07, SU07A, SP07, FL06, SU06A, SP06, FL05, SU05D, SP05, FL04, SU04D, SU04A, SP04, FL03.