Montague Semantics (1973) › The Montague Framework

Montague's approach rested on several key principles, each reflecting deep commitments about the nature of meaning. The first and most fundamental was compositionality: the meaning of a complex expression is a function of the meanings of its parts and the way they're syntactically combined. This principle, often called the Frege principle after Gottlob Frege's earlier advocacy, entailed that one couldn't assign arbitrary meanings to sentences. If you knew what "cat," "the," "on," "mat," and "sat" meant, and you knew the syntactic rule that combined them, you could compute what "the cat sat on the mat" meant. This wasn't just a methodological preference.it was a necessary condition for semantic learnability and productivity. Humans understand novel sentences they've never encountered precisely because they compose meanings from known parts.

The second principle was that meanings should be defined relative to models.mathematical structures specifying possible worlds, individuals, properties, and relations. Following Tarski's model-theoretic semantics, Montague treated the meaning of a sentence as its truth conditions: the conditions under which it would be true in a given model. The sentence "snow is white" was true in models where the substance snow had the property white, false otherwise. This approach shifted focus from meanings as mysterious mental entities to meanings as systematic relationships between language and models of reality. It provided a clear criterion for semantic equivalence: two expressions had the same meaning if they were true in exactly the same models.

The third principle, more technically sophisticated, was intensionality. Montague recognized that natural language abounds with contexts where truth values alone don't determine meaning. Consider "the President of the United States" in 2024 versus 2020.same grammatical form, different referent. Consider "necessarily" versus "possibly": "2 + 2 = 4" is necessarily true, but "it's raining" is only possibly true. To handle these intensional phenomena, Montague employed possible worlds semantics. Rather than evaluating expressions in a single model, his framework considered sets of possible worlds.different ways reality might be. The meaning of "necessarily P" required P to be true in all possible worlds; "possibly P" required P to be true in at least one world. Intensional operators like "believe," "seek," and "want" similarly operated over propositions or properties rather than simple truth values.

To implement these principles, Montague developed a fragment of English with explicit syntactic rules and corresponding semantic rules. Each syntactic rule that combined expressions had a paired semantic rule specifying how meanings combined. Consider a simple example: combining a proper name like "John" with an intransitive verb phrase like "walks." The syntactic rule produced the sentence "John walks." The semantic rule took the meaning of "John" (an individual) and the meaning of "walks" (a property of individuals) and produced a truth value: true if the individual John has the property of walking, false otherwise.

The framework employed lambda calculus as its primary tool for representing compositional meanings. Lambda expressions allowed Montague to represent meanings as functions that could be applied to arguments. The intransitive verb "walks" might be represented as $\lambda x.\text{walk}(x)$.a function that takes an individual $x$ and returns the proposition that $x$ walks. When applied to "John," denoting individual $j$, the lambda expression $\beta$-reduces: $(\lambda x.\text{walk}(x))(j) \to \text{walk}(j)$. This functional application modeled semantic composition precisely, showing how subject-verb combination produced a complete proposition.

Montague's treatment of noun phrases demonstrated the framework's sophistication. Rather than treating noun phrases as denoting individuals, he treated them as denoting sets of properties.what logicians call generalized quantifiers. The proper name "John" denoted the set of all properties that John has. The quantified noun phrase "every student" denoted the set of properties that every student has. This uniform treatment allowed a simple semantic rule for combining noun phrases with verb phrases: a sentence was true if the property denoted by the verb phrase belonged to the set denoted by the noun phrase. For "every student walks," this meant: the property of walking belongs to the set of properties every student has, or equivalently, every student has the property of walking.

This generalized quantifier approach had remarkable benefits. It handled quantifier scope systematically: ambiguous sentences like "every student read some book" could be derived via different syntactic structures producing different semantic interpretations. It explained why certain inferences were valid: if "every student walks" is true and "John is a student" is true, then "John walks" must be true.a consequence of the underlying logic. It unified the treatment of different noun phrase types: proper names, definite descriptions, and quantified phrases all denoted sets of properties, differing only in which sets they denoted.