Topics in Advanced Logic

Subject 161-447 (2009)

Note: This is an archived Handbook entry from 2009. Search for this in the current handbook

Credit Points:

12.50

Level:

4 (Undergraduate)

Dates & Locations:

This subject has the following teaching availabilities in 2009:

Semester 2, - Taught on campus.

Pre-teaching Period Start	not applicable
Teaching Period	not applicable
Assessment Period End	not applicable
Last date to Self-Enrol	not applicable
Census Date	not applicable
Last date to Withdraw without fail	not applicable

Timetable can be viewed here. For information about these dates, click here.

Time Commitment:

Contact Hours: A 2-hour seminar per week
Total Time Commitment: 2 contact hours/week, 8 additional hours/week. Total of 10 hours per week.

Prerequisites:

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

Corequisites:

None

Recommended Background Knowledge:

None

Non Allowed Subjects:

None

Core Participation Requirements:

For the purposes of considering request for Reasonable Adjustments under the Disability Standards for Education (Cwth 2005), and Student Support and Engagement Policy, academic requirements for this subject are articulated in the Subject Overview, Learning Outcomes, Assessment and Generic Skills sections of this entry.

It is University policy to take all reasonable steps to minimise the impact of disability upon academic study, and reasonable adjustments will be made to enhance a student's participation in the University's programs. Students who feel their disability may impact on meeting the requirements of this subject are encouraged to discuss this matter with a Faculty Student Adviser and Student Equity and Disability Support: http://services.unimelb.edu.au/disability

Coordinator

Dr Allen Hazen

Contact

Dr Greg Restall

Restall@unimelb.edu.au

Subject Overview:	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.
Objectives:	Students who successfully complete this subect will have gained an understanding of the philosophical motivations for the study of Formal Logic; have had experience in using the mathematical techniques for the study of formalised languages that have been developed in modern logic; be able to engage in important issues in the application of logic to problems in philosophy.
Assessment:	A 5000-word essay 100% (due at the end of semester).
Prescribed Texts:	To be advised
Breadth Options:	This subject is not available as a breadth subject.
Fees Information:	Subject EFTSL, Level, Discipline & Census Date
Generic Skills:	Students who successfully complete this subect will 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.
Notes:	Formerly available as 161-048. Students who have completed 161-048 are not eligible to enrol in this subject.
Related Majors/Minors/Specialisations:	History and Philosophy of Science History && Philosophy of Science Philosophy Philosophy Philosophy

Download PDF version.