PHIL 4311 - [Topics in Logic and the Foundations of Mathematics]

(crosslisted)
(also MATH 4820) (MQR)

4 credits.

Next offered 2014-2015. Permission of instructor required.

Staff.

This course will focus on intuitionistic logic, including (1) its relationships to classical logic, some “intermediate logics” between intuitionistic and classical, and a modal logic. We’ll consider (2) both proof-theoretic and model-theoretic characterizations of the consequence relations for these logics, (3) algebraic/topological (and time permitting, categorical) characterizations of intuitionistic consequence. (4) We’ll also look at how certain mathematical theories have been developed on the basis of intuitionistic logic.