Course Description
Formal semantics for sentential and first-order predicate logic, including both soundness and completeness results for first-order logic. Additional topics may include Goedel's incompleteness results, the Skolem-Lowenheim theorem, or possible world semantics for modal logics.
Additional Requirements for Graduate Students:
Additional assignments, higher standards for all assigned work
and, possibly, a presentation in class.
Athena Title
Model Theory
Undergraduate Prerequisite
PHIL(LING) 4510/6510 or permission of department
Graduate Prerequisite
PHIL(LING) 4510/6510 or permission of department
Semester Course Offered
Not offered on a regular basis.
Grading System
A - F (Traditional)
Course Objectives
Students are expected to be able to do the following: a) in sentential logic, prove basic lemmas for the soundness and completeness theorems; b) in predicate logic, prove basic lemmas for the soundness, completeness, and Skolem-Löwenheim theorems; c) prove basic lemmas relating to the advanced topic chosen by the instructor.
Topical Outline
Topics may include: I. Sentential Logic A. Soundness Theorem B. Completeness Theorem II. Predicate Logic A. Soundness Theorem B. Completeness Theorem C. The Skolem-Löwenheim Theorem III. Advanced topic (any advanced topic in logic such as one of the following) A. Soundness and completeness for systems of modal logic B. Gödel's Incompleteness Theorem
Syllabus