161-222 Topics in Formal Logic

Note

Available as 161-322 at 3rd-year level.

Credit Points

Coordinator

Prerequisites

161-221/321 Introduction to Formal Logic.

Semester

Contact

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 and problem sets to be submitted throughout the semester plus regular attendance and participation in tutorials. Students will be advised in the first week of the subject of actual due dates.