| Course ID: | PHIL(LING) 4520/6520. 3 hours. |
| Course Title: | Model Theory |
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. |
| Oasis 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 |