Dynamic predicate logic

Linguistics and Philosophy 14 (1):39-100 (1991)
Martin Stokhof
University of Amsterdam
This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle of compositionality, a principle which, implicitly or explicitly, has dominated semantics since the days of Frege. Therefore the question naturally arises whether non-compositionality is in any way a necessary feature of discourse semantics. Since we subscribe to the interpretation of compositionality as constituting primarily a methodological principle, we consider this to be a methodological rather than an empirical question. As a consequence, the emphasis in the present paper lies on developing an alternative compositional semantics of discourse, which is empirically equivalent to its non-compositional brethren, but which differs from them in a principled methodological way. Hence, no attempts are made to improve on existing theories empirically. Nevertheless, as we indicate in section 5, the development of a compositional alternative may in the end have empirical consequences, too. First of all, it can be argued that the dynamic view on interpretation developed in this paper suggests natural and relatively easy to formulate extensions which enable one to deal with a wider range of phenomena than can be dealt with in existing theories. Moreover, the various approaches to the model-theoretic semantics of discourse that have been developed during the last decade, have constituted a ‘fresh start’ in the sense that much of what had been accomplished before was ignored, at least for a start. Of course, this is a justified strategy if one feels one is trying to develop a radically different approach to recalcitrant problems. However, there comes a time when such new approaches have to be compared with the older one, and when an assessment of the pros and cons of each has to be made. One of the main problems in semantics today, we feel, is that a semantic theory such as Montague grammar, and an approach like Kamp’s discourse representation theory, are hard to compare, let alone that it is possible to unify their insights and results..
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00628304
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,941
Through your library

References found in this work BETA

Modal Subordination and Pronominal Anaphora in Discourse.Craige Roberts - 1989 - Linguistics and Philosophy 12 (6):683 - 721.
A Compositional Approach to Discourse Representation Theory.Henk Zeevat - 1989 - Linguistics and Philosophy 12 (1):95 - 131.

View all 7 references / Add more references

Citations of this work BETA

Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
Believing Epistemic Contradictions.Beddor Bob & Simon Goldstein - 2018 - Review of Symbolic Logic (1):87-114.
A Counterexample to Modus Tollens.Seth Yalcin - 2012 - Journal of Philosophical Logic 41 (6):1001-1024.

View all 115 citations / Add more citations

Similar books and articles

The Donkey and the Monoid. Dynamic Semantics with Control Elements.Albert Visser - 2002 - Journal of Logic, Language and Information 11 (1):107-131.
Formal Semantics: Origins, Issues, Early Impact.Barbara H. Partee - 2010 - The Baltic International Yearbook of Cognition, Logic and Communication 6 (1).
Dynamic Interpretation and HOARE Deduction.Jan Eijck & Fer-Jan Vries - 1992 - Journal of Logic, Language and Information 1 (1):1-44.
A Squib on Anaphora and Coindexing.Reinhard Muskens - 2011 - Linguistics and Philosophy 34 (1):85-89.
Sequence Semantics for Dynamic Predicate Logic.C. F. M. Vermeulen - 1993 - Journal of Logic, Language and Information 2 (3):217-254.


Added to PP index

Total downloads
220 ( #23,721 of 2,293,869 )

Recent downloads (6 months)
9 ( #54,862 of 2,293,869 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature