Logic & Philosophy: Non-Classical Logics

This subject has the following teaching availabilities in 2010:

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

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

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/

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.

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

• Bachelor of Biomedicine
• Bachelor of Commerce
• Bachelor of Environments
• Bachelor of Music
• Bachelor of Science
• Bachelor of Engineering

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.

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.