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.

• acquire a detailed understanding and analysis of important issues in the application of logic to problems in philosophy;

• have learnt research skills in logic;

• have learnt skills to present complex and technical ideas in an intelligent way.

A 5000 word essay 100% (due at the end of semester).