May 27, 2024  
2023-2024 Graduate Catalog 
2023-2024 Graduate Catalog

PHIL 506 - Advanced Logic

Topics selected from major results of metalogic, including basic proof theory and model theory, soundness, completeness, the Löwenheim-Skolem theorem, computability, Gödel’s incompleteness theorem, and Church’s theorem.

Prerequisites & Notes
PRQ: PHIL 405 or PHIL 505; and consent of department.

Credits: 3