Information for PHIL642 : Mathematical Logic II
Course Description
Continuation of PHIL 641: Compactness, The Lowenheim-Skolem Theorems, computability theory and Church's thesis, formal arithmetic, Godel's Incompleteness Theorems, Tarski's Theorem, and Church's Theorem. Other topics covered in the course might include systems of modal logic, intuitionistic logic, and more advanced issues in set theory.
Curriculum Information
- Credit: 3
- Prerequisites: None
- Applicable to Philosophy MA requirement for:
- Applicable to Philosophy PhD requirement for: Logic and Methodology