161-212 Non-Classical Logic

161-115 Introduction to Formal Logic 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.

Written work totalling 4000 words, and regular participation in tutorials.

• G Priest, Introduction to Non-Classical Logic. Cambridge UP 2001.