Logic for Philosophers

Subject 672-354 (2009)

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

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

This subject is not offered in 2009.

Time Commitment: Contact Hours: Thirty five contact hours per semester: two 1-hour lectures per week for the whole semester and a 1-hour tutorial per week beginning the second week of semester
Total Time Commitment: 3 contact hours/week, 5.5 additional hours/week. Total of 8.5 hours per week.
Prerequisites: 161115, 620122 or MAST10003 (Mathematics B) or COMP20002 (Logic and Computation) or 620211, or with permission from the Head of School or the subject coordinator.
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


Assoc Prof Greg Restall


Subject Overview: This subject concerns non-classical logic, that is, logic that extends or critiques the more orthodox logic normally encountered in a first course in logic. Students will be introduced to some of the more important non-classical logics such as modal, temporal, intuitionistic, paraconsistent, relevant and substructural logics. Details of the semantics and proof-theories of these logics will be considered, as well as the philosophical rationales for the logics. On completion of the subject, students should have a good understanding of the technical details of the logics covered, and of philosophical debates surrounding these logics.
Objectives: Students who successfully complete this subject will
  • have an understanding of the formal details of a number of non-classical logics;
  • be aware of the philosophical reasons why these logics were proposed;
  • be able to engage in these issues;
  • acquire a facility with some of the formal techniques used in metalogical study;
  • acquire a sense of perspective in thinking about logic;
  • a good understanding of the technical details of the logics covered.
Assessment: Tutorial exercises 50% throughout semester; 2 hr written examination (not open book) 50% (held at end of semester).
Prescribed Texts:
Breadth Options:

This subject potentially can be taken as a breadth subject component for the following courses:

You should visit learn more about breadth subjects and read the breadth requirements for your degree, and should discuss your choice with your student adviser, before deciding on your subjects.

Fees Information: Subject EFTSL, Level, Discipline & Census Date
Generic Skills: Students who successfully complete this subject will
  • have learnt to think clearly and precisely;
  • be able to present complicated reasoning in understandable ways;
  • be able to foster attention to detail.
Notes: Previously available as Non-Classical Logic. Students who have completed Non-Classical Logic are not eligible to enrol in this subject.
Related Majors/Minors/Specialisations: History && Philosophy of Science Major

Download PDF version.