Search : Index : Faculty of Arts : Philosophy
Prev 161-047 Current Issues in Philosophy 2
Next 161-009 Knowledge, Truth and Relativism
161-048 Logic Directed Study | |
Note | Formerly available as 161-447. Students who have completed 161-447 are not eligible to enrol in this subject. This subject is offered as a supervised 'directed study'. Timetabling will be decided in consultation with the supervisor. |
Credit Points | 12.5 |
HECS Band | 1 |
Coordinator | Dr Allen Hazen |
Prerequisites | Admission to the Postgraduate Diploma or Fourth Year Honours in Philosophy, approval from the head of department at the beginning of the candidate's honours year, and completion of 161-015 Introduction to Formal Logic and 161-016 Topics in Formal Logic or equivalent. |
Semester | 1, repeat 2 (view timetable) |
Contact | Two hours per week |
Subject Description | This subject involves advanced topics in formal logic, the particular topic in any year to be chosen by the supervisor after consultation with the candidate/s. Possible topics include an investigation of the modal logical analysis of proof theoretic features of mathematical systems, as described in George Boolos's The Logic of Probability. 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. |
Search : Index : Faculty of Arts : Philosophy
Prev 161-047 Current Issues in Philosophy 2
Next 161-009 Knowledge, Truth and Relativism
Status: Official 2001 Last Modified: Wednesday May 23 22:24 SGML to HTML Conversion: Information Technology Services Authorised by: Academic Registrar Email Enquiries: Course_Information@registrar.unimelb.edu.au