{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T19:41:02Z","timestamp":1706038862795},"reference-count":33,"publisher":"Association for Computing Machinery (ACM)","issue":"Suppl 1","license":[{"start":{"date-parts":[[1994,11,1]],"date-time":"1994-11-01T00:00:00Z","timestamp":783648000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1994,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.<\/jats:p>","DOI":"10.1007\/bf01213602","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T14:32:57Z","timestamp":1109341977000},"page":"766-787","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Presupposition failure \u2014 A comedy of errors"],"prefix":"10.1145","volume":"6","author":[{"given":"Jan","family":"van Eijck","sequence":"first","affiliation":[{"name":"CWI, P.O. Box 4079, 1009, AB Amsterdam, Netherlands"},{"name":"Onderzoeksinstituut voor Taal en Spraak (OTS), Utrecht, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","first-page":"1","volume-title":"Generalized Quantifiers: linguistic and logical approaches","author":"Barwise J.","year":"1987"},{"key":"e_1_2_1_2_2_2","unstructured":"Beaver D.I.: The kinematics of presupposition. In P. Dekker and M. Stokhof editors Proceedings of the Eighth Amsterdam Colloquium pp. 17\u201336. ILLC University of Amsterdam 1992."},{"key":"e_1_2_1_2_3_2","unstructured":"Beaver D.I.: What Comes First in Dynamic Semantics. PhD thesis University of Edinburgh 1993."},{"key":"e_1_2_1_2_4_2","first-page":"331","volume-title":"Logic Colloquium, Granada, 1987","author":"van Benthem J.","year":"1989"},{"key":"e_1_2_1_2_5_2","first-page":"159","article-title":"General dynamics","volume":"17","author":"van Benthem J.","year":"1991","journal-title":"Theoretical Linguistics"},{"key":"e_1_2_1_2_6_2","volume-title":"Studies in Logic 130","author":"van Benthem J.","year":"1991"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Bouchez O. van Eijck J. and Istace O.: A strategy for dynamic interpretation: a fragment and an implementation. In S. Krauwer M. Moortgat and Louis des Tombe editors Sixth Conference of the European Chapter of the Association for Computational Linguistics \u2014 Proceedings of the Conference pp. 61\u201370. ACL 1993.","DOI":"10.3115\/976744.976753"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1093\/jos\/10.3.239"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.7551\/mitpress\/4286.001.0001","volume-title":"Logic and Information Flow","author":"van Eijck J.","year":"1994"},{"key":"e_1_2_1_2_10_2","unstructured":"van Eijck J.: Presuppositions and dynamic logic. Technical Report CSLI-94-186 CSLI Stanford February 1994. To appear in M. Kanazawa C. Pi\u00f1on H. de Swart (eds.) Papers from the 2nd CSLI Workshop on Logic Language and Computation June 1993."},{"key":"e_1_2_1_2_11_2","first-page":"251","volume-title":"Dynamics, Polarity, and Quantification","author":"van Eijck J.","year":"1994"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00203385","article-title":"Dynamic interpretation and Hoare deduction","volume":"1","author":"van Eijck J.","year":"1992","journal-title":"Journal of Logic, Language, and Information"},{"key":"e_1_2_1_2_13_2","volume-title":"Technical Report CS-R9312","author":"van Eijck J.","year":"1993"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"Gazdar G.: A solution to the projection problem. In C.-K. Oh and D. Dinneen editors Syntax and Semantics 11: Presupposition pp. 57\u201389. Academic Press 1979.","DOI":"10.1163\/9789004368880_003"},{"key":"e_1_2_1_2_15_2","volume-title":"CSLI Lecture Notes","author":"Goldblatt R.","year":"1992"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00628304"},{"key":"e_1_2_1_2_17_2","first-page":"114","article-title":"On the projection problem for presuppositions","volume":"2","author":"Heim I.","year":"1983","journal-title":"Proceedings of the West Coast Conference on Formal Linguistics"},{"key":"e_1_2_1_2_18_2","first-page":"169","article-title":"Presuppositions of compound sentences","volume":"4","author":"Karttunen L.","year":"1973","journal-title":"Linguistic Inquiry"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"crossref","unstructured":"Karttunen L.: Presupposition and linguistic context. Theoretical Linguistics pp. 181\u2013194 1974.","DOI":"10.1515\/thli.1974.1.1-3.181"},{"key":"e_1_2_1_2_20_2","doi-asserted-by":"crossref","unstructured":"Karttunen L. and Peters S.: Conventional implicature. In C.-K. Oh and D. Dinneen editors Syntax and Semantics 11: Presupposition pp. 1\u201356. Academic Press 1979.","DOI":"10.1163\/9789004368880_002"},{"key":"e_1_2_1_2_21_2","first-page":"391","volume-title":"Partiality and dynamics; theory and application","author":"Krahmer E.","year":"1994"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00258436"},{"key":"e_1_2_1_2_23_2","unstructured":"Muskens R.: Anaphora and the logic of change. In J. van Eijck editor Logics in AI \/ European Workshop JELIA '90 \/ Amsterdam The Netherlands September 1990 \/ Proceedings Lecture Notes in Artificial Intelligence 478 pp. 412\u2013427. Springer Verlag 1991."},{"key":"e_1_2_1_2_24_2","unstructured":"Peters S.: A truth-conditional formulation of Karttunen's account of presupposition. Texas Linguistic Forum pp. 137\u2013149 1977."},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"Pratt V.: Semantical considerations on Floyd-Hoare logic. Proceedings 17th IEEE Symposium on Foundations of Computer Science pp. 109\u2013121 1976.","DOI":"10.1109\/SFCS.1976.27"},{"key":"e_1_2_1_2_26_2","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/XIV.4.479"},{"key":"e_1_2_1_2_27_2","volume-title":"Context and Presupposition","author":"van der Sandt R.A.","year":"1988"},{"key":"e_1_2_1_2_28_2","first-page":"286","volume-title":"Semantics, An International Handbook of Contemporary Research","author":"Seuren P.","year":"1991"},{"key":"e_1_2_1_2_29_2","doi-asserted-by":"crossref","unstructured":"Soames S.: Presupposition. In D. Gabbay and F. Guenthner editors Handbook of Philosophical Logic pp. 553\u2013616. Reidel 1984. Volume IV.","DOI":"10.1007\/978-94-009-1171-0_9"},{"key":"e_1_2_1_2_30_2","unstructured":"Tucker J.V. and Zucker J.I.: Program Correctness over Abstract Data Types with Error State Semantics. North Holland 1988."},{"key":"e_1_2_1_2_31_2","unstructured":"Veltman F.: Defaults in update semantics. Technical report Department of Philosophy University of Amsterdam 1991. To appear in the Journal of Philosophical Logic ."},{"key":"e_1_2_1_2_32_2","doi-asserted-by":"crossref","unstructured":"Visser A.: Actions under presuppositions. In J. van Eijck and A. Visser editors Logic and Information Flow pp. 196\u2013233. MIT Press 1994.","DOI":"10.7551\/mitpress\/4286.003.0014"},{"issue":"4","key":"e_1_2_1_2_33_2","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1093\/jos\/9.4.379","article-title":"Presupposition and accommodation in update semantics","volume":"9","author":"Zeevat H.","year":"1992","journal-title":"Journal of Semantics"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01213602.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01213602\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01213602","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T19:18:43Z","timestamp":1706037523000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01213602"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,11]]},"references-count":33,"journal-issue":{"issue":"Suppl 1","published-print":{"date-parts":[[1994,11]]}},"alternative-id":["10.1007\/BF01213602"],"URL":"https:\/\/doi.org\/10.1007\/bf01213602","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,11]]}}}