Philosophy 12A
Summer 2016 Session D
Number | Title | Instructor | Days/time | Room |
---|---|---|---|---|
12A | Introduction to Logic | Jerzak | TuWTh 1-3:30 | 223 Dwinelle |
An introduction to the basic tools of deductive logic. You’ll learn how to represent the basic structure of arguments in a formal language, and then assess these arguments for correctness. We’ll cover the basic syntax and semantics of propositional logic and first-order logic, and develop a proof system for both. Metalogical results will be discussed but not proved. The emphasis is on using logical tools to hone everyday and philosophical reasoning.
Previously taught: SU16A, SP16, FL15, SU15D, SU15A, 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.