161-212 Non-Classical Logic

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

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 such as modal, temporal, intuitionistic, paraconsistent, relevant and substructional 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.

A number of assignments, including short answer, problem-solving and essay questions, totalling 97%, plus regular tutorial attendance worth 3%.