In this paper we present our implementation of a system of active logic that processes natural language discourses. We focus on problems that involve presupposition and the associated well{known problems of the projection of presupposition. We discuss Heim's largely successful theory of presupposition and point out certain limitations. We then use these observations to build our discourse proce...

Abstract Testimony is a source of knowledge. A speaker asserts what hearer may therefore come to know. Assertion has widely been treated as the exclusive or at least paradigmatic vehicle for testimony. I argue that we testify not only by asserting something, but also taking something granted within some other utterance. In philosophy language, this called semantic presupposition. The very reaso...

The Context Change Potential Model of presuppositions, due to Heim, Kartunnen and Stalnaker, is examined in the light of recent work in dynamic semantics. It is shown that some phenomena concerning the interaction of presupposition and quantification, which had been thought troublesome for the Context Change Model, can be handled without invoking local or intermediate accommodation. A model of ...

Recent years have seen a surge of experimental approaches to the study of natural language meaning, both to get solid data on subtle phenomena hard to assess through introspection, and to understand how abstract characterizations of linguistic knowledge relate to real-time cognitive processes in language comprehension. The present paper reviews work in one of the most recent areas to see extens...