Note: This is an archived Handbook entry from 2009. Search for this in the current handbook
|Dates & Locations:|| |
This subject is not offered in 2009.
|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: 3 contact hours/week, 5.5 additional hours/week. Total of 8.5 hours per week.
|Prerequisites:||161115, 620122 or MAST10003 (Mathematics B) or COMP20002 (Logic and Computation) or 620211, or with permission from the Head of School or the subject coordinator.|
|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.|
|Objectives:||Students who successfully complete this subject will |
|Assessment:||Tutorial exercises 50% throughout semester; 2 hr written examination (not open book) 50% (held at end of semester).|
|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 |
|Notes:||Previously available as Non-Classical Logic. Students who have completed Non-Classical Logic are not eligible to enrol in this subject.|
History && Philosophy of Science Major |
Download PDF version.