Philosophy 12A

Summer 2025 Session D

Number Title Instructor Days/time Room
12A Introduction to Logic Gonzalez TuWTh 10-12:30 Dwinelle 179

In this course, we will cover the syntax, semantics, and proof theory of propositional logic, basic syllogistic logic, and predicate logic. Throughout the course, we will look at the mathematical underpinnings of logic as well as its applications to mathematics, philosophy, and everyday reasoning.

Previously taught: SU25A (Ommundsen), SP25 (Holliday), FL24 (Gómez Sánchez), 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).