On the proper treatment of context in NL

The proper treatment of quanti cation in Natural Language proposed by Richard Montague some thirty years ago does not do proper justice to the fact that interpretation of texts both uses context and sets up new contexts. The dynamic turn in NL semantics is the attempt to model this basic fact, but the use of dynamically quanti ed variables introduces an undesirable element into this attempt. By extending a variable free `incremental dynamics' with a exible system of type scheme patterns and type scheme pattern matching, we arrive at a Montague style architecture for NL semantics that provides a proper treatment both of quanti cation and of context use and context change. 2000 Mathematics Subject Classi cation: 68T50, 03B65 1998 ACM Computing Classi cation System: F.4.3, I.2.4, I.2.7