, Volume 6, Issue 1 Supplement, pp 766-787
Date: 21 Apr 2015

Presupposition failure — A comedy of errors

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.