Search | Previous : 161-221/321 | Next : 161-223/323
Handbook 1997 : Faculty of Arts : Philosophy

161-222/322 Topics in Formal Logic

Credit Points:

16.7 2nd and 3rd year

Coordinator:

Dr Allen Hazen

Prerequisite/s:

161-221/321 Introduction to Formal Logic.

Timetable:

Semester 2

Contact:

Up to three hours a week

Subject Description:

Selected topics in logic beyond what is covered in Introduction to Formal Logic (161-221/321), such as the completeness and undecidability of first-order logic and alternative deductive systems. 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 logic-related areas of other disciplines, e.g. mathematics, linguistics, computer science).

Assessment:

One 2-hour end-of-semester examination (70 %) and problem sets to be submitted throughout the semester (30 %). Students will be advised in the first week of the subject of actual due dates.
Search | Previous : 161-221/321 | Next : 161-223/323
Handbook 1997 : Faculty of Arts : Philosophy 
Status:                   OFFICIAL 1997
Last Modified:            Wednesday March 12 3:36 pm
SGML to HTML Conversion:  Information Technology Services
Authorised by:            Academic Registrar
Email Enquiries:          Course_Information@registrar.unimelb.edu.au
Copyright © University of Melbourne 1997.