Online research in philosophy

Semantic analysis, – inference on the basis of semantic information and world knowledge – still is largely uncharted territory in dy- (3) namic semantics. It is needed, among other things, for the reconstruction of linguistically unspecified parts of the discourse or for restricting ambiguities introduced by prior analysis processes, i.e.

This volume examines explicitly the question of how the semantics and pragmatics of a number of expressions might be responsibly discussed. In the past, the temptation has been for the expressions in question to be discussed either in terms of the semantics, or in terms of the pragmatics, but extremely rarely in terms of both. This book shows how revealing analyses for this interface can be provided for the expressions in question. In specially commissioned chapters from leading authors, the points of view represented include linguistics, logic, computational linguistics, and philosophy.

Semantics: A Reader contains a broad selection of classic articles on semantics and the semantics/pragmatics interface. Comprehensive in the variety and breadth of theoretical frameworks and topics that it covers, it includes articles representative of the major theoretical frameworks within semantics, including: discourse representation theory, dynamic predicate logic, truth theoretic semantics, event semantics, situation semantics, and cognitive semantics. All the major topics in semantics are covered, including lexical semantics and the semantics of quantified noun phrases, adverbs, adjectives, performatives, and interrogatives. Included are classic papers in the field of semantics as well as papers written especially for the volume. The volume comes with an extensive introduction designed not only to provide an overview of the field, but also to explain the technical concepts the beginner will need to tackle before the more demanding articles. Semantics will have appeal as a textbook for upper level and graduate courses and as a reference for scholars of semantics who want the classic articles in their field in one convenient place.

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 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..

This paper introduces a formal view of the semantics and pragmatics of corrective feedback in dialogues between adults and children. The goal of this research is to give a formal account of language coordination in dialogue, and semantic coordination in particular. Accounting for semantic coordination requires (1) a semantics, i.e. an architecture allowing for dynamic meanings and meaning updates as results of dialogue moves, and (2) a pragmatics, describing the dialogue moves involved in semantic coordination. We illustrate the general approach by applying it to some examples from the literature on corrective feedback, and provide a fairly detailed discussion of one example using TTR (Type Theory with Records) to formalize concepts. TTR provides an analysis of linguistic content which is structured in order to allow modification and similarity metrics, and a framework for describing dialogue moves and resulting updates to linguistic resources.

In this paper we explore how compositional semantics, discourse structure, and the cognitive states of participants all contribute to pragmatic constraints on answers to questions in dialogue. We synthesise formal semantic theories on questions and answers with techniques for discourse interpretation familiar from computational linguistics, and show how this provides richer constraints on responses in dialogue than either component can achieve alone.

v. 1. Meanings and representations -- v. 2. Discourse strategies.

We provide examples of plurals related to ambiguity and anaphora that pose problems or are counterexamples for current approaches to plurals. We then propose a dynamic semantics based on an extension of dynamic predicate logic (DPL+) to handle these examples. On our theory, different readings of sentences or discourses containing plurals don’t arise from a postulated ambiguity of plural terms or predicates applying to plural DPs, but follow rather from different types of dynamic transitions that manipulate inputs and outputs from formulas or discourse constituents. Many aspects of meaning can affect the type dynamic transitions: the lexical semantics of predicates to the left and right of a transition, and number features of DPs and discourse constraints like parallelism.