PHIL-5500 (3) Advanced Formal Semantics

Considers topics in the semantics of natural language not normally covered in first courses in philosophy of language. These include: natural deduction and sequent calculi for conditional logic; interpretation as logical inference; Lambek calculus and applicative categorial grammar; applications such as generalized coordination, plurals, higher-order intensional logic, generics, focus, and event-based semantics. Recommended prereq., PHIL 5490. Requisites: Restricted to graduate students only.