PHIL/LING 455.001 – Symbolic Logic
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.
Prerequisite (for undergraduates): PHIL 155.