PHIL/LING 455.001 – Symbolic Logic

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.