Topics in Advanced Logic

Subject PHIL40013 (2010)

Note: This is an archived Handbook entry from 2010.

Credit Points: 12.50
Level: 4 (Undergraduate)
Dates & Locations:

This subject has the following teaching availabilities in 2010:

Semester 2, Parkville - 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

Standard

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: An average of 10 hours each week.
Prerequisites: Admission to the postgraduate diploma or fourth-year honours in philosophy or in History and Philosophy of science and completion of a second or third level logic subject (see below), or permission of the coordinator.
Subject
Study Period Commencement:
Credit Points:
Corequisites: None
Recommended Background Knowledge: Knowledge gained in completion of 3 year bachelor of Arts or a Graduate Diploma
Non Allowed Subjects: Formerly available as 161-048. Students who have completed 161-048 are not eligible to enrol in this subject.
Core Participation Requirements:

For the purposes of considering requests for Reasonable Adjustments under the Disability Standards for Education (Cwth 2005), and Students Experiencing Academic Disadvantage Policy, academic requirements for this subject are articulated in the Subject Description, Subject Objectives, Generic Skills and Assessment Requirements of this entry.

The University is dedicated to provide support to those with special requirements. Further details on the disability support scheme can be found at the Disability Liaison Unit website : http://www.services.unimelb.edu.au/disability/

Coordinator

Assoc Prof Greg Restall

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 subject 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 subject 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.
Links to further information: http://www.philosophy.unimelb.edu.au/
Related Majors/Minors/Specialisations: History and Philosophy of Science
History && Philosophy of Science
History and Philosophy of Science
Philosophy
Philosophy
Philosophy

Download PDF version.