PHIL370
Logical Theory I: Metatheory
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).
Fall 2024
0 reviews
Average rating:
N/A
1 review
Average rating:
5.00
Fall 2023
0 reviews
Average rating:
N/A
Past Semesters
8 reviews
Average rating:
4.63
0 reviews
Average rating:
N/A
0 reviews
Average rating:
N/A
2 reviews
Average rating:
5.00