Presupposition and Assertion in Dynamic Semantics

Part I. Theories of Presupposition: 1. Introduction 2. Presuppositions and how to spot them 3. Multivalence and partiality 4. Cancellation and filtering 5. Dynamic semantics 6. Accommodation Part II. A Dynamic Account: 7. Two birds and one stone 8. A bit like English 9. Presupposition and modality in ABLE 10. Let's get real! 11. Connections and directions 12. Conclusions.

[1]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[2]  G. Frege Über Sinn und Bedeutung , 1892 .

[3]  B. Russell,et al.  Principia Mathematica Vol. I , 1910 .

[4]  Donald Yau,et al.  Categories , 2021, 2-Dimensional Categories.

[5]  Pope d. John Xxi,et al.  The Summulae logicales of Peter of Spain , 1945 .

[6]  Hans Reichenbach,et al.  Elements of symbolic logic , 1948 .

[7]  N. Malcolm On Knowledge and Belief , 1954 .

[8]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[9]  B. Russell MR. STRAWSON ON REFERRING , 1957 .

[10]  Charles E. Caton STRAWSON ON REFERRING , 1959 .

[11]  Jack Kaminsky,et al.  Reference And Generality , 1962 .

[12]  M. Halliday NOTES ON TRANSITIVITY AND THEME IN ENGLISH. PART 2 , 1967 .

[13]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[14]  Lauri Karttunen,et al.  Discourse Referents , 1969, COLING.

[15]  Charles J. Fillmore,et al.  Types of Lexical Information , 1969 .

[16]  Charles J. Fillmore,et al.  Verbs of judging: An exercise in semantic description , 1969 .

[17]  Noam Chomsky,et al.  Deep structure, surface structure, and semantic interpretation , 1969 .

[18]  H. Savin,et al.  The projection problem for presuppositions , 1971 .

[19]  Leon A. Jakobovits,et al.  Semantics: An Interdisciplinary Reader in Philosophy, Linguistics and Psychology , 1971 .

[20]  Lauri Karttunen,et al.  Some observations on factivity , 1971 .

[21]  Richmond H. Thomason,et al.  A semantic theory of sortal incorrectness , 1972, J. Philos. Log..

[22]  Robert Stalnaker Presuppositions , 1973, J. Philos. Log..

[23]  Max J. Cresswell,et al.  Logics and languages , 1973 .

[24]  Hans G. Herzberger,et al.  Dimensions of truth , 1973, J. Philos. Log..

[25]  Richard Montague,et al.  The Proper Treatment of Quantification in Ordinary English , 1973 .

[26]  P. Sgall,et al.  Topic, focus and generative semantics , 1973 .

[27]  LAURI KARTTUNEN,et al.  PRESUPPOSITION AND LINGUISTIC CONTEXT , 1974 .

[28]  Herbert H. Clark,et al.  Bridging , 1975, TINLAP.

[29]  Franz Von Kutschera Formal semantics of Natural Language: Partial interpretations , 1975 .

[30]  Daniel Gallin,et al.  Intensional and Higher-Order Modal Logic , 1975 .

[31]  Ruth Kempson,et al.  Presupposition and the delimitation of semantics , 1975 .

[32]  R. Hausser,et al.  PRESUPPOSITIONS IN MONTAGUE GRAMMAR , 1976 .

[33]  Steven E. Boër,et al.  The Myth of Semantic Presupposition , 1976 .

[34]  E. DeLaCruz FACTIVES AND PROPOSITION LEVEL CONSTRUCTIONS IN MONTAGUE GRAMMAR , 1976 .

[35]  G. Evans Pronouns, Quantifiers, and Relative Clauses (l) , 1977, Canadian Journal of Philosophy.

[36]  Jay David Atlas,et al.  Negation, ambiguity, and presupposition , 1977 .

[37]  R. L. V. Hale,et al.  PRESUPPOSITIONS AND NON-TRUTH-CONDITIONAL SEMANTICS , 1977 .

[38]  John N. Martin,et al.  An axiomatization of Herzberger's 2-dimensional presuppositional semantics , 1977, Notre Dame J. Formal Log..

[39]  L. Karttunen,et al.  Requiem for Presupposition , 1977 .

[40]  G. Rota Presupposition and non-truth-conditional semantics: D. Wilson, Academic Press, 1975, 161 pp. , 1977 .

[41]  Richard Zuber Decomposition of Factives , 1977 .

[42]  Ulrich Blau,et al.  Die dreiwertige Logik der Sprache : ihre Syntax, Semantik und Anwendung in der Sprachanalyse , 1978 .

[43]  Gerald Gazdar,et al.  Pragmatics: Implicature, Presupposition, and Logical Form , 1978 .

[44]  Gerald Gazdar,et al.  A solution to the projection problem , 1979 .

[45]  David Lewis,et al.  Scorekeeping in a language game , 1979, J. Philos. Log..

[46]  S. K. Thomason Truth-Value Gaps, Many Truth Values, and Possible Worlds , 1979 .

[47]  J. McCawley Presupposition and discourse structure , 1979 .

[48]  Bernard Harrison,et al.  Reference and Generality , 1979 .

[49]  Deirdre Wilson,et al.  Ordered Entailments: An Alternative to Presuppositional Theories , 1979 .

[50]  John N. Martin Some misconceptions in the critique of semantic presupposition , 1979 .

[51]  Presupposition, Opacity, and Ambiguity , 1979 .

[52]  Saul A. Kripke,et al.  Naming and Necessity , 1980 .

[53]  J. Dinsmore Towards a unified theory of presupposition , 1981 .

[54]  Merrie Bergmann,et al.  Presupposition and two-dimensional logic , 1981, J. Philos. Log..

[55]  J. Atlas,et al.  It-clefts, informativeness and logical form: Radical pragmatics (revised standard version) , 1981 .

[56]  Merrie Bergmann,et al.  On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus , 1981 .

[57]  T. Reinhart Pragmatics and Linguistics: an analysis of Sentence Topics , 1981, Philosophica.

[58]  Takao Gunji Toward a computational theory of pragmatics--discourse, presupposition, and implicature , 1981 .

[59]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[60]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[61]  Kontekst en presuppositie: een studie van het projektieprobleem en de presuppositionele eigenschappen van de logische konnektieven , 1982 .

[62]  Robin Cooper,et al.  Quantification and Syntactic Theory , 1983 .

[63]  F. D. Jong,et al.  Generalized Quantifiers: the Properness of their Strength , 1984 .

[64]  Jeroen Groenendijk,et al.  On the semantics of questions and the pragmatics of answers , 1984 .

[65]  吴道平 Everything That Linguists Have Always Wanted to Know About Logic But Were Ashamed to Ask , 1985 .

[66]  Laurence R. Horn Metalinguistic Negation and Pragmatic Ambiguity , 1985 .

[67]  Gilles Fauconnier,et al.  Mental Spaces: Aspects of Meaning Construction in Natural Language , 1985 .

[68]  Godehard Link Chapter 6. Prespie in Pragmatic Wonderland or: The Projection Problem for Presuppositions Revisited , 1986 .

[69]  Ellen F. Prince,et al.  On the Syntactic Marking of Presupposed Open Propositions , 1986 .

[70]  F.J.M.M. Veltman Data semantics and the pragmatics of indicative conditionals , 1986 .

[71]  Jon Barwise,et al.  Noun Phrases, Generalized Quantifiers And Anaphora , 1986 .

[72]  T. M. V. Janssen,et al.  Foundations and applications of Montague grammar , 1986 .

[73]  Mats Rooth Noun Phrase Interpretation in Montague Grammar, File Change Semantics, and Situation Semantics , 1987 .

[74]  Robert E. Mercer,et al.  A Default Logic Approach to the Derivation of Natural Language Presuppositions , 1987 .

[75]  Lexical meaning and presupposition , 1988 .

[76]  Pieter A. M. Seuren Presupposition and Negation , 1988, J. Semant..

[77]  Mark Steedman,et al.  Temporal Ontology and Temporal Reference , 1988, CL.

[78]  Rob A. von der Sandt Context and presupposition , 1988 .

[79]  Remko Scha,et al.  Multi-Level Plurals and Distributivity , 1988, ACL.

[80]  Diane Horton,et al.  Presuppositions as beliefs , 1988, COLING.

[81]  Lenhart K. Schubert,et al.  Generically Speaking, or, Using Discourse Representation Theory to Interpret Generics , 1989 .

[82]  Noel Burton-Roberts,et al.  On Horn's dilemma: presupposition and negation , 1989, Journal of Linguistics.

[83]  N. Burton-Roberts Theories of presupposition , 1989, Journal of Linguistics.

[84]  Jay David Atlas,et al.  Philosophy without Ambiguity: A Logico-Linguistic Essay , 1989 .

[85]  N. Burton-Roberts Trivalence, gapped bivalence, and ambiguity of negation: a reply to Seuren , 1990, Journal of Linguistics.

[86]  Jeroen Groenendijk,et al.  Two Theories of Dynamic Semantics , 1991, JELIA.

[87]  Pieter A. M. Seuren Burton-Roberts on presupposition and negation , 1990, Journal of Linguistics.

[88]  [Review of the book The limits to debate: A revised theory of presupposition by N. Burton-Roberts] , 1990 .

[89]  Craige Roberts,et al.  Modal subordination, anaphora, and distributivity , 1990 .

[90]  Laurence R. Horn Showdown at Truth-Value Gap: Burton-Roberts on presupposition , 1990, Journal of Linguistics.

[91]  Reinhard Muskens,et al.  Anaphora and the Logic of Change , 1990, JELIA.

[92]  Jeroen Groenendijk,et al.  Dynamic Montague grammar , 1990 .

[93]  J. Delin,et al.  Cleft constructions in discourse. , 1990 .

[94]  Bart Geurts,et al.  Presupposition, Anaphora, and Lexical Content , 1991, Text Understanding in LILOG.

[95]  Alexis Kalokerinos A natural history of negation , 1991 .

[96]  Arnim von Stechow,et al.  Semantik : ein internationales Handbuch der zeitgenössischen Forschung = Semantics : an international handbook of contemporary research , 1991 .

[97]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[98]  J. V. Kuppevelt,et al.  Topic en comment: expliciete en impliciete vraagstelling in discourse , 1991 .

[99]  Tomek Strzalkowski,et al.  From Discourse to Logic , 1991 .

[100]  N. Burton-Roberts The Limits to Debate: A Revised Theory of Semantic Presupposition , 1991 .

[101]  John Dinsmore Partitioned representations : a study in mental representation, language understanding and linguistic structure , 1991 .

[102]  E. Keenan Beyond the frege boundary , 1992 .

[103]  Rob A. van der Sandt,et al.  Presupposition Projection as Anaphora Resolution , 1992, J. Semant..

[104]  A. Avramides Studies in the Way of Words , 1992 .

[105]  Robert E. Mercer Default Logic: Towards a Common Logical Semantics for Presuppositions and Entailments , 1992, J. Semant..

[106]  Paul Kay,et al.  The inheritance of presuppositions , 1992 .

[107]  Irene Heim,et al.  Presupposition Projection and the Semantics of Attitude Verbs , 1992, J. Semant..

[108]  Gerd Wagner,et al.  Logics in AI , 1992, Lecture Notes in Computer Science.

[109]  K. Turner Defending semantic presupposition , 1992 .

[110]  Judy L. Delin,et al.  Properties of It-Cleft Presupposition , 1992, J. Semant..

[111]  Henk Zeevat,et al.  Presupposition and Accommodation in Update Semantics , 1992, J. Semant..

[112]  D.J.N. vanEijck,et al.  Dynamic modal predicate logic , 1992 .

[113]  Allan Ramsay Presuppositions and WH-clauses , 1992, J. Semant..

[114]  Gennaro Chierchia,et al.  Anaphora and dynamic binding , 1992 .

[115]  Sven Lorenz On the Role of Reasoning about Change in the Projection of Presuppositions , 1992, IWBS Report.

[116]  Walter Kasper,et al.  Presuppositions, Composition, and Simple Subjunctives , 1992, J. Semant..

[117]  Peter Lasersohn,et al.  Existence Presuppositions and Background Knowledge , 1993, J. Semant..

[118]  Jerry R. Hobbs,et al.  Interpretation as Abduction , 1993, Artif. Intell..

[119]  Nicholas Asher,et al.  Reference to abstract objects in discourse , 1993, Studies in linguistics and philosophy.

[120]  Jan van Eijck,et al.  The Dynamics of Description , 1993, J. Semant..

[121]  Frans Zwarts,et al.  Polarity, veridicality and temporal connectives , 1993 .

[122]  Manfred Krifka,et al.  Focus and Presupposition in Dynamic Interpretation , 1993, J. Semant..

[123]  Johan van der Auwera,et al.  ‘Already’ and ‘still’: Beyond duality , 1993 .

[124]  C. F. M. Vermeulen,et al.  Sequence semantics for dynamic predicate logic , 1993, J. Log. Lang. Inf..

[125]  D. Beaver The Kinematics of Presupposition , 1993 .

[126]  Paul Dekker,et al.  Transsentential meditations : ups and downs in dynamic semantics , 1993 .

[127]  HANS KAMP,et al.  DRS-CONSTRUCTION AND LEXICALLY DRIVEN INFERENCE , 1994 .

[128]  J. van Eijck Presuppositions and dynamic logic , 1994 .

[129]  Johan Bos,et al.  Presupposition as anaphora in the Verbmobil semantic formalism , 1994 .

[130]  David I. Beaver When Variables Don't Vary Enough , 1994 .

[131]  Marcus Kracht,et al.  Logic and control: how they determine the behaviour of presuppositions , 1994 .

[132]  Kai-Uwe Von Fintel,et al.  Restrictions on quantifier domains , 1994 .

[133]  ANTJE ROSSDEUTSCHER FAT CHILD MEETS DRT. A SEMANTIC REPRESENTATION FOR THE OPENING LINES OF KASCHNITZ’ “DAS DICKE KIND” , 1994 .

[134]  R. Muskens Meaning and Partiality , 1995 .

[135]  Daniel Marcu,et al.  A Formalism and an Algorithm for Computing Pragmatic Inferences and Detecting Infelicities , 1995, ArXiv.

[136]  David Ian Beaver,et al.  Presupposition and assertion in dynamic semantics : Part (I) The presupposition : a critical review of presupposition theory ; Part (II) The assertion : what comes first in dynamic semantics , 1995 .

[137]  Paul Buitelaar,et al.  Bridging as Coercive Accommodation , 1995, ArXiv.

[138]  E. Krahmer,et al.  Discourse and presupposition , 1995 .

[139]  T. Fernando Computational Foundations for Dynamic Accounts of Presuppositions , 1995 .

[140]  M. Morreau How To Derive Conveyed Meanings , 1995 .

[141]  Andreas Schöter The computational application of bilattice logic to natural reasoning , 1996 .

[142]  J. Groenendijk,et al.  Coreference and modality , 1996 .

[143]  Kjell Johan Saeboe Anaphoric presuppositions and zero anaphora , 1996 .

[144]  Andreas Schöter,et al.  Evidential bilattice logic and lexical inference , 1996, J. Log. Lang. Inf..

[145]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[146]  M. H. van den Berg,et al.  Some aspects of the internal structure of discourse. The dynamics of nominal anaphora , 1996 .

[147]  Johan van Benthem,et al.  Exploring logical dynamics , 1996, Studies in logic, language and information.

[148]  K. Fintel The Presupposition of Subjunctive Conditionals , 1997 .

[149]  Philip L. Peterson,et al.  On Representing Event Reference , 1997 .

[150]  P.J.E. Dekker,et al.  On first order information exchange , 1997 .

[151]  David I. Beaver,et al.  The Handbook of Logic and Language , 1997 .

[152]  Jeroen Groenendijk,et al.  Coreference and Modality in Multi-Speaker Discourse , 1997 .

[153]  Jeroen Groenendijk,et al.  Coreference and modality in the context of multi-speaker discourse , 1997 .

[154]  Irene Heim,et al.  Semantics in generative grammar , 1998 .

[155]  Sigrid Beck,et al.  Presupposition Projection and the Interpretation of 'which'-­Questions , 1998 .

[156]  P. Sgall,et al.  Topic-focus articulation, tripartite structures, and semantic content , 1998 .

[157]  Robert Stalnaker,et al.  On the Representation of Context , 1996, J. Log. Lang. Inf..

[158]  Emiel Krahmer,et al.  On the Interpretation of Anaphoric Noun Phrases: Towards a Full Understanding of Partial Matches , 1998, J. Semant..

[159]  Paul Dekker,et al.  Intentional Identity and Information Exchange , 1998 .

[160]  Luuk Lagerwerf,et al.  Causal connectives have presuppositions. Effects on coherence and discourse structure , 1998 .

[161]  Emiel Krahmer Presupposition and Anaphora , 1998 .

[162]  R. Sandt,et al.  Focus: Linguistic, Cognitive, and Computational Perspectives , 1999 .

[163]  M. de Rijke,et al.  Logic, language and computation, vol. 2 , 1999 .

[164]  木村 和夫 Pragmatics , 1997, Language Teaching.

[165]  Bart Geurts,et al.  Buoyancy and Strength , 2000, J. Semant..

[166]  Staffan Larsson,et al.  GoDiS- An Accommodating Dialogue System , 2000 .

[167]  Paul Piwek,et al.  Presuppositions in context : constructing bridges , 2000 .

[168]  David I. Beaver,et al.  Always and Only: Why Not All Focus-Sensitive Operators Are Alike , 2003 .

[169]  Emiel Krahmer,et al.  A Partial Account of Presupposition Projection , 2001, J. Log. Lang. Inf..

[170]  K. Fintel Would You Believe It? The King of France is Back! (Presuppositions and Truth-Value Intuitions) , 2001 .

[171]  Les Roberts An Infinite Number of Monkeys , 2001, Making Love to Roget's Wife.

[172]  Laurence R. Horn,et al.  Definiteness and Indefiniteness * , 2001 .

[173]  David Beaver Accommodating Topics , 2002, Context-Dependence in the Analysis of Linguistic Meaning.

[174]  Barbara H. Partee,et al.  Context-Dependence in the Analysis of Linguistic Meaning , 2002 .

[175]  A. ADoefaa,et al.  ? ? ? ? f ? ? ? ? ? , 2003 .

[176]  Jae-Il Yeom,et al.  On Presupposition Projection , 2003 .

[177]  I. H. Fichte,et al.  Zeitschrift für Philosophie und philosophische Kritik , 2022 .

[178]  David Beaver Pragmatics , and That ’ s an Order , 2022 .