PHIL/LING 455.001 – Symbolic Logic

Instructor: Gillian Russell. This course meets MW 10:10 – 11:25 a.m. in CW 213.

This course will be an introduction to classical logical meta-theory, suitable for students who have completed at least one previous course in formal logic.  The subject is mathematical in nature, and assessment will be by way of problem sets and midterm and final examinations.