Spring 2015 — Prof. Kevin C. Klement

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: