

Course ID:  PHIL(LING) 4520/6520. 3 hours. 
Course Title:  Model Theory 
Course Description:  Formal semantics for sentential and firstorder predicate logic, including both soundness and completeness results for firstorder logic. Additional topics may include Goedel's incompleteness results, the SkolemLowenheim 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:  AF (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 SkolemLö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 SkolemLö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 