Philosophy 12A
Fall 2024
| Number | Title | Instructor | Days/time | Room |
|---|---|---|---|---|
| 12A | Introduction to Logic | Gómez Sánchez | TuTh 11-12:30 | Physics 1 |
This course is an introduction to first-order logic. You will learn how to put arguments from ordinary language into a formal language, how to ascertain validity using truth tables and first-order models, and how to construct derivations within a fitch-style system of natural deduction.
Previously taught: SU24D (Duvalier), SU24C (Holliday), SU24A (Gonzalez), SP24 (Warren), FL23 (Holliday), SU23D (Duvalier), SU23C (Holliday), SU23A (Klempner), SP23 (Mancosu), FL22 (Yalcin), SU22D (Klempner), SU22C (Holliday), SU22A (Schwartz), SP22 (Holliday), FL21 (Warren), SU21D (Paris), SU21C (Holliday), SU21A (Khokhar), SP21 (Mancosu), FL20 (Warren), SU20D (Khokhar), SU20C (Holliday), SU20A (Duvalier), SP20 (Yalcin), FL19 (Mancosu), SU19D (Klempner), SU19C (Holliday), SU19A (Khokhar), SP19 (Holliday), FL18 (Mancosu), SU18D (Khokhar), SU18C (Holliday), SP18 (Warren), FL17 (Yalcin), SU17D (Rudolph), SU17A (Lawrence), SP17 (Mancosu), FL16 (Yalcin), SU16D (Jerzak), 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).