(PHIL 114) Metalogic

4 Credits

This is a course on the metatheory of First-Order Predicate Logic. It offers expositions of some of the most important results of this metatheory, such as the Soundness and Completeness Theorems, Gödel’s first and second Incompleteness Theorems, Tarski’s Indefinability Theorem, and Church’s Undecidability Theorem. It also offers introductory expositions of set theory, computability theory, and Second-Order Predicate Logic. The course is structured to serve the needs of a mixed audience, including students with no background in symbolic logic. Attribute/Distribution: MA, Q