161-212 Non-Classical Logic

161-115 Logic or with permission from the Head of School 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 substructural 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.

• have learnt to think clearly and precisely;

• be able to present complicated reasoning in understandable ways;

• be able to foster attention to detail.

A number of assignments totalling 4000 words comprising short answer, problem-solving and essay questions 97 and continuous tutorial attendance 3.