Presupposition Projection and Accommodation in Mathematical Texts.
Marcos Cramer, Daniel Kühlwein, Bernhard Schröder · 2010
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. 1