A Multi-Modal Analysis of Anaphora and Ellipsis
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Minimal Pronouns, Logophoricity and Long-Distance Reflexivisation in Avar
Minimal pronouns, logophoricity and long-distance reflexivisation in Avar* Pavel Rudnev Revised version; 28th January 2015 Abstract This paper discusses two morphologically related anaphoric pronouns inAvar (Avar-Andic, Nakh-Daghestanian) and proposes that one of them should be treated as a minimal pronoun that receives its interpretation from a λ-operator situated on a phasal head whereas the other is a logophoric pro- noun denoting the author of the reported event. Keywords: reflexivity, logophoricity, binding, syntax, semantics, Avar 1 Introduction This paper has two aims. One is to make a descriptive contribution to the crosslin- guistic study of long-distance anaphoric dependencies by presenting an overview of the properties of two kinds of reflexive pronoun in Avar, a Nakh-Daghestanian language spoken natively by about 700,000 people mostly living in the North East Caucasian republic of Daghestan in the Russian Federation. The other goal is to highlight the relevance of the newly introduced data from an understudied lan- guage to the theoretical debate on the nature of reflexivity, long-distance anaphora and logophoricity. The issue at the heart of this paper is the unusual character of theanaphoric system in Avar, which is tripartite. (1) is intended as just a preview with more *The present material was presented at the Utrecht workshop The World of Reflexives in August 2011. I am grateful to the workshop’s audience and participants for their questions and comments. I am indebted to Eric Reuland and an anonymous reviewer for providing valuable feedback on the first draft, as well as to Yakov Testelets for numerous discussions of anaphora-related issues inAvar spanning several years. -
Relative Clause Attachment and Anaphora: a Case for Short Binding
Relative Clause Attachment and Anaphora: A Case for Short Binding Rodolfo Delmonte Ca' Garzoni-Moro, San Marco 3417, Università "Ca Foscari", 30124 - VENEZIA E-mail: [email protected] Abstract Relative clause attachment may be triggered by binding requirements imposed by a short anaphor contained within the relative clause itself: in case more than one possible attachment site is available in the previous structure, and the relative clause itself is extraposed, a conflict may arise as to the appropriate s/c-structure which is licenced by grammatical constraints but fails when the binding module tries to satisfy the short anaphora local search for a bindee. 1 Introduction It is usually the case that anaphoric and pronominal binding take place after the structure building phase has been successfully completed. In this sense, c-structure and f-structure in the LFG framework - or s-structure in the chomskian one - are a prerequisite for the carrying out of binding processes. In addition, they only interact in a feeding relation since binding would not be possibly activated without a complete structure to search, and there is no possible reversal of interaction, from Binding back into s/c-structure level seen that they belong to two separate Modules of the Grammar. As such they contribute to each separate level of representation with separate rules, principles and constraints which need to be satisfied within each Module in order for the structure to be licensed for the following one. However we show that anaphoric binding requirements may cause the parser to fail because the structure is inadequate. We propose a solution to this conflict by anticipating, for anaphors only the though, the agreement matching operations between binder and bindee and leaving the coindexation to the following module. -
Antar Solhy Abdellah Publication Date: 2007 Source: CDELT (Centre for Developing English Language Teaching) Occasional Papers, January (2007) [Egypt]
Title: “English Majors’ errors in translating Arabic Endophora; Analysis and Remedy” Author: Antar Solhy Abdellah Publication date: 2007 Source: CDELT (Centre for Developing English Language Teaching) Occasional Papers, January (2007) [Egypt]. ENGLISH MAJORS' ERRORS IN TRANSLATING ARABIC ENDOPHORA: ANALYSIS AND REMEDY Antar Solhy Abdellah Lecturer in TEFL Qena Faculty of Education, South Valley University- Egypt Abstract Egyptian English majors in the faculty of Education, South Valley university tend to mistranslate the plural inanimate Arabic pronoun with the singular inanimate English pronoun. A diagnostic test was designed to analyze this error. Results showed that a large number of students (first year and fourth year students) make this error, that the error becomes more common if the pronoun is cataphori rather than anaphori, and that the further the pronoun is from its antecedent the more students are apt to make the error. On the basis of these results, sources of the error are identified and remedial procedures are suggested. Abstract in Arabic تقوم الدراسة الحالية بتحليل أخطاء طﻻب شعبة اللغة اﻹنجليزية )الفرقة اﻷولى والرابعة( في ترجمة ضمير جمع غير العاقل من العربية إلى اﻹنجليزية؛حيث يميل الطﻻب إلى استخدام ضمير غير العاقل المفرد في اﻹنجليزية بدﻻ من ضمير الجمع. تستخدم الدراسة اختبارا تشخيصيا يسعى للكشف عن نسبة شيوع الخطأ ومن ثم تحليله. أظهرت النتائج أن عددا كبيرا من طﻻب الفرقتين يرتكبون هذا الخطأ، وأن الخطأ يزداد إذا كان الضمير في موضع المتقدم أكثر مما إذا كان في موضع المتأخر، وأن الخطأ يزداد كلما بعد الضمير عن عائده. ثم تناولت الدراسة تحليﻻ لمصدر الخطأ وقدمت مقترحات لعﻻجه. INTRODUCTION 62 Students whose major is English in faculties of Education are faced with translation problems from the very start of their study. -
Inalienable Possession in Swedish and Danish – a Diachronic Perspective 27
FOLIA SCANDINAVICA VOL. 23 POZNAŃ 20 17 DOI: 10.1515/fsp - 2017 - 000 5 INALIENABLE POSSESSI ON IN SWEDISH AND DANISH – A DIACHRONIC PERSP ECTIVE 1 A LICJA P IOTROWSKA D OMINIKA S KRZYPEK Adam Mickiewicz University in Poznań A BSTRACT . In this paper we discuss the alienability splits in two Mainland Scandinavian language s, Swedish and Danish, in a diachronic context. Although it is not universally acknowledged that such splits exist in modern Scandinavian languages, many nouns typically included in inalienable structures such as kinship terms, body part nouns and nouns de scribing culturally important items show different behaviour from those considered alienable. The differences involve the use of (reflexive) possessive pronouns vs. the definite article, which differentiates the Scandinavian languages from e.g. English. As the definite article is a relatively new arrival in the Scandinavian languages, we look at when the modern pattern could have evolved by a close examination of possessive structures with potential inalienables in Old Swedish and Old Danish. Our results re veal that to begin with, inalienables are usually bare nouns and come to be marked with the definite article in the course of its grammaticalization. 1. INTRODUCTION One of the striking differences between the North Germanic languages Swedish and Danish on the one hand and English on the other is the possibility to use definite forms of nouns without a realized possessive in inalienable possession constructions. Consider the following examples: 1 The work on this paper was funded by the grant Diachrony of article systems in Scandi - navian languages , UMO - 2015/19/B/HS2/00143, from the National Science Centre, Poland. -
Reasoning with Ambiguity
Noname manuscript No. (will be inserted by the editor) Reasoning with Ambiguity Christian Wurm the date of receipt and acceptance should be inserted later Abstract We treat the problem of reasoning with ambiguous propositions. Even though ambiguity is obviously problematic for reasoning, it is no less ob- vious that ambiguous propositions entail other propositions (both ambiguous and unambiguous), and are entailed by other propositions. This article gives a formal analysis of the underlying mechanisms, both from an algebraic and a logical point of view. The main result can be summarized as follows: sound (and complete) reasoning with ambiguity requires a distinction between equivalence on the one and congruence on the other side: the fact that α entails β does not imply β can be substituted for α in all contexts preserving truth. With- out this distinction, we will always run into paradoxical results. We present the (cut-free) sequent calculus ALcf , which we conjecture implements sound and complete propositional reasoning with ambiguity, and provide it with a language-theoretic semantics, where letters represent unambiguous meanings and concatenation represents ambiguity. Keywords Ambiguity, reasoning, proof theory, algebra, Computational Linguistics Acknowledgements Thanks to Timm Lichte, Roland Eibers, Roussanka Loukanova and Gerhard Schurz for helpful discussions; also I want to thank two anonymous reviewers for their many excellent remarks! 1 Introduction This article gives an extensive treatment of reasoning with ambiguity, more precisely with ambiguous propositions. We approach the problem from an Universit¨atD¨usseldorf,Germany Universit¨atsstr.1 40225 D¨usseldorf Germany E-mail: [email protected] 2 Christian Wurm algebraic and a logical perspective and show some interesting surprising results on both ends, which lead up to some interesting philosophical questions, which we address in a preliminary fashion. -
A Computer-Verified Monadic Functional Implementation of the Integral
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Theoretical Computer Science 411 (2010) 3386–3402 Contents lists available at ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs A computer-verified monadic functional implementation of the integral Russell O'Connor, Bas Spitters ∗ Radboud University Nijmegen, Netherlands article info a b s t r a c t Article history: We provide a computer-verified exact monadic functional implementation of the Riemann Received 10 September 2008 integral in type theory. Together with previous work by O'Connor, this may be seen as Received in revised form 13 January 2010 the beginning of the realization of Bishop's vision to use constructive mathematics as a Accepted 23 May 2010 programming language for exact analysis. Communicated by G.D. Plotkin ' 2010 Elsevier B.V. All rights reserved. Keywords: Type theory Functional programming Exact real analysis Monads 1. Introduction Integration is one of the fundamental techniques in numerical computation. However, its implementation using floating- point numbers requires continuous effort on the part of the user in order to ensure that the results are correct. This burden can be shifted away from the end-user by providing a library of exact analysis in which the computer handles the error estimates. For high assurance we use computer-verified proofs that the implementation is actually correct; see [21] for an overview. It has long been suggested that, by using constructive mathematics, exact analysis and provable correctness can be unified [7,8]. Constructive mathematics provides a high-level framework for specifying computations (Section 2.1). -
Edinburgh Research Explorer
Edinburgh Research Explorer Propositions as Types Citation for published version: Wadler, P 2015, 'Propositions as Types', Communications of the ACM, vol. 58, no. 12, pp. 75-84. https://doi.org/10.1145/2699407 Digital Object Identifier (DOI): 10.1145/2699407 Link: Link to publication record in Edinburgh Research Explorer Document Version: Peer reviewed version Published In: Communications of the ACM General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edinburgh Research Explorer content complies with UK legislation. If you believe that the public display of this file breaches copyright please contact [email protected] providing details, and we will remove access to the work immediately and investigate your claim. Download date: 28. Sep. 2021 Propositions as Types ∗ Philip Wadler University of Edinburgh [email protected] 1. Introduction cluding Agda, Automath, Coq, Epigram, F#,F?, Haskell, LF, ML, Powerful insights arise from linking two fields of study previously NuPRL, Scala, Singularity, and Trellys. thought separate. Examples include Descartes’s coordinates, which Propositions as Types is a notion with mystery. Why should it links geometry to algebra, Planck’s Quantum Theory, which links be the case that intuitionistic natural deduction, as developed by particles to waves, and Shannon’s Information Theory, which links Gentzen in the 1930s, and simply-typed lambda calculus, as devel- thermodynamics to communication. -
Topics in Philosophical Logic
Topics in Philosophical Logic The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation Litland, Jon. 2012. Topics in Philosophical Logic. Doctoral dissertation, Harvard University. Citable link http://nrs.harvard.edu/urn-3:HUL.InstRepos:9527318 Terms of Use This article was downloaded from Harvard University’s DASH repository, and is made available under the terms and conditions applicable to Other Posted Material, as set forth at http:// nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of- use#LAA © Jon Litland All rights reserved. Warren Goldfarb Jon Litland Topics in Philosophical Logic Abstract In “Proof-Theoretic Justification of Logic”, building on work by Dummett and Prawitz, I show how to construct use-based meaning-theories for the logical constants. The assertability-conditional meaning-theory takes the meaning of the logical constants to be given by their introduction rules; the consequence-conditional meaning-theory takes the meaning of the log- ical constants to be given by their elimination rules. I then consider the question: given a set of introduction (elimination) rules , what are the R strongest elimination (introduction) rules that are validated by an assertabil- ity (consequence) conditional meaning-theory based on ? I prove that the R intuitionistic introduction (elimination) rules are the strongest rules that are validated by the intuitionistic elimination (introduction) rules. I then prove that intuitionistic logic is the strongest logic that can be given either an assertability-conditional or consequence-conditional meaning-theory. In “Grounding Grounding” I discuss the notion of grounding. My discus- sion revolves around the problem of iterated grounding-claims. -
Donkey Anaphora Is In-Scope Binding∗
Semantics & Pragmatics Volume 1, Article 1: 1–46, 2008 doi: 10.3765/sp.1.1 Donkey anaphora is in-scope binding∗ Chris Barker Chung-chieh Shan New York University Rutgers University Received 2008-01-06 = First Decision 2008-02-29 = Revised 2008-03-23 = Second Decision 2008-03-25 = Revised 2008-03-27 = Accepted 2008-03-27 = Published 2008- 06-09 Abstract We propose that the antecedent of a donkey pronoun takes scope over and binds the donkey pronoun, just like any other quantificational antecedent would bind a pronoun. We flesh out this idea in a grammar that compositionally derives the truth conditions of donkey sentences containing conditionals and relative clauses, including those involving modals and proportional quantifiers. For example, an indefinite in the antecedent of a conditional can bind a donkey pronoun in the consequent by taking scope over the entire conditional. Our grammar manages continuations using three independently motivated type-shifters, Lift, Lower, and Bind. Empirical support comes from donkey weak crossover (*He beats it if a farmer owns a donkey): in our system, a quantificational binder need not c-command a pronoun that it binds, but must be evaluated before it, so that donkey weak crossover is just a special case of weak crossover. We compare our approach to situation-based E-type pronoun analyses, as well as to dynamic accounts such as Dynamic Predicate Logic. A new ‘tower’ notation makes derivations considerably easier to follow and manipulate than some previous grammars based on continuations. Keywords: donkey anaphora, continuations, E-type pronoun, type-shifting, scope, quantification, binding, dynamic semantics, weak crossover, donkey pronoun, variable-free, direct compositionality, D-type pronoun, conditionals, situation se- mantics, c-command, dynamic predicate logic, donkey weak crossover ∗ Thanks to substantial input from Anna Chernilovskaya, Brady Clark, Paul Elbourne, Makoto Kanazawa, Chris Kennedy, Thomas Leu, Floris Roelofsen, Daniel Rothschild, Anna Szabolcsi, Eytan Zweig, and three anonymous referees. -
Arxiv:1805.11824V1 [Cs.CL] 30 May 2018
Artificial Intelligence Review manuscript No. (will be inserted by the editor) Anaphora and Coreference Resolution: A Review Rhea Sukthanker · Soujanya Poria · Erik Cambria · Ramkumar Thirunavukarasu Received: date / Accepted: date Abstract Entity resolution aims at resolving repeated references to an entity in a document and forms a core component of natural language processing (NLP) research. This field possesses immense potential to improve the performance of other NLP fields like machine translation, sentiment analysis, paraphrase detection, summarization, etc. The area of entity resolution in NLP has seen proliferation of research in two separate sub-areas namely: anaphora resolution and coreference resolution. Through this review article, we aim at clarifying the scope of these two tasks in entity resolution. We also carry out a detailed analysis of the datasets, evaluation metrics and research methods that have been adopted to tackle this NLP problem. This survey is motivated with the aim of providing the reader with a clear understanding of what constitutes this NLP problem and the issues that require attention. Keywords Entity Resolution · Coreference Resolution · Anaphora Resolution · Natural Language Processing · Sentiment Analysis · Deep Learning 1 Introduction A discourse is a collocated group of sentences which convey a clear understanding only when read together. The etymology of anaphora is ana (Greek for back) and pheri (Greek for to bear), which in simple terms means repetition. In computational linguistics, anaphora is typically defined as references to items mentioned earlier in the discourse or \pointing back" reference as described by (Mitkov, 1999). The most prevalent type of anaphora in natural language is the pronominal anaphora (Lappin and Leass, 1994). -
Donkey Sentences 763 Creating Its Institutions of Laws, Religion, and Learning
Donkey Sentences 763 creating its institutions of laws, religion, and learning. many uneducated speakers to restructure their plural, It was the establishment of viceroyalties, convents so that instead of the expected cotas ‘coasts’, with -s and a cathedral, two universities – the most notable denoting plurality, they have created a new plural being Santo Toma´s de Aquino – and the flourishing of with -se,asinco´ tase. arts and literature during the 16th and early 17th Dominican syntax tends to prepose pronouns in century that earned Hispaniola the title of ‘Athena interrogative questions. As an alternative to the stan- of the New World.’ The Spanish language permeated dard que´ quieres tu´ ? ‘what do you want?’, carrying an those institutions from which it spread, making obligatory, postverbal tu´ ‘you’, speakers say que´ tu´ Hispaniola the cradle of the Spanish spoken in the quieres?. The latter sentence further shows retention Americas. of pronouns, which most dialects may omit. Fre- Unlike the Spanish of Peru and Mexico, which quently found in Dominican is the repetition of dou- co-existed with native Amerindian languages, ble negatives for emphatic purposes, arguably of Dominican Spanish received little influence from the Haitian creole descent. In responding to ‘who did decimated Tainos, whose Arawak-based language that?’, many speakers will reply with a yo no se´ no disappeared, leaving a few recognizable words, such ‘I don’t know, no’. as maı´z ‘maize’ and barbacoa ‘barbecue’. The 17th Notwithstanding the numerous changes to its century saw the French challenge Spain’s hegemony grammatical system, and the continuous contact by occupying the western side of the island, which with the English of a large immigrant population they called Saint Domingue and later became the residing in the United States, Dominican Spanish has Republic of Haiti. -
The Bound Variable Hierarchy and Donkey Anaphora in Mandarin Chinese
The Bound Variable Hierarchy and Donkey Anaphora in Mandarin Chinese Haihua Pan and Yan Jiang City University of Hong Kong / London University Cheng and Huang (1996) argue that both unselective binding and E-type pro- noun strategies are necessary for the interpretation of natural language sentences and claim that there exists a correspondence between two sentence types in Chinese and the two strategies, namely that the interpretation of the “wh … wh” construction (which they call “bare conditional”) employs the unselective binding strategy, while the ruguo ‘if’ and dou ‘all’ conditionals use the E-type pronoun strategy. They also suggest that there is a complementary distribution between bare conditionals and ruguo/dou conditionals in the sense that the lat- ter allows all the NP forms, e.g. (empty) pronouns and definite NPs, except for wh-phrases in their consequent clauses, and can even have a consequent clause with no anaphoric NP in it, while the former permits only the same wh-phrase appearing in both the antecedent clause and the consequent clause. Although we agree with Cheng and Huang on the necessity of the two strategies in natural language interpretation, we see apparent exceptions to the correspondence between sentence types and interpretation strategies and the complementary distribution between wh-phrases and other NPs in bare conditionals and ruguo/dou conditionals. We think that the claimed correspondence and comple- mentary distribution are the default or preferred patterns, or a special case of a more general picture, namely that (i) bare conditionals prefer the unselective binding strategy and the ruguo ‘if’ and dou ‘all’ conditionals, the E-type pronoun strategy; and (ii) wh-phrases are more suitable for being a bound variable, and pronouns are more suitable for being the E-type pronoun.