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