Hide Advanced Options
Courses - Spring 2021
PHIL
Philosophy Department Site
PHIL370
Logical Theory I: Metatheory
Credits: 3
Grad Meth: Reg, P-F, Aud
Prerequisite: PHIL271 or CMSC250; or permission of the instructor.
This course is an introduction to logical ``metatheory'', that is, to logical reasoning about logic systems themselves. Topics include alternative alternative proof-theoretic presentations of logical systems as well as soundness and completeness theorems for propositional and first-order logic. Along the way, we will deepen our understanding of the elementary set-theoretic concepts underlying first order logic. Other topics may include basic results in the semantics of first order logic (such as the Craig interpolation theorem, the Beth definability theorem, or the Lowenhein-Skolem theorem).