161-212 Non-Classical Logic

161-115 Introduction to Formal Logic, or 620-122 Mathematics B (Advanced), or 620-142 Mathematics B, or 433-255 Logic and Computation or 620-211 Mathematics 2 (Advanced),, or equivalent, or permission from the Head of Department or the subject coordinator.

This subject concerns non-classical logic, that is, logic that extends or critiques the more orthodox logic normally encountered in a first course in logic. Students will be introduced to some of the more important non-classical logics. Details of the semantics and proof-theories of these logics will be considered, as well as the philosophical rationales for the logics. On completion of the subject, students should have a good understanding of the technical details of the logics covered, and of philosophical debates surrounding these logics.