Journal of Logic, Language and Information 10 (3):319-351 (2001)
AbstractA new system of dynamic logic is introduced and motivated, witha novel approach to variable binding for incremental interpretation. Thesystem is shown to be equivalent to first order logic and complete.The new logic combines the dynamic binding idea from DynamicPredicate Logic with De Bruijn style variable free indexing. Quantifiersbind the next available variable register; the indexing mechanismguarantees that active registers are never overwritten by newquantifiers actions. Apart from its interest in its own right, theresulting system has certain advantages over Dynamic Predicate Logic orDiscourse Representation Theory. It comes with a more well behaved(i.e., transitive) consequence relation, it gives a more explicitaccount of how anaphoric context grows as text gets processed, and ityields new insight into the dynamics of anaphoric linking in reasoning.Incremental dynamics also points to a new way of handling contextdynamically in Montague grammar.
Similar books and articles
Incremental Encoding and Incremental Articulation in Speech Production: Evidence Based on Response Latency and Initial Segment Duration.Alan H. Kawamoto - 1999 - Behavioral and Brain Sciences 22 (1):48-49.
Reasoning About Update Logic.Jan Van Eijck & Fer-Jan De Vries - 1995 - Journal of Philosophical Logic 24 (1):19 - 45.
A Dynamic Characterization of the Pure Logic of Relevant Implication.Diderik Batens - 2001 - Journal of Philosophical Logic 30 (3):267-280.
Predicate Logic with Flexibly Binding Operators and Natural Language Semantics.Peter Pagin & Dag Westerståhl - 1993 - Journal of Logic, Language and Information 2 (2):89-128.
Added to PP
Historical graph of downloads
Citations of this work
Minimize Restrictors!(Notes on Definite Descriptions, Condition Cand Epithets).Philippe Schlenker - 2005 - In Emar Maier, Corien Bary & Janneke Huitink (eds.), Proceedings of Sub9.
Non-Redundancy: Towards a Semantic Reinterpretation of Binding Theory.Philippe Schlenker - 2005 - Natural Language Semantics 13 (1):1-92.
On Dependent Pronouns and Dynamic Semantics.Rick Nouwen - 2007 - Journal of Philosophical Logic 36 (2):123-154.
Partial Dynamic Semantics for Anaphora: Compositionality Without Syntactic Coindexation.Dag Trygve Truslew Haug - 2014 - Journal of Semantics 31 (4):fft008.
References found in this work
The Semantics of Definite and Indefinite Noun Phrases.Irene Heim - 1982 - Dissertation, UMass Amherst
Dynamic Predicate Logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
A Theory of Truth and Semantic Representation.Hans Kamp - 1981 - In P. Portner & B. H. Partee (eds.), Formal Semantics - the Essential Readings. Blackwell. pp. 189--222.
Background.[author unknown] - 2004 - The Chesterton Review 30 (3-4):411-413.