A second course in symbolic logic, focusing on the main metalogical results of the twentieth century. Topics may include the completeness, compactness, and undecidability of first-order logic; the Löwenheim-Skolem Theorem; axiomatic set theory; the Gödel incompleteness theorems; and non-classical logics.

Prerequisites: All 400-level philosophy courses have a prerequisite of 9 hours of philosophy, or permission of the instructor. All 800-level philosophy courses have a prerequisite of graduate standing, or permission of the instructor.

Philosophy 411/811 has a prerequisite of Philosophy 211 or the equivalent, or permission of the instructor.

Frequency: Philosophy 411/811 is offered once every two years, alternative with Philosophy 412/812.