Model Theory Credit Hours: 3 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. Prerequisites: PHIL(LING) 4510/6510 or permission of department Semester Offered: Spring Level: Graduate Undergraduate
