Intermediate Logic

This course will cover the meta-theory of first-order logic and the basics of computability theory. We will discuss the soundness and completeness of first-order logic, compactness, the Lowenheim-Skolem theorem, and Gödel's incompleteness theorems. Further topics may include non-standard models of arithmetic and second-order logic. Along the way, we will discuss some of the philosophical problems that these mathematical results raise.