The Dennes Room

Philosophy 140A

Spring 2022

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

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