Search : Index : Faculty of Arts : Philosophy
Prev 161-047 Current Issues in Philosophy II
Next 161-051 Philosophy Honours Thesis (mid-year entry)
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. |
Availability | 4th year |
Credit Points | 12.5 |
Coordinator | Dr A Hazen |
Prerequisites | 1. Entry to Hourth Year Honours in Philosophy; 2. Approval from the Head of Department at the beginning of the candidate's Honours year; 3. Completion of 161-221 (161-015) Introduction to Formal Logic and 161-322 (161-016) Topics in Formal Logic (or equivalent) |
Semester | 1 and 2 (view timetable) |
Contact | Two hours per week |
Subject Description | 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 Provability. |
Assessment | Written work totalling 5000 words. |
Prescribed Texts | References will depend on the recommendation of the supervisor in consultation with the candidate. |
Search : Index : Faculty of Arts : Philosophy
Prev 161-047 Current Issues in Philosophy II
Next 161-051 Philosophy Honours Thesis (mid-year entry)
Status: Official 1999 Last Modified: Tuesday October 20 11:48 SGML to HTML Conversion: Information Technology Services Authorised by: Academic Registrar Email Enquiries: Course_Information@registrar.unimelb.edu.au