Jan Van Eijck
University of Amsterdam
In this paper we present a dynamic assignment language which extends the dynamic predicate logic of Groenendijk and Stokhof [1991: 39–100] with assignment and with generalized quantifiers. The use of this dynamic assignment language for natural language analysis, along the lines of o.c. and [Barwise, 1987: 1–29], is demonstrated by examples. We show that our representation language permits us to treat a wide variety of donkey sentences: conditionals with a donkey pronoun in their consequent and quantified sentences with donkey pronouns anywhere in the scope of the quantifier. It is also demonstrated that our account does not suffer from the so-called proportion problem.Discussions about the correctness or incorrectness of proposals for dynamic interpretation of language have been hampered in the past by the difficulty of seeing through the ramifications of the dynamic semantic clauses (phrased in terms of input-output behaviour) in non-trivial cases. To remedy this, we supplement the dynamic semantics of our representation language with an axiom system in the style of Hoare. While the representation languages of barwise and Groenendijk and Stokhof were not axiomatized, the rules we propose form a deduction system for the dynamic assignment language which is proved correct and complete with respect to the semantics.
Keywords semantics of natural language  dynamic interpretation  Hoare logic  knowledge representation languages
Categories (categorize this paper)
DOI 10.1007/BF00203385
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,018
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Implicit and Explicit Stances in Logic.Johan van Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.
The Values of Variables in Dynamic Semantics.Paul Dekker - 1996 - Linguistics and Philosophy 19 (3):211 - 257.

Add more citations

Similar books and articles


Added to PP index

Total views
34 ( #332,655 of 2,498,501 )

Recent downloads (6 months)
2 ( #282,166 of 2,498,501 )

How can I increase my downloads?


My notes