• Offered by School of Philosophy
  • ANU College ANU College of Arts and Social Sciences
  • Course subject Philosophy
  • Areas of interest Philosophy, Computer Science, Mathematics, Artifical Intelligence

The system of logic studied in most introductory courses is known as classical logic. It is the standard system of logic, designed to apply widely to all branches of knowledge. Despite its orthodox status and foundational role, many of the most interesting developments in logic have concerned modal and non-classical logics. These are logical systems that are intended to supplement or replace classical logic. This course introduces these systems and shows how they can be applied to philosophically important concepts including necessity, time, knowledge, vagueness, action and obligation. Applications in Computer Science will also be considered.

Learning Outcomes

Upon successful completion of this course, students will have the knowledge and skills to:
  1. Analyse limitations of classical logic.
  2. Understand the importance and the nature of modal logics and non-classical logics.
  3. Critically evaluate arguments using modal and non- classical logics.
  4. Critically assess philosophical views on issues arising from modal and non-classical logics.

Indicative Assessment

Tutorial participation (10%) - Learning outcomes 1, 2, 3, 4
4 x Problem Solving Assignments (10% each for a total of 40%) - Learning outcomes 1, 2, 3, 4
Final Examination, 3 hours (50%) - Learning outcomes 1, 2, 3, 4

The ANU uses Turnitin to enhance student citation and referencing techniques, and to assess assignment submissions as a component of the University's approach to managing Academic Integrity. While the use of Turnitin is not mandatory, the ANU highly recommends Turnitin is used by both teaching staff and students. For additional information regarding Turnitin please visit the ANU Online website.

Workload

130 hours of total student learning time made up from: a) 36 hours of contact over 12 weeks: 24 hours of lectures, and 12 hours of tutorials; and, b) 94 hours of independent student research, reading and writing.

Requisite and Incompatibility

To enrol in this course you must have previously completed PHIL1005 or MATH1005 or COMP2620 or PHIL2080.

Preliminary Reading

Graham Priest, An Introduction to Non-Clasical Logic (Second Edition), Cambridge University Press, 2008.

Assumed Knowledge

Introductory material on logic

Majors

Minors

Fees

Tuition fees are for the academic year indicated at the top of the page.  

If you are a domestic graduate coursework or international student you will be required to pay tuition fees. Tuition fees are indexed annually. Further information for domestic and international students about tuition and other fees can be found at Fees.

Student Contribution Band:
Band 1
Unit value:
6 units

If you are an undergraduate student and have been offered a Commonwealth supported place, your fees are set by the Australian Government for each course. At ANU 1 EFTSL is 48 units (normally 8 x 6-unit courses). You can find your student contribution amount for each course at Fees.  Where there is a unit range displayed for this course, not all unit options below may be available.

Units EFTSL
6.00 0.12500
Domestic fee paying students
Year Fee
2018 $2820
International fee paying students
Year Fee
2018 $4320
Note: Please note that fee information is for current year only.

Offerings and Dates

The list of offerings for future years is indicative only

Second Semester

Class number Class start date Last day to enrol Census date Class end date Mode Of Delivery
8694 22 Jul 2019 29 Jul 2019 31 Aug 2019 25 Oct 2019 In Person

Responsible Officer: Registrar, Student Administration / Page Contact: Website Administrator / Frequently Asked Questions