161-447 Topics in Advanced Logic

Formerly available as 161-048. Students who have completed 161-048 are not eligible to enrol in this subject.

Admission to the postgraduate diploma or fourth-year honours in philosophy, and completion of two second/third-year philosophy logic subjects or equivalent.

This subject involves advanced topics in formal logic, the particular topic in any year to be chosen by the coordinators after consultation with the candidate/s. On completion of the subject students should have gained an understanding of the philosophical motivations for the study of formal logic and have had experience in using the mathematical techniques for the study of formalised languages that have been developed in modern logic.

Written work totalling 5000 words.