|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.|
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)|