161-016 Metatheory

161115 Introduction to Formal Logic. Or, with permission from the Head of Department or the subject coordinator, 620-122 Mathematics B (Advanced), or 620-142 Mathematics B, or 433-255 Logic and Computation, or 620-211 Mathematics 2 (Advanced).

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).