Philosophy 140A
Spring 2016
| Number | Title | Instructor | Days/time | Room |
|---|---|---|---|---|
| 140A | Intermediate Logic | Mancosu | MWF 10-11 | 122 Wheeler |
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.
Philosophy 12A (or equivalent) is a pre-requisite for this course.