Logic & Philosophy: Non-Classical Logics

Subject PHIL20030 (2010)

Note: This is an archived Handbook entry from 2010.

Credit Points: 12.50
Level: 2 (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


Timetable can be viewed here. For information about these dates, click here.
Time Commitment: Contact Hours: 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: an average of 8.5 hours each week.

One of 800-123 Logic: Language and Information or 670-173 Introduction to Mathematics or 672-397 Semantics or

with permission from the subject coordinator

Study Period Commencement:
Credit Points:
Semester 1
Corequisites: None.
Recommended Background Knowledge: As per prerequisites.
Non Allowed Subjects:

Previously available as Non-Classical Logic and as Logic or Philosophers (161-212/672-354) Students who have completed

Non-Classical Logic or Logic for Philosophers 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/


Assoc Prof Greg Restall


Associate Professor 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.


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: To be advised
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.
Links to further information: http://www.philosophy.unimelb.edu.au/
Notes: This subject satisfies the third-year breadth requirement for third-year students in the Bachelor of Science and Bachelor of Biomedicine when taken in 2010 only.
Related Majors/Minors/Specialisations: History and Philosophy of Science Major
Philosophy Major

Download PDF version.