I present a new observation with regard to the felicity of using even: There is no apparent focus/QUD congruence for even-sentences. For example, Even Mary came cannot be used answer question like who or was unlikely come. Instead, felicitous use address issues how successful exhibition was, enthusiastic people were, urgent matter etc. Thus propose that even QUD-sensitive, always contextually s...

Three components of determiner meanings – truth conditions, implicatures, and presuppositions – have been identified. One of the major findings in acquisition, related to the truth conditions of the quantifiers, has been that children go through at least two stages of non-adult interpretation of the quantifier every (Philip, 1995). More recently, researchers (Noveck, 2001; Gualmini et al., 2001...

Presupposition has long history in philosophy of language and linguistic semantics. Recent works linguistics have given a central place to the notion presupposition. It is studied as an essential aspect providing semantic well pragmatic representations. Resultantly, presupposition obtained significant linguists, logicians philosophers spheres interest. been kind unspoken information that accomp...

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

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