Search : Index : Faculty of Arts : Philosophy
Prev 161-015 Introduction to Formal Logic
Next 161-017 Does God Exist?
161-016 Topics in Formal Logic | |
Note | Formerly available as 161-222/322. Students who have completed 161-222/322 are not eligible to enrol in this subject. |
Availability | 2nd and 3rd year |
Credit Points | 12.5 |
Coordinator | Dr A Hazen |
Prerequisites | 161-221/321(161-015) Introduction to Formal Logic. |
Semester | 2 (view timetable) |
Contact | Two 1-hour lectures per week throughout the semester, and a 1-hour tutorial per week beginning the second week of semester |
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 | A 2-hour examination, and problem sets equivalent to 2000 words, plus regular attendance and participation in tutorials. |
Search : Index : Faculty of Arts : Philosophy
Prev 161-015 Introduction to Formal Logic
Next 161-017 Does God Exist?
Status: Official 1999 Last Modified: Tuesday October 20 11:48 SGML to HTML Conversion: Information Technology Services Authorised by: Academic Registrar Email Enquiries: Course_Information@registrar.unimelb.edu.au