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 o...

In this paper the satisfaction approach towards presuppositions is made more compatible with some empirical phenomena by assuming that (i) contexts should contain more information than they are usually said to contain, (ii) that the idea that contexts represent what the speaker is assuming for the sake of conversation should be taken more seriously than is usually done, and (iii) that not all p...

The ability to efficiently process presuppositions, which contain information that the speaker believes to be in the background to the conversation, is essential for effective communication. To get a deeper understanding of the nature and the time-course of temporal presupposition processing, we examined event-related potential evoked by the word again in two types of sentence contexts. The wor...

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...

In this paper, we study Verb-phrase Ellipsis (VPE) and show its relationship to presupposition and its failure. We represent VPE by means of a dynamic semantics approach, using an extended version of Dynamic Predicate Logic (Groenendijk and Stokhof, 1991) which includes local variables and procedures. We focus on the representation of the strict/sloppy ambiguity in connection with ellipsis cons...