Merging without mystery or: Variables in dynamics semantics

In this paper we discuss the treatment of variables in dynamic semantics. Referent systems are introduced as a flexible mechanism for working with variables. In a referent system we carefully distinguish the variables themselves both from the machinery by which we manipulate them — their names — and from the information that we store in them — their values. It is shown that the referent systems provide a natural basis for dynamic semantics. The semantics with referent systems is compared with the familiar formalisms in dynamic semantics,DRT andDPL.

[1]  Henk Zeevat,et al.  A compositional approach to discourse representation theory , 1989 .

[2]  Vaughan R. Pratt,et al.  Action Logic and Pure Induction , 1990, JELIA.

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

[4]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[5]  David Kaplan,et al.  On the logic of demonstratives , 1979, J. Philos. Log..

[6]  Jan van Eijck,et al.  Dynamic interpretation and hoare deduction , 1992, J. Log. Lang. Inf..

[7]  C. F. M. Vermeulen,et al.  Sequence semantics for dynamic predicate logic , 1993, J. Log. Lang. Inf..

[8]  Johan van Benthem,et al.  Natural Language: From Knowledge to Cognition , 1991 .

[9]  Jan van Eijck,et al.  The Dynamics of Description , 1993, J. Semant..

[10]  Johan van Benthem,et al.  Language in action , 1991, J. Philos. Log..

[11]  Albert Visser.  Actions under presuppositions , 1992 .

[12]  Johan van Benthem,et al.  Semantic Parallels in Natural Language and Computation , 1989 .

[13]  László Dezsö,et al.  Universal Grammar , 1981, Certainty in Action.

[14]  C. F. M. Vermeulen.  Incremental Semantics for Propositional Texts , 1994, Notre Dame J. Formal Log..

[15]  Jeroen Groenendijk,et al.  Formal methods in the study of language , 1983 .

[16]  Uwe Reyle,et al.  From discourse to logic , 1993 .

[17]  Kit Fine,et al.  Reasoning with arbitrary objects , 1988 .

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