Anaphora and Presuppositions in Dependent Type Semantics

Daisuke Bekki (Ochanomizu University) gives a talk at the MCMP Colloquium (2 December, 2015) titled "Anaphora and Presuppositions in Dependent Type Semantics". Abstract: Dependent type semantics (DTS) is a framework of proof-theoretic discourse semantics based on dependent type theory, following the line of Sundholm and Ranta. DTS attains compositionality as required to serve as a semantic component of modern formal grammars including variations of categorial grammars, which is achieved by adopting a mechanism for underspecified terms. In DTS, the calculation of presupposition projection reduces to type checking, and the calculation of anaphora resolution and presupposition binding both reduce to proof search in dependent type theory, inheriting the paradigm of anaphora resolution as proof construction. I will demonstrate how DTS gives a unified solution to benchmarks for presupposition and anaphora, including presupposition projection and filtering, temporal and bridging anaphora.

You can listen to Anaphora and Presuppositions in Dependent Type Semantics online on Radio and Podcast. Open the player on this page to stream the available audio.

Anaphora and Presuppositions in Dependent Type Semantics is an episode from MCMP by MCMP Team.

This episode is 01:27:57 long.

This episode was published on Mar 17, 2018.

Yes. Use the heart button on the episode page to add it to your favorite episodes list.

Yes. This page shows related episodes from MCMP when more episodes are available from the podcast feed.