Philosophy 140A

Fall 2023

Number Title Instructor Days/time Room
140A Intermediate Logic Holliday MWF 3-4 Wheeler 102

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. Prerequisite: 12A or equivalent with consent of instructor.

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