Presupposition Projection and Accommodation in Mathematical Texts
نویسندگان
چکیده
This paper discusses presuppositions in mathematical texts and describes how presupposition handling was implemented in the Naproche system for checking natural language mathematical proofs. Mathematical texts have special properties from a pragmatic point of view, since in a mathematical proof every new assertion is expected to logically follow from previously known material, whereas in most other texts one expects new assertions to add logically new information to the context. This pragmatic difference has its influence on how presuppositions can be projected and accommodated in mathematical texts. Nevertheless, the account of presupposition handling developed for the Naproche system turned out to have equivalent projection predictions to an existing account of presupposition projection.
منابع مشابه
Presuppositions, Projection, and Accommodation - Theoretical Issues and Experimental Approaches
1 Current Issues in Presupposition Theory 2 1.1 Basic Phenomena . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Semantics vs. Pragmatics and Explanatory Challenges . . . . . . 5 1.2.1 The Triggering Problem . . . . . . . . . . . . . . . . . . . 6 1.2.2 The Projection Problem . . . . . . . . . . . . . . . . . . . 8 1.3 Distinguishing Types of Presupposition Triggers . . . . . . . . . 11
متن کاملImplementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection
Computational aspects of Van der Sandt’s binding and accommodation theory (BAT) for presupposition projection and anaphora resolution are presented and discussed in this article. BAT is reformulated to meet requirements for computational implementation, which include operations on discourse representation structures (renaming and merging), the representation of presuppositions (allowing for sel...
متن کاملPresupposition Projection Out of Quantified Sentences: Strengthening, Local Accommodation and Inter-speaker Variation
Presupposition projection in quantified sentences is at the center of debates in the presupposition literature. This paper reports on a survey revealing inter-speaker variation regarding which quantifier yields universal inferences—which Q in QpBqpλx.Cpxqppxqq supports the inference @x P B: ppxq. We observe an implication that if some yields a universal inference for a speaker, no, and any in a...
متن کاملA note on presupposition accommodation
The proviso problem arises for theories of presupposition whose projection component fails to derive certain presuppositions that are contributed by their constituent sentences. Mismatch-based satisfaction theories respond to the difficulty by tying the emergence of the proviso problem to presupposition accommodation. Consequently, when the context entails the projected presupposition and no ac...
متن کاملPRESUPPOSITION PROJECTION as PROOF CONSTRUCTION
Van der Sandt s anaphoric account of presupposition is gen erally considered to be the theory which makes the best empiri cal predictions about presupposition projection see e g Beaver The main insight is that there is an interesting cor respondence between the behavior of anaphoric pronouns in dis course and the projection of presuppositions in complex sentences Van der Sandt proposes to resol...
متن کامل