Montague Semantics (1973) › 1973: Montague Semantics

In the early 1970s, linguistics found itself in a peculiar state of imbalance. The syntactic revolution initiated by Noam Chomsky had transformed the field, giving linguists powerful formal tools for describing the structure of sentences. Phrase structure grammars, transformational rules, and hierarchical tree representations had brought mathematical rigor to the study of syntax. Yet semantics.the study of meaning.remained conspicuously informal, relying largely on intuitive descriptions, philosophical arguments, and informal paraphrases. Linguists could precisely specify why "colorless green ideas sleep furiously" was syntactically well-formed but semantically anomalous, but they lacked a formal calculus for computing what sentences meant.

Richard Montague, a mathematical logician at UCLA, found this situation both intellectually unsatisfying and theoretically unnecessary. Trained in formal logic and model theory rather than linguistics, Montague approached natural language with a logician's sensibility: a theory of meaning should specify how parts compose through systematic, mathematically tractable rules. If formal logic could assign precise truth conditions to statements about mathematical objects, why couldn't the same framework handle statements about cats sitting on mats, politicians making promises, or anyone seeking a unicorn? The conventional wisdom held that natural language was too messy, too context-dependent, too riddled with ambiguity and vagueness for formal semantic treatment. Montague disagreed fundamentally. In his view, there was "no important theoretical difference between natural languages and the artificial languages of logicians."

Between 1970 and his untimely death in 1971, Montague developed what would become known as Montague Grammar or Montague Semantics, publishing three seminal papers that laid out a formal framework for compositional natural language semantics. His approach provided a rigorous method for mapping syntactic structures onto logical forms, specifying how the meanings of complex expressions derived systematically from their parts. The framework employed intensional logic, lambda calculus, and model-theoretic semantics.mathematical machinery far more sophisticated than anything previously applied to natural language. While Montague's work initially met skepticism from linguists, who found his methods forbiddingly technical and his linguistic judgments sometimes questionable, it later shaped computational linguistics, formal semantics, and the development of language AI.

Montague did not solve every problem of meaning, but he demonstrated that formal semantic analysis of natural language was possible in principle. His work established compositionality as a central principle, showed how to handle intensional contexts (beliefs, possibilities, necessities), and provided techniques for dealing with quantification and scope that would influence generations of semantic theory. For computational linguistics, Montague Grammar offered something invaluable: a path from syntax to semantics, a systematic method for computing meaning representations from parsed sentences. Though modern language AI has largely moved away from explicit logical representations toward distributed neural semantics, the problems Montague grappled with.compositionally, quantifier scope, intensionality.remain central challenges for any system attempting to understand language.