Skip to main content

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.