Philosophy 140A

Fall 2017

Number Title Instructor Days/time Room
140A Intermediate Logic Warren MWF 2-3 Wheeler 204

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: SP16, SP14, SP10, SP07, SP05, SP04.