|
||||||||
|
|
||||||||
|
161-016 Metatheory | |
|---|---|
Availability | 2nd and 3rd year |
Credit Points | 12.5 |
HECS Band | 1 |
Coordinator | Assoc Prof Greg Restall |
Prerequisites | 161-115 Introduction to Formal Logic, or 620-122 Mathematics B (Advanced), or 620-142 Mathematics B, or 433-255 Logic and Computation or 620-211 Mathematics 2 (Advanced), or equivalent, or permission from the Head of Department or subject coordinator. |
Semester | 1 (view timetable) |
Contact | Two 1-hour lectures per week and a 1-hour tutorial per week beginning the second week of semester |
Subject Description | This subject deals with selected topics in logic beyond what is covered in 161-115 Introduction to Formal Logic, 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, eg. mathematics, linguistics, computer science). |
Assessment | Written work totalling 4000 words, plus regular participation in tutorials. |
Status: Official 2003 Last Modified: Monday April 28 22:11 SGML to HTML Conversion: Information Division - CWIS (SDI) Authorised by: Academic Registrar Enquiries: http://unimelb.custhelp.com/
![[Undergraduate Handbook]](http://www.unimelb.edu.au/img/sitebar/fill.gif){kind=small}
