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.