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.

Credit Points

12.5

HECS Band

1

Coordinator

Dr Allen Hazen

Prerequisites

161-015 Introduction to Formal Logic or equivalent.

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

This subject deals with selected topics in logic beyond what is covered in 161-015 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, e.g. mathematics, linguistics, computer science).

Assessment

Written work totalling 4000 words 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 2001
Last Modified:            Wednesday May 23 22:24
SGML to HTML Conversion:  Information Technology Services
Authorised by:            Academic Registrar
Email Enquiries:          Course_Information@registrar.unimelb.edu.au