Skip to main content

Instructor: John T. Roberts. This course meets MW 10:10 – 11:25 a.m. in CW 213.

This course is aimed primarily at philosophy graduate students.  It covers the standard meta-theoretic results concerning first-order classical logic:  consistency, compactness, completeness, Lowenheim-Skolem, and undecidability.  Required student work will include homework sets and take-home exams.  We will use the classic textbook Metalogic by Geoffrey Hunter.


Registration is restricted to first-year PHIL grad students, PHIL majors/minors, LING grad students, and LING majors/minors.

Have registration questions? Our Student Services Coordinator, Rebecca Farris, can help! Please email her at for assistance.

Prerequisite (for undergraduates): PHIL 155.