Nice photo of the late Montague in Partee's powerpoint presentation

From wiki, semantics:

"Montague grammar. In the late 1960s, Richard Montague proposed a system for defining semantic entries in the lexicon in terms of the lambda calculus. In these terms, the syntactic parse of the sentence like John ate every bagel would consist of a subject (John) and a predicate (ate every bagel); Montague showed that the meaning of the sentence as a whole could be decomposed into the meanings of its parts and relatively few rules of combination. The logical predicate thus obtained would be elaborated further, e.g. using truth theory models, which ultimately relate meanings to a set of Tarskiian universals, which may lie outside the logic. The notion of such meaning atoms or primitives is basic to the language of thought hypothesis from the 70s. 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: situation semantics ('80s): truth-values are incomplete, they get assigned based on context, and generative lexicon ('90s): categories (types) are incomplete, and get assigned based on context."

Apply to implicatures and fail!