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, students will have the knowledge and skills to:
Upon successful completion of this course, students will have the knowledge and skills to:- Analyse limitations of classical logic.
- Understand the importance and the nature of modal logics and non-classical logics.
- Critically evaluate arguments using modal and non- classical logics.
- Critically assess philosophical views on issues arising from modal and non-classical logics.
Indicative Assessment
Tutorial participation (10%) - Learning outcomes 1, 2, 3, 44 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
2 hrs lectures per teaching week (26 hours total). 1 hour of tutorial for 12 teaching weeks (12 hours total). 92 hours of independent reading plus preparation of assessment tasks over the teaching semester (total 130 hours).Requisite and Incompatibility
Preliminary Reading
Graham Priest, An Introduction to Non-Clasical Logic (Second Edition), Cambridge University Press, 2008.
Assumed Knowledge
Introductory material on logicMajors
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:
- 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 |
Course fees
- Domestic fee paying students
| Year | Fee |
|---|---|
| 2016 | $2718 |
- International fee paying students
| Year | Fee |
|---|---|
| 2016 | $3876 |
Offerings, Dates and Class Summary Links
ANU utilises MyTimetable to enable students to view the timetable for their enrolled courses, browse, then self-allocate to small teaching activities / tutorials so they can better plan their time. Find out more on the Timetable webpage.
Class summaries, if available, can be accessed by clicking on the View link for the relevant class number.
Second Semester
| Class number | Class start date | Last day to enrol | Census date | Class end date | Mode Of Delivery | Class Summary |
|---|---|---|---|---|---|---|
| 9709 | 18 Jul 2016 | 29 Jul 2016 | 31 Aug 2016 | 28 Oct 2016 | In Person | N/A |