Presupposition projection as proof construction

Krahmer, Emiel and Piwek, Paul (1999). Presupposition projection as proof construction. In: Bunt, Harry and Muskens, Reinhard eds. Computing Meaning. Studies in Linguistics & Philosophy. Dordrecht: Kluwer Academic Publishers, pp. 281–300.

Full text available as:

Preview

PDF (Not Set) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader Download (877Kb)

Google Scholar:	Look up in Google Scholar

Abstract

Even though Van der Sandt's presuppositions as anaphora approach is empirically successful, it fails to give a formal account of the interaction between world-knowledge and presuppositions. In this paper, an algorithm is sketched which is based on the idea of presuppositions as anaphora. It improves on this approach by employing a deductive system, Constructive Type Theory (CTT), to get a formal handle on the way world-knowledge influences presupposition projection. In CTT, proofs for expressions are explicitly represented as objects. These objects can be seen as a generalization of DRT's discourse markers. They are useful in dealing with presuppositional phenomena which require world-knowledge, such as Clark's bridging examples and Beaver's conditional presuppositions.

Item Type:	Book Chapter
Academic Unit/Department:	Mathematics, Computing and Technology > Computing
Interdisciplinary Research Centre:	Centre for Research in Computing (CRC)
Item ID:	12142
Depositing User:	Paul Piwek
Date Deposited:	31 Oct 2008 01:14
Last Modified:	05 Dec 2010 05:53
URI:	http://oro.open.ac.uk/id/eprint/12142

Actions (login may be required)

	View Item
RDF+XMLBibTeXRDF+N-TriplesJSONDublin CoreAtomOAI-ORE Resource Map (Atom Format)Simple MetadataReferMETSOAI-ORE Resource Map (RDF Format)HTML CitationASCII CitationMultiline CSVRefMan RIS Format (UTF-8)OpenURL ContextObjectEndNoteMODSOpenURL ContextObject in SpanMPEG-21 DIDLEP3 XMLRefMan RIS FormatRDF+N3Eprints Application Profile	Public: Report issue / request change