PHIL 1600 Introduction to Formal Logic

The core of this course is predicate logic, including quantification, identity, and proof theory. The (more) fun part of the course is extensions of that logic, model theory, possible applications, and the philosophical issues raised.