Logic for Philosophers

Subject 161-212 (2008)

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

Credit Points: 12.500
Level: Undergraduate
Dates & Locations:

This subject has the following teaching availabilities in 2008:

Semester 1, - 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: 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: Not available

161-115 Logic or with permission from the Head of School or the subject coordinator, 620-122 Mathematics B (Advanced) or 620-142 Mathematics B or 433-255 Logic and Computation or 620-211 Mathematics 2 (Advanced).

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.


A number of assignments totalling 4000 words comprising short answer, problem-solving and essay questions 97% and continuous tutorial attendance 3%.

Prescribed Texts: None
Recommended Texts:

Information Not Available

Breadth Options: This subject is a level 2 or level 3 subject and is not available to new generation degree students as a breadth option in 2008.
This subject or an equivalent will be available as breadth in the future.
Breadth subjects are currently being developed and these existing subject details can be used as guide to the type of options that might be available.
2009 subjects to be offered as breadth will be finalised before re-enrolment for 2009 starts in early October.
Fees Information: Subject EFTSL, Level, Discipline & Census Date
Generic Skills:
  • have learnt to think clearly and precisely;

  • be able to present complicated reasoning in understandable ways;

  • be able to foster attention to detail.


Previously available as Non-Classical Logic. Students who have completed Non-Classical Logic are not eligible to enrol in this subject.

Students enrolled in the BSc (pre-2008 degree only), or a combined BSc course (except for the BA/BSc) will receive science credit for the completion of this subject.

Related Course(s): Bachelor of Arts
Diploma in Arts (Philosophy)
Diploma in Arts (Philosophy)
Graduate Certificate in Arts (Philosophy)
Graduate Diploma in Arts (Logic and Philosophy of Science)
Graduate Diploma in Arts (Philosophy)

Download PDF version.