Continuations as a semantics-pragmatics interface for presuppositions

Abstract : Research questions • How can all the components of a theory of presupposition be integrated in a single formal framework? • What is the nature of the principles underlying the projection problem for presuppositions? Take-home messages • The projection of a presupposition can be conceptualised as an exception (as in computer programming), logical operators and quantifiers as exception handlers. • In a proof-theoretic approach, cancellation of a presupposi-tion can be seen as provability and the effect of operators can be based on a principle of plausibility of hypothesises. • The above can be implemented in continuation semantics.