Note: This is an archived Handbook entry from 2009. Search for this in the current handbook
|Dates & Locations:|| |
This subject has the following teaching availabilities in 2009:For information about these dates, click here.
|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:||161-115 Logic or 800-123 Logic: Language and Information, 620-122 Mathematics B (Advanced), or 620-142 Mathematics B, or 433-255 Logic and Computation, or 620-211 Mathematics 2 (Advanced) or with the permission of 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 deals with selected topics in logic beyond what is covered in a first logic subject, such as the completeness and undecidability of first-order logic and alternative deductive systems. The course finishes with an elaboration of Godel's imcompleteness theorem, and a discussion of its consequences. Concepts and results will be approached via both theoretical discussion and practical experience with formal techniques, enabling students to appreciate the philosophical importance of the major logical results and equipping them for further study in philosophy or in logic-related areas of other disciplines, eg. mathematics, linguistics, computer science.|
|Objectives:||Students who successfully complete this subject will |
|Assessment:||Tutorial exercises 50% (throughout semester), and a 2 hr written examination (not open-book) 50% (end of semester).|
|Prescribed Texts:||Richard Jeffrey, Formal Logic: Its Scope and Limits, 3rd edition. Together with extra readings available on LMS. |
|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 |
History & Philosophy of Science |
Download PDF version.