Model Theory
Credit Hours:
3

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 POD