INTRODUCTION to DISCOURSE REPRESENTATION Hans Kamp

Total Page:16

File Type:pdf, Size:1020Kb

INTRODUCTION to DISCOURSE REPRESENTATION Hans Kamp INTRODUCTION TO DISCOURSE REPRESENTATION Hans Kamp The first paper of this part, A Theory of Truth and Semantic Representation (TTSR), is probably the most widely known of those in this part, and per- haps, at this point in time, of all the papers in this collection. It appears to be the document most often cited as one of the two starting points of Dynamic Semantics, as a discipline with an explicit compositional seman- tics and a well-defined logic, rather than as a mere collection of informal intuitions about how discourse works and a list of promissory notes for making those into a theory. The other document standardly mentioned in this connection is Irene Heim’s The Semantics of Definite and Indefinite Noun Phrases. Often, in fact, her dissertation and TTSR have been cited in tandem; rightly so, it might be added, given that where the application domains of the two approaches overlap primarily in what they have to say about donkey anaphora, they make the same predictions about mean- ing and semantic interpretability. As with the application of Supervalua- tion Theory to the analysis of vagueness, where Kit Fine and I indepen- dently arrived at the conviction that this was an approach worth developing, Heim and I also arrived at our formulations of these mechanisms inde- pendently. But her dissertation was the far more substantial work, which, for one thing, covers definite descriptions as well as pronouns. It rightly has become the yardstick for subsequent work on the topics it addressed. It deserves emphasis in this context, however, that TTSR wasn’t meant to be just a theory of the behavior of pronouns and certain other noun- phrases. As indicated in the introduction to the first part, the paper was rather the outcome of a process that started with observations about the discourse-linking properties of tenses. I was groping for evidence at that point that this was not an isolated phenomenon. For, as Robert Stalnaker had made plain as early as the early seventies, the contributions made by a new sentence or utterance in an ongoing discourse or text typically take advantage of information that has already been provided by earlier parts of the text or discourse. Since linguistic communication seems to rely on this to such a very large extent, it would have been remarkable if languages had not developed grammaticised mechanisms for exploit- ing this possibility of providing information cumulatively, or if the tenses 324 hans kamp in languages like French and English had been the only instances of such grammaticisation. In this light the discovery that some of the main facts about donkey pro- nouns, essentially as they had been laid out by Peter Geach in Reference and Generality, could be accounted for by assuming discourse-related mecha- nisms closely reminiscent of what I thought I had observed for the tenses of French, seemed just the confirmation I was looking for. At the same time the crisp judgments about the acceptability and the truth conditions of don- key sentences—Geach’s actual target, to be distinguished from the donkey discourses that TTSR included as part of the data—made it possible to turn this small part of the discourse-oriented enterprise into a theory that could be used to make explicit predictions about robust linguistic observations. Indeed, only when the formal framework that emerged from this attempt to deal with these particular data was in place, was the road free to deal in simi- larly formally precise ways with the sentence-transcending semantic effects of tenses and other parts of temporal vocabulary. This is also the reason why difficulties with some of the predictions made by TTSR and The Semantics ofDefiniteandIndefiniteNounPhrases did not seem as troubling to the gen- eral DRT enterprise, as they may have seemed to Heim. In particular, there are the recalcitrant facts about donkey discourses like A woman came into the lobby. She went up to the reception desk and got herself a double room with a view of the river. or A fat man was pushing his bicycle. He seemed at the end of his tether. There is a strong intuition that such discourses are inappropri- ate, unless the speaker is talking about some particular woman or fat man she could identify upon demand. Of course, these data, and others that have to do with donkey sentences rather than with donkey discourses, have to be taken seriously by anybody who wants to use DRT as a framework. But once one is convinced that dynamics is an important aspect of linguistic mean- ing and interpretation and that it would have been a miracle if things had been otherwise, the natural response to these counterexamples is not to go and look for an alternative framework. Instead one will be inclined to see such data as that this part of the theory isn’t quite right, so it needs rethink- ing and adjusting. If there are other parts of the general approach that do not seem directly affected by the difficulties observed, then concluding that the approach was wrong after all in toto, that it should scuttled and that we ought to go back to a well-tried, well-established form of sentence semantics such as Montague Grammar, seems overly alarmist and overly defeatist. It is now more than thirty years after TTSR appeared and in the course of that time the scientific landscape has changed considerably. Dynamic Semantics, in a broad sense of the term, according to which it includes DRT.
Recommended publications
  • 1 Semantics in Generative Grammar. by Irene Heim & Angelika Kratzer
    Semantics in generative grammar. By Irene Heim & Angelika Kratzer. Malden & Oxford: Blackwell, 1998. Pp. ix, 324. Introduction to natural language semantics. By Henriëtte de Swart. Stanford: CSLI Publications, 1998. Pp. xiv, 257. Although there aren’t that many text books on formal semantics, their average quality is quite good, and these two recent additions don’t lower the standard by any means. ‘Semantics in generative grammar’ (SGG) is the more innovative of the two. As its title indicates, SGG focuses its attention on the syntax/semantics interface, with particular emphasis on quantification and anaphora. These two subjects are discussed in considerable detail, while many others receive only a cursory treatment or are not addressed at all. We learn from the preface that this was a deliberate choice: ‘We want to help students develop the ability for semantic analysis, and, in view of this goal, we think that exploring a few topics in detail is more effective than offering a bird’s-eye view of everything.’ (p. ix) Having enjoyed the results of Heim and Kratzer’s explorations, I can only agree with this judgment. SGG falls into three main parts. The first part introduces the two notions that are at the heart of the formal semantics enterprise, viz. truth conditions and compositionality, and then goes on to develop a compositional truth- conditional semantics for a core fragment of English. The second part discusses variable binding and quantification, and the third part is an in-depth discussion of anaphora. All these developments are kept within an extensional framework. 06-09-1999 1 Intensional phenomena are addressed only briefly, in the last chapter of the book.
    [Show full text]
  • Proceedings of the Textinfer 2011 Workshop on Applied Textual
    EMNLP 2011 TextInfer 2011 Workshop on Textual Entailment Proceedings of the Workshop July 30, 2011 Edinburgh, Scotland, UK c 2011 The Association for Computational Linguistics Order copies of this and other ACL proceedings from: Association for Computational Linguistics (ACL) 209 N. Eighth Street Stroudsburg, PA 18360 USA Tel: +1-570-476-8006 Fax: +1-570-476-0860 [email protected] ISBN 978-1-937284-15-2 / 1-937284-15-8 ii Introduction Textual inference and paraphrase have attracted a significant amount of attention in recent years. Many NLP tasks, including question answering, information extraction, and text summarization, can be mapped at least partially onto the recognition of textual entailments and the detection of semantic equivalence between texts. Robust and accurate algorithms and resources for inference and paraphrasing can be beneficial for a broad range of NLP applications, and have stimulated research in the area of applied semantics over the last years. The success of the Recognizing Textual Entailment challenges and the high participation in previous workshops on textual inference and paraphrases – Empirical Modeling of Semantic Equivalence and Entailment (ACL 2005), Textual Entailment and Paraphrasing (ACL/PASCAL 2007), and TextInfer 2009 (ACL) – show that there is substantial interest in the area among the research community. TextInfer 2011 follows these workshops and aims to provide a common forum for researchers to discuss and compare novel ideas, models and tools for textual inference and paraphrasing. One particular goal is to broaden the workshop to invite both theoretical and applied research contributions on the joint topic of “inference.” We aim to bring together empirical approaches, which have tended to dominate previous textual entailment events, with formal approaches to inference, which are more often presented at events like ICoS or IWCS.
    [Show full text]
  • Forks in the Road to Rule I* Irene Heim Massachusetts Institute Of
    Forks in the Road to Rule I* Irene Heim Massachusetts Institute of Technology 1. Introduction Tanya Reinhart pioneered and developed a new and very influential approach to the syntax and semantics of anaphora. It originated in Reinhart (1983a, b) and underwent various later modifications, e.g., Grodzinsky & Reinhart (1993), Heim (1993), Fox (1998, 2000), Reinhart (2000, 2006), Büring (2005). The central innovation concerned the architecture of the theory. The labor traditionally assigned to Binding Theory was broken up into two very different modules. One component (the “real” Binding Theory, if you will) regulates only one type of anaphoric relation, namely variable binding in the sense of logic. A new and different mechanism, variously thought of as a pragmatic principle, an economy constraint, and an interface rule, takes care of regulating other semantic relations, particularly coreference. The latter mechanism crucially involves the construction and comparison of alternative Logical Forms and their meanings. I would like to reexamine the line of reasoning that has led to this bi-modular architecture. I will suggest that the problems it was meant to solve could have been addressed in a different way. My alternative proposal will borrow many essential moves from Reinhart, but her architectural innovation will effectively be undone. 2. Semantically Naive Binding Theory The Binding Theory (BT) we teach in intro linguistics is built on observations about the possible readings of sentences like (1) and (2), and it takes the form of generalizations like those in (3). (1) Bert pointed at him. * Working on this paper has been a vivid reminder of how much inspiration and insight I gained from thinking about Tanya’s work and from arguing with her when I was young.
    [Show full text]
  • Referential Dependencies Between Conflicting Attitudes
    J Philos Logic DOI 10.1007/s10992-016-9397-7 Referential Dependencies Between Conflicting Attitudes Emar Maier1 Received: 18 June 2015 / Accepted: 23 March 2016 © The Author(s) 2016. This article is published with open access at Springerlink.com Abstract A number of puzzles about propositional attitudes in semantics and phi- losophy revolve around apparent referential dependencies between different attitudes within a single agent’s mental state. In a series of papers, Hans Kamp (2003. 2015) offers a general framework for describing such interconnected attitude complexes, building on DRT and dynamic semantics. I demonstrate that Kamp’s proposal cannot deal with referential dependencies between semantically conflicting attitudes, such as those in Ninan’s (2008) puzzle about de re imagination. To solve the problem I propose to replace Kamp’s treatment of attitudes as context change potentials with a two-dimensional analysis. Keywords Propositional attitudes · Hans Kamp · Ninan’s puzzle · DRT · Dynamic semantics 1 Three puzzles about dependent attitudes Detective Mary investigates a mysterious death. She thinks the deceased was mur- dered and she hopes that the murderer is soon caught and arrested. A standard Emar Maier [email protected] 1 University of Groningen, Oude Boteringestraat 52, 9712GL Groningen, The Netherlands E. Maier analysis of definite descriptions and of hope as a propositional attitude gives us two different ways of characterizing Mary’s hope that the murderer is arrested (Quine [24]):1 ∃ ∀ ↔ = ∧ (1) a. de dicto : HOPE m x y murderer(y) x y arrested(x) b. de re : ∃x ∀y murderer(y) ↔ x = y ∧ HOPEmarrested(x) Neither of these logical forms captures what’s going on in the scenario.
    [Show full text]
  • Constraints on Donkey Pronouns
    Constraints on Donkey Pronouns The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Grosz, P. G., P. Patel-Grosz, E. Fedorenko, and E. Gibson. “Constraints on Donkey Pronouns.” Journal of Semantics 32, no. 4 (July 15, 2014): 619–648. As Published http://dx.doi.org/10.1093/jos/ffu009 Publisher Oxford University Press Version Author's final manuscript Citable link http://hdl.handle.net/1721.1/102962 Terms of Use Creative Commons Attribution-Noncommercial-Share Alike Detailed Terms http://creativecommons.org/licenses/by-nc-sa/4.0/ CONSTRAINTS ON DONKEY PRONOUNS Patrick Grosz, Pritty Patel-Grosz, Evelina Fedorenko, Edward Gibson Abstract This paper reports on an experimental study of donkey pronouns, pronouns (e.g. it) whose meaning covaries with that of a non-pronominal noun phrase (e.g. a donkey) even though they are not in a structural relationship that is suitable for quantifier-variable binding. We investigate three constraints, (i) the preference for the presence of an overt NP antecedent that is not part of another word, (ii) the salience of the position of an antecedent that is part of another word, and (iii) the uniqueness of an intended antecedent (in terms of world knowledge). We compare constructions in which intended antecedents occur in a context such as who owns an N / who is an N-owner with constructions of the type who was without an N / who was N-less. Our findings corroborate the existence of the overt NP antecedent constraint, and also show that the salience of an unsuitable antecedent’s position matters.
    [Show full text]
  • Analyticity, Necessity and Belief Aspects of Two-Dimensional Semantics
    !"# #$%"" &'( ( )#"% * +, %- ( * %. ( %/* %0 * ( +, %. % +, % %0 ( 1 2 % ( %/ %+ ( ( %/ ( %/ ( ( 1 ( ( ( % "# 344%%4 253333 #6#787 /0.' 9'# 86' 8" /0.' 9'# 86' (#"8'# Analyticity, Necessity and Belief Aspects of two-dimensional semantics Eric Johannesson c Eric Johannesson, Stockholm 2017 ISBN print 978-91-7649-776-0 ISBN PDF 978-91-7649-777-7 Printed by Universitetsservice US-AB, Stockholm 2017 Distributor: Department of Philosophy, Stockholm University Cover photo: the water at Petite Terre, Guadeloupe 2016 Contents Acknowledgments v 1 Introduction 1 2 Modal logic 7 2.1Introduction.......................... 7 2.2Basicmodallogic....................... 13 2.3Non-denotingterms..................... 21 2.4Chaptersummary...................... 23 3 Two-dimensionalism 25 3.1Introduction.......................... 25 3.2Basictemporallogic..................... 27 3.3 Adding the now operator.................. 29 3.4Addingtheactualityoperator................ 32 3.5 Descriptivism ......................... 34 3.6Theanalytic/syntheticdistinction............. 40 3.7 Descriptivist 2D-semantics .................. 42 3.8 Causal descriptivism ..................... 49 3.9Meta-semantictwo-dimensionalism............. 50 3.10Epistemictwo-dimensionalism................ 54
    [Show full text]
  • Lecture 6. Dynamic Semantics, Presuppositions, and Context Change, II
    Formal Semantics and Formal Pragmatics, Lecture 6 Formal Semantics and Formal Pragmatics, Lecture 6 Barbara H. Partee, MGU, April 10, 2009 p. 1 Barbara H. Partee, MGU, April 10, 2009 p. 2 Lecture 6. Dynamic Semantics, Presuppositions, and Context Change, II. DR (1) (incomplete) 1.! Kamp’s Discourse Representation Theory............................................................................................................ 1! u v 2.! File Change Semantics and the Anaphoric Theory of Definiteness: Heim Chapter III ........................................ 5! ! ! 2.1. Informative discourse and file-keeping. ........................................................................................................... 6! 2.2. Novelty and Familiarity..................................................................................................................................... 9! Pedro owns a donkey 2.3. Truth ................................................................................................................................................................ 10! u = Pedro 2.4. Conclusion: Motivation for the File Change Model of Semantics.................................................................. 10! u owns a donkey 3. Presuppositions and their parallels to anaphora ..................................................................................................... 11! donkey (v) 3.1. Background on presuppositions .....................................................................................................................
    [Show full text]
  • E-Type Pronouns and Donkey Anaphora
    IRENE HElM E-TYPE PRONOUNS AND DONKEY ANAPHORA 0. INTRODUCTION Kamp and Heim intended this proposal to compete with and replace us earlier treatments of the same phenomena, including a family of related proposals by Evans (1977, 1980), Cooper (1979), and others, which in contrast to (i)-(iv) made the following more traditional assumptions: (i) a non-existential, quantifier-free treatment of indefinites, (ii) a treatment of anaphoric pronouns as plain bound variables, (iii) a treatment of quantificational determiners and the conditional operator as capable of binding multiple variables, and (iv) a provision for default existential generalization of free vari- ables. Kamp and Heim intended this proposal to compete with and replace various earlier treatments of the same phenomena, including a family of related proposals by Evans (1977, 1980), Cooper (1979), and others, which in contrast to'(i)-(iv) made the following more traditional assumptions: (i') Indefinites are existential quantifiers. (ii') Anaphoric pronouns are semantically equivalent to (possibly complex) definite descriptions. (iii'.) Quantificational determiners, frequency adverbs, and the hidden operator of generality in conditionals bind just one variable each-. (iv') There is no need for default existential generalization of free variables. (i'), (iii'), and (iv') are, of course, just the standard assumptions from which (i), (iii), and (iv) departed. For the sake of brevity, I will refer to Kamp and Heim's proposal and variants thereof as 'DRT analyses', and to Evans's, Cooper's, and similar proposals as 'E-Type analyses'. ('DRT' abbreviates 'Discourse Represent- ation Theory'; the term 'E-Type' is loosely borrowed from Evans.) Let me caution, however, against unintended interpretations of these labels, especially the first one.
    [Show full text]
  • Interpreting Questions with Non-Exhaustive Answers
    Interpreting Questions with Non-exhaustive Answers A dissertation presented by Yimei Xiang to The Department of Linguistics in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the subject of Linguistics Harvard University Cambridge, Massachusetts May 2016 © 2016 – Yimei Xiang All rights reserved. iii Dissertation Advisor: Prof. Gennaro Chierchia Yimei Xiang Interpreting Questions with Non-exhaustive Answers Abstract This dissertation investigates the semantics of questions, with a focus on phenomena that challenge the standard views of the related core issues, as well as those that are technically difficult to capture under standard compositional semantics. It begins by re-examining several fundamental issues, such as what a question denotes, how a question is composed, and what a wh-item denotes. It then tackles questions with complex structures, including mention-some questions, multi-wh questions, and questions with quantifiers. It also explores several popular issues, such as variations of exhaustivity, sensitivity to false answers, and quantificational variability effects. Chapter 1 discusses some fundamental issues on question semantics. I pursue a hybrid categorial approach and define question roots as topical properties, which can supply propositional answers as well as nominal short answers. But different from traditional categorial approaches, I treat wh- items as existential quantifiers, which can be shifted into domain restrictors via a BeDom-operator. Moreover, I argue that the live-on set of a plural or number-neutral wh-item is polymorphic: it consists of not only individuals but also generalized conjunctions and disjunctions. Chapter 2 and 3 are centered on mention-some questions. Showing that the availability of mention-some should be grammatically restricted, I attribute the mention-some/mention-all ambi- guity of 3-questions to structural variations within the question nucleus.
    [Show full text]
  • Discourse Representation Theory 1090
    Discourse Representation Theory 1090 Jan van Eijck CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands OTS, Trans 10, 3512 JK Utrecht, The Ne therlands February 15, 2005 Abstract Discourse Representation Theory is a specific name for the work of Hans Kamp in the area of dynamic interpretation of natural language. Also, it has gradually become a generic term for proposals for dynamic interpretation of natural language in the same spirit. These proposals have in common that each new sentence is interpreted in terms of the contribution it makes to an existing piece of interpreted discourse. The interpretation conditions for sentences are given as instructions for updat- ing the representation of the discourse. This article first introduces the problem that discourse representation theory, in its specific sense, sets out to solve. Then the basic ideas of the theory are listed, various extensions of the basic theory are discussed, the relation to partial interpretation of language is sketched, and proof theory for discourse representation structures is presented. The paper ends with a brief account of the use of ‘unresolved’ discourse representation structures for the representation of ambiguities. 1 The Problem of Unbound Anaphora The most straightforward way to establish links between anaphoric pronouns and their antecedents is to translate the pronouns as variables bound by their antecedents. This approach does not work when the link crosses a sentence boundary, as in example (1). A man1 met an attractive woman2. He1 smiled at her2. (1) It should be possible to interpret the first sentence of this discourse as soon as it is uttered, and then later on, while processing the second sentence, establish the links between the pronouns and their intended antecedents.
    [Show full text]
  • A DRT Tutorial
    A DRT Tutorial Hans Kamp University of Stuttgart University of Texas, Austin Kamp (Uni-Stuttgart) DRT. Irvine 2019 27-03 2018 1 / 281 The beginnings of Formal Semantics: Montague (Thomason (1974) Montague's project: Give mathematically precise definitions of the semantic values that expressions from some natural language fragment NL take in the models for NL. The semantic value of an expression α in a model M is directly computed from the syntactic structure of α (according to the chosen syntax for NL. The computation is strictly compositional: The semantic value of a syntactically complex expression is always a function of the semantic values of its immediate syntactic constituents. Kamp (Uni-Stuttgart) DRT. Irvine 2019 27-03 2018 2 / 281 Montague Grammar Montague: Natural languages are just like the artificial languages of formal logic (such as the Predicate Calculus or the Typed Lambda Calculus). Montague Grammar has been immensely influential. A very large amount of work has been done in it on the semantics of many natural languages and continues to be done today. Kamp (Uni-Stuttgart) DRT. Irvine 2019 27-03 2018 3 / 281 Discourse Representation Theory Discourse Representation Theory (DRT, Kamp (1981b), Kamp (1981a), Kamp and Reyle (1993), Kamp et al. (2011), Beaver et al. (2015)) was developed as an alternative to Montague Grammar. DRT differs from Montague Grammar in two fundamental respects: DRT is a theory of multi-sentence discourse (and not just of single sentences) DRT is a logical form theory: Expressions α from the given natural language NL are assigned logical forms/semantic representations Kα from a logical form formalism.
    [Show full text]
  • Forks in the Road to Rule I
    Forks in the Road to Rule I The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation Heim, Irene. "Forks in the Road to Rule I." in NELS 38 : Proceedings of the Thirty-Eigth Annual meeting of the North East Linguistic Society, M. Abdurrahman, A. Schardl, M. Walkow (eds.), University of Ottawa, Oct. 26-28, 2007. As Published http://aix1.uottawa.ca/~nels38/PROGRAM.pdf Publisher Dept. of Linguistics, South College, University of Massachusetts Version Author's final manuscript Citable link http://hdl.handle.net/1721.1/71811 Terms of Use Creative Commons Attribution-Noncommercial-Share Alike 3.0 Detailed Terms http://creativecommons.org/licenses/by-nc-sa/3.0/ Forks in the Road to Rule I* Irene Heim Massachusetts Institute of Technology 1. Introduction Tanya Reinhart pioneered and developed a new and very influential approach to the syntax and semantics of anaphora. It originated in Reinhart (1983a, b) and underwent various later modifications, e.g., Grodzinsky & Reinhart (1993), Heim (1993), Fox (1998, 2000), Reinhart (2000, 2006), Büring (2005). The central innovation concerned the architecture of the theory. The labor traditionally assigned to Binding Theory was broken up into two very different modules. One component (the “real” Binding Theory, if you will) regulates only one type of anaphoric relation, namely variable binding in the sense of logic. A new and different mechanism, variously thought of as a pragmatic principle, an economy constraint, and an interface rule, takes care of regulating other semantic relations, particularly coreference. The latter mechanism crucially involves the construction and comparison of alternative Logical Forms and their meanings.
    [Show full text]