Martin Stokhof

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG.

This paper1 explores, quite tentatively, possible consequences for the concept of semantics of two phenomena concerning meaning and interpretation, viz., radical interpretation and normativity of meaning. Both, it will be argued, challenge the way in which meaning is conceived of in semantics and thereby the status of the discipline itself. For several reasons it seems opportune to explore these issues. If one reviews the developments in semantics over the past two decades, one observes that quite a bit has changed, and one may well wonder how to assess these changes. This relates directly to the status of semantics. If semantics is an empirical discipline, one might expect that most changes are informed by empirical considerations. However, one may also note that the core notion of semantics, meaning, today is conceived of quite differently than in, say, the seventies. How can that be? How can that what semantics is about, be different now from what is was back then? Or is this perhaps an indication that semantics is not as empirical as it is often thought to be? Moreover, it seems that in some deep sense meaning as explicated in semantics and interpretation as studied in various philosophical approaches are strangely at odds. Meaning is what interpretation is concerned with: meaning is, at least so it seems, what in the process of interpretation language users try to recover (or analogously, what they try to convey in production). Yet, the way meaning is conceived of in semantics seems not to square all that neatly with how the process of interpretation is supposed to proceed. In particular it seems to lack some of the intrinsic features that various approaches to interpretation assume it to have. Given these discrepancies, one wonders how the two can be incorporated within a single theory. And that such a theory is desirable goes, it may be presumed, without saying These are the reasons that figure in this paper. At the background there are some others..

Of course, although this view on meaning was the prevailing one for almost a century, many of the people who initiated the enterprise of logical semantics, including people like Frege and Wittgenstein, had an open eye for all that it did not catch. However, the logical means which Frege, Wittgenstein, Russell, and the generation that succeeded them, had at their disposal were those of classical mathematical logic and set-theory, and these indeed are not very suited for an analysis of other aspects of meaning than those which the slogan covers. A real change in view then had to await the emergence of other concepts, which in due course became available mainly under the influence of developments in computer science and cognate disciplines such as artificial intelligence. And this is one of the reasons why it took almost a century before any serious and successful challenge of the view that meaning equals truthconditions from within logical semantics could emerge.