Philosophy 140A
Spring 2014
Number | Title | Instructor | Days/time | Room |
---|---|---|---|---|
140A | Intermediate Logic | Holliday | MWF 2-3 | 110 Wheeler |
Major concepts, results, and techniques of modern logic. Basic set-theoretic tools. Model-theoretic treatment of propositional and first-order logic (completeness, compactness, Lowenheim-Skolem). Philosophical implications of these results.
Previously taught: SP10 (Warren), SP07 (Fitelson), SP05 (Fitelson), SP04 (Mancosu).