Montague grammar is an approach to natural language semantics, based on formal logic, especially lambda calculus and set theory. Montague grammar was named after American logician Richard Montague, who pioneered this approach in the 1960s and early 1970s.

Montague's thesis was that there is no essential difference between the semantics of natural languages (like English) and formal languages (like predicate logic).

Montague's treatment of quantification has been linked to the notion of continuation in programming language semantics. (See Continuations in Natural Language.)

See also:

• Categorial grammar

Further reading

• Informal Lectures on Formal Semantics by E. Bach (SUNY Press, 1989)
• Mathematical Methods in Linguistics by B.H. Partee, A.G.B. ter Meulen en R.E. Wall (Kluwer Academic Publishers, 1990)
• Montague Grammar, by B.H. Partee and Herman Hendriks, in: Handbook of Logic and Language, eds. J.F.A.K. van Benthem and A.G.B. ter Meulen (Elsevier/MIT Press, 1997)