Philosophy 140A

Spring 2022

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

Prerequisite: PHIL 12A or equivalent. 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. The text being used is Metalogic, by Geoffrey Hunter, University of California Press.

All classes at Berkeley this semester are meeting online for the first two weeks of the semester. Anyone currently enrolled, or wishing to attend to the first meeting of this seminar with the intention of possibly auditing or enrolling, is welcome to attend the first meeting using this Zoom link:

If there are any questions about this, please email the instructor:

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