INCLUSION CRITERIA
An entry belongs in this subdivision if and only if it is a formal logic or calculus whose purpose is to model the meaning of natural language—compositional interpretation, discourse dynamics, quantification, or pragmatics.
Required: At least one of the following:
- A compositional semantics assigning interpretations to linguistic expressions
- A dynamic or discourse theory modeling context change in language
- A formal treatment of a semantic or pragmatic phenomenon (quantifiers, presupposition, implicature, aspect)
Not sufficient: A pure model theory absent a linguistic target (Metatheory/Model-Theory). A knowledge-representation formalism (Knowledge). A program semantics (Computation).
Boundary: Categorial and type-logical grammar are cross-listed with Type and Structural/Ordered. The model-theoretic techniques these theories deploy are cross-listed with Metatheory/Model-Theory. The linguistic modeling purpose is what places an entry here.