Continuations as a semantics-pragmatics interface for presuppositions

Timothée Bernard (1, 2)

1 LLF UMR7110 - Laboratoire de Linguistique Formelle
2 SEMAGRAMME - Semantic Analysis of Natural Language

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.

Domaines: Informatique et langage [cs.CL]; Linguistique

Timothée Bernard. Continuations as a semantics-pragmatics interface for presuppositions. Sinn und Bedeutung (SuB 23), Sep 2018, Barcelona, Spain. . ⟨hal-01931283⟩