To address complications involving ambiguity, presupposition and implicature, three processes underlying natural language interpretation are isolated: translation, entailment and attunement. A meta-language integrating these processes is outlined, elaborating on a proof-theoretic approach to presupposition. §

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

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

The paper argues that the modern school is an ‘intolerable’ institution.11 We refer to in Foucault’s sense of modernity as attitude and a power/knowledge regime. That is, form power developed since sixteenth century, drawing on expanding older technique ‘pastoral’ has it’s origins Christian institutions (Foucault, 1982 Foucault, M. (1982). subject power. Critical Inquiry, 8(4), 777–795.[Crossre...