[Calendar Home Page] Wilfrid Laurier University - 2004-2005 Undergraduate Academic Calendar

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

[Table of Contents] [Index] [Glossary]
[Courses by Subject] [Courses by Name] [Calendar Search]

Official electronic version updated at 10:33 a.m. March 31, 2005

LAURIER Home COMMENTS M Watson, Editor Course Timetable Class Timetable Registrar's Site]