The Dennes Room

Philosophy 140A

Fall 2019

Number Title Instructor Days/time Room
140A Intermediate Logic Holliday TuTh 11-12:30 222 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. Prerequisite: completion of Philos 12A.

Previously taught: FL17, SP16, SP14, SP10, SP07, SP05, SP04.