Montague grammar


Also found in: Wikipedia.

Montague grammar

(ˈmɒntəˌɡjuː)
n
1. (Logic) logic linguistics a model-theoretic semantic theory for natural language that seeks to encompass indexical expressions and opaque contexts within an extensional theory by constructing set-theoretic representations of the intension of an expression in terms of functions of possible worlds
2. (Linguistics) logic linguistics a model-theoretic semantic theory for natural language that seeks to encompass indexical expressions and opaque contexts within an extensional theory by constructing set-theoretic representations of the intension of an expression in terms of functions of possible worlds
[named after Richard Merett Montague (1930–71), US logician]
References in periodicals archive ?
The first piece was Montague grammar (named after philosopher and mathematician Richard Montague), which uses a formal system of first-order logic, a systematic method of machine learning where a programmer assigns rigid meanings based on syntax and each word's definition.
Nine contributions discuss frameworks, including Montague grammar, categorical type logics, discourse representation in context, situation theory, GB theory, and game-theoretical semantics and pragmatics, among other topics.
Finally, the motivation for Montague Grammar is presented and one long quotation from Montague is given concluding with a very short discussion on the differences between philosophical and linguistics semantics.