Course info

This module aims to deepen students' understanding of formal logic and its philosophical significance by the study of a broad array of systems of logic. The module covers classical, modal, intuitionistic, and other non-classical logics, looking at both propositional and quantified versions. Particular attention is paid to the difference between semantics and proof theory for such systems.