Systems of Logic

(4 Credits)

An introduction to the comparative study of systems of logic, with a focus in any year on a chosen set of logics, discussing their technical foundations, philosophical motivations, and applications. Examples include modal logics, higher-order logics, and weakenings of classical logic.