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.
Model Theory
Credit Hours:
3
Prerequisites:
PHIL(LING) 4510/6510 or POD
Level: