Search Results

Your search for PHIL 5500 returned 1 result.

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.

University of Colorado at Boulder CU-Home CU-Search CU-A to Z Campus Map