| Gary Hardegree (homepage) | Philosophy 595 - Formal Semantics | (homepage) UMass Amherst |
| General Info | On-Line Text | Schedule/Assignments | Support Materials |
| Note | This course is regularly scheduled in the spring semester. |
| Description |
We usually understand novel sentences – e.g., this one – with little or no hesitation. How do we accomplish this? According to the received opinion, our linguistic knowledge divides into two modules – roughly, words and rules – which in turn give rise respectively to Lexical Semantics and Compositional Semantics. The present course concerns Compositional Semantics – the study of how the meanings of compound expressions are derived from the meanings of their parts. We pursue this enterprise within the framework of Categorial Grammar – more specifically, Type-Logical Grammar. Topics include: set theory, type theory, lambda-calculus, categorial syntax and semantics, type-logical syntax and semantics, and revised categorial grammar. For a description of RCG, click here. |
| Prerequisites | graduate status in Philosophy or Linguistics, or consent of instructor |
| Requirements | 8-10 homework exercise sets (see schedule) |