PHIL 29405/39405 Advanced Logic
In this course we will prove the Undecidability of Predicate Logic, and both Gödel’s First and Second Incompleteness Theorems. We will also examine the concept of interpretability, and will make some connections with broader issues in mathematics. Finally, we will discuss some uses and abuses of Gödel’s Theorems that can be found outside logic and mathematics. For instance, do Gödel’s Theorems entail that the mind is not a machine? (II) (B)
Intermediate logic or prior equivalent required, or with consent of instructor.