Instructor: Matthew Kotzen. This course meets MW 11:00 a.m. – 12:15 p.m. in CW 213.
This is a second course in formal logic. We will presuppose familiarity with the syntax, semantics, and proof theory of first-order logic at the level of Philosophy 155. We will cover some standard metalogical results including the soundness and completeness of first-order logic and, time permitting, arithmetization, recursivity, and nonstandard models.
Instructor permission required to add.