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 (Ahmed-Buehler), SP16 (Yalcin), FL15 (Warren), SU15D (Nowak), SU15A (Kocurek), SP15 (Mancosu), FL14 (Yalcin), SU14D (Nowak), SU14A (Rieppel), SP14 (Warren), FL13 (Yalcin), SU13D (Klempner), SU13A (Bledin), SP13 (Warren), FL12 (Roush), SU12D (Fusco), SU12A (Misenheimer), SP12 (Warren), FL11 (Roush), SU11D (Bledin), SU11A (Rieppel), SP11 (Mancosu), FL10 (Roush), SU10D (Rieppel), SU10A (Fitelson), SP10 (Fitelson), FL09 (Mancosu), SU09D (Beattie), SU09A (Rieppel), SP09 (Warren), FL08 (Fitelson), SU08D (Klempner), SU08A (Fitelson), SP08 (Mancosu), FL07 (Fitelson), SU07A (Fitelson), SP07 (Mancosu), FL06 (Fitelson), SU06A (Rao), SP06 (Warren), FL05 (Mancosu), SU05D (Khatchirian), SP05 (Shapiro), FL04 (Fitelson), SU04D (Khatchirian), SU04A (Warren), SP04 (Warren), FL03 (Mancosu).