Philosophy 140A
Fall 2023
Number | Title | Instructor | Days/time | Room |
---|---|---|---|---|
140A | Intermediate Logic | Holliday | MWF 3-4 | 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.