|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: firstname.lastname@example.org