Philosophy 140A
Spring 2026
| Number | Title | Instructor | Days/time | Room |
|---|---|---|---|---|
| 140A | Intermediate Logic | Holliday | TuTh 12:30-2 | Wheeler 102 |
Major concepts, results, and techniques of modern logic. Basic set-theoretic tools. Model theoretic treatment of propositional and first-order logic (completeness, compactness, Löwenheim-Skolem). Philosophical implications of these results.
Prerequisite: 12A or equivalent with consent of instructor.
Previously taught: FL23 (Holliday), SP22 (Warren), FL19 (Holliday), FL17 (Warren), SP16 (Mancosu), SP14 (Holliday), SP10 (Warren), SP07 (Fitelson), SP05 (Fitelson), SP04 (Mancosu).