MWF 11:15am–12:05pm in 374 Bartlett.
Course description: Introduction to and comparative study of various logical foundations of mathematics, including classical set-theoretical foundations (ZF, NBG), Quine’s “New Foundations” and related systems, higher-order logic and type theory, and others, as well as related logical meta-theory and philosophical issues concerning mathematical and logical entities.
Prerequisite: Phil 310 (Intermediate Logic) or equivalent, or instructor permission.
Most course content available through UMass Moodle: https://moodle.umass.edu/.
Other information: