View reviews for professors for this course View On Testudo


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).

Spring 2021

3 reviews
Average rating: 4.67

Past Semesters

1 review
Average rating: 5.00

0 reviews
Average rating: Not yet rated

0 reviews
Average rating: Not yet rated

Average GPA: 2.76 between 189 students

"W"s are considered to be 0.0 quality points. "Other" grades are not factored into the average GPA calculation.