Montague grammar gives a novel formal semantics of natural languages.

He pioneered a logical approach to natural language semantics which became known as Montague grammar.

This is the philosophical premise underlying Montague grammar.

In Montague grammar various categories of expression are simultaneously defined in a recursive fashion.

Word meaning and Montague grammar.

Montague published what soon became known as Montague grammar in three seminal papers:

For in Montague grammar one begins with lexical items (of known categories) and 'assembles' lower-level structures.

Montague grammars, by contrast, characterise at most context-sensitive languages, and therefore yield decision procedures for grammaticality.

Despite its elegance, Montague grammar was limited by the context-dependent variability in word sense, and led to several attempts at incorporating context, such as:

Indeed, modal logic was the basis of one of the most popular and rigorous formulations in modern semantics called the Montague grammar.

Type theory is also widely in use in formal theories of semantics of natural languages, especially Montague grammar and its descendants.

Montague grammar uses an ad hoc syntactic system for English that is based on the principles of categorial grammar.

Montague grammar is an approach to natural language semantics, named after American logician Richard Montague.

A further suggestion that flows from this is that such evolutionary considerations lend support to a competing grammatical paradigm - that of Montague grammar.

Richard Montague, American mathematician and philosopher (Montague grammar)

Hence literature seeking to explain quantification in natural language (λx in Montague grammar) often refers to distributive constructions, and vice versa.

Unlike its forerunner, Montague grammar was built in a purely semantical way: a simpler treatment became possible, thank to the new formal tools invented since Church's work.

In linguistics, type-logical grammar, categorial grammar and Montague grammar apply formalisms based on structural proof theory to give a formal natural language semantics.

David Dowty is a linguist known primarily for his work in semantic and syntactic theory, and especially in Montague grammar and Categorial grammar.

The way a sentence (or indeed any complex expression) is generated within a Montague grammar provides a possible synchronic fossil of how, diachronically, the language acquired the complexity making such a sentence possible.

The Montague grammar is based on formal logic, especially higher order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models.

On the account advanced by Sampson, especially with the substitution of Montague grammar for Chomskian, there is no need to appeal to innate linguistic abilities any more specialised than those required for general problem solving.

Flexible Variable-binding and Montague Grammar', with Dag Westerståhl, in P Dekker och M Stokhof (eds), Proceedings of the Ninth Amsterdam Colloquium , Amsterdam 1994, pp.

Indeed, one empirical reason why a certain category within a Montague grammar should be basic may be precisely a high pragmatic probability of its isolated use in fruitful exchanges: here the grammar of conversation rather than of the sentence may become crucial.

His contribution to linguistic semantics, which is now known as Montague grammar, was the basis for further developments, like the categorial grammar of Bar-Hillel and colleagues, and the more recent type-logical semantics (or grammar) based on Lambek calculus.