NATURAL-LANGUAGE SEMANTICS
Formal logics and calculi built to model the meaning of natural language: systems of compositional interpretation, discourse dynamics, quantification, and the pragmatic phenomena that a truth-conditional theory of meaning must handle. The application is linguistic meaning, using logical machinery as the modeling tool.
Entries include the compositional frameworks (Montague grammar, categorial and type-logical grammar, glue and continuation semantics), the dynamic and discourse theories (discourse representation theory, dynamic, update, and file-change semantics, situation and event semantics), the quantification and scale phenomena (generalized quantifiers, plural and degree semantics, tense and aspect), the pragmatic strand (presupposition, scalar implicature, inquisitive logic, bilateral logic, speech act logic), and the underlying interpretive apparatus (possible-worlds, alternative, and vector semantics).