Course Description

PY304 Advanced Formal Logic 0.5

A study of logic which will focus on theoretical considerations (e.g. soundness, completeness and decision procedures) and their relationship to problems in logic, philosophy, philosophy of logic and philosophy of mathematics. Model theory, modal logic, set theory, predicate logic and many-valued logic are possible topics of discussion.††

Prerequisite: PY204 or MA121 (or permission of the Department).

Official electronic version updated on November 10, 2000

M. Watson, Editor