On the proper treatment of context in NL

The proper treatment of quantification 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 quantified variables introduces an undesirable element into this attempt. By extending a variable free `incremental dynamics' with a flexible 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 quantification and of context use and context change.

[1]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[2]  Shalom Lappin,et al.  当代语义理论指南 = The Handbook of Contemporary Semantic Theory , 2015 .

[3]  G. Sundholm.  Proof Theory and Meaning , 1986 .

[4]  Ieke Moerdijk,et al.  Compositionality and the analysis of anaphora , 1983 .

[5]  Jan van Eijck,et al.  Representing Discourse in Context , 1997, Handbook of Logic and Language.

[6]  R. Ahn,et al.  Discourse representation meets constructive mathematics , 1990 .

[7]  Jan van Eijck,et al.  Incremental Dynamics , 2001, J. Log. Lang. Inf..

[8]  D.J.N. van Eijck,et al.  Axiomatising dynamic logics for anaphora , 1998 .

[9]  P. Dekker.  Predicate logic with anaphora , 1994 .

[10]  Pauline Jacobson,et al.  Antecedent Contained Deletion in a Variable-Free Semantics , 1992 .

[11]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[12]  Jan van Eijck,et al.  Typed Logics With States , 1997, Log. J. IGPL.

[13]  Aarne Ranta.  Type-Theoretical Grammar , 1995 .

[14]  Reinhard Muskens,et al.  A compositional discourse representation theory , 1994 .

[15]  Jeroen Groenendijk,et al.  Two Theories of Dynamic Semantics , 1991, JELIA.

[16]  H.L.W. Hendriks,et al.  Studied flexibility : categories and types in syntax and semantics , 1993 .

[17]  I. I. N. Kamp.  Combining Montague Semantics and Discourse Representation , 1996 .

[18]  Aarne Ranta,et al.  Intuitionistic categorial grammar , 1991 .

[19]  Per Martin-Löf,et al.  Constructive mathematics and computer programming , 1984 .

[20]  F. Dick.  A survey of the project Automath , 1980 .

[21]  Megumi Kameyama,et al.  Intrasentential Centering: A Case Study , 1997, ArXiv.

[22]  Jeroen Groenendijk,et al.  Dynamic Montague grammar , 1990 .

[23]  Scott Weinstein,et al.  Centering: A Framework for Modeling the Local Coherence of Discourse , 1995, CL.

[24]  Pauline Jacobson.  Towards a Variable-Free Semantics , 1999 .

[25]  Susanna Kuschert.  Dynamic meaning and accommodation , 1999 .

[26]  William C. Purdy,et al.  A Logic for Natural Language , 1991, Notre Dame J. Formal Log..

[27]  C.F.M. Vermeulen.  Explorations of the dynamic environment , 1994 .

[28]  P. Aczel.  Frege Structures and the Notions of Proposition, Truth and Set* , 1980 .