PHIL-423 Advanced Formal Logic

In this course, students will put to work the logical theory developed in Formal Logic (Phil 212). In particular, students will use First-Order Logic to investigate computability and computation theory. Goedel's First and Second Incompleteness Theorems are a particular focus in the course. Prerequisite: PHIL 212 or consent of instructor. 1 term -4 credits. Normally offered alternate years.