161-447 Logic | |
|---|---|
Note | Formerly available as 161-048. Students who have completed 161-048 are not eligible to enrol in this subject. |
Availability | 4th year |
Credit Points | 12.5 |
HECS Band | 1 |
Coordinator | Prof Graham Priest & Dr Allen Hazen |
Prerequisites | Admission to the postgraduate diploma or fourth year honours in philosophy, and completion of two second/third year philosophy subjects. |
Semester | 1 (view timetable) |
Contact | A 2-hour seminar per week |
Subject Description | 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. |
Assessment | Written work totalling 5000 words. |
Status: Official 2002 Last Modified: Tuesday May 07 22:11 SGML to HTML Conversion: Information Technology Services Authorised by: Academic Registrar Email Enquiries: Course_Information@registrar.unimelb.edu.au