Logic Completeness and Incompleteness

Subject PHIL30043 (2010)

Note: This is an archived Handbook entry from 2010.

Credit Points: 12.50
Level: 3 (Undergraduate)
Dates & Locations:

This subject has the following teaching availabilities in 2010:

Semester 1, Parkville - Taught on campus.
Pre-teaching Period Start not applicable
Teaching Period not applicable
Assessment Period End not applicable
Last date to Self-Enrol not applicable
Census Date not applicable
Last date to Withdraw without fail not applicable


Timetable can be viewed here. 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: An average of 8.5 hours each week.
Prerequisites: One of Logic: Language and Information, or Logic & Philosophy: Non-Classical Logics or introduction to Mathematics or with the permission of the subject coordinator.
Study Period Commencement:
Credit Points:
Corequisites: None
Recommended Background Knowledge: As per prerequisites.
Non Allowed Subjects: This subject was previously offered at level 2 as 161-241 Logic: Completeness and Incompleteness. Students who have completed 161-241 are not permitted to enrol in this subject.
Core Participation Requirements:

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/


Assoc Prof Greg Restall


Associate Professor 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 Gödel's incompleteness 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.


Students who successfully complete this subject will

  • have an overview of central areas in mathematical logic.
  • understand basic concepts in mathematical logic.
  • demonstrate an ability to prove results in mathematical logic.
  • appreciate the relevance of results and concepts of logic to philosophical issues.
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

  • acquire the ability to reason rigorously about abstract issues.
  • acquire the ability to reason mathematically about non-numerical matters.
  • acquire the ability to solve abstractly posed problems.
Links to further information: http://www.philosophy.unimelb.edu.au/
Related Majors/Minors/Specialisations: History && Philosophy of Science
History and Philosophy of Science
History and Philosophy of Science Major
Philosophy Major

Download PDF version.