INTRODUCTION to DISCOURSE REPRESENTATION Hans Kamp
Total Page:16
File Type:pdf, Size:1020Kb
Load more
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. -
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. -
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. -
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. -
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. -
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 -
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 ..................................................................................................................... -
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. -
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. -
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. -
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. -
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.