LingLunch : Daisuke Bekki

Thursday 15 December 2022, 12:00 to 13:00
Karen De Clercq et Ira Noveck (LLF)

LLF – Bât. ODG – 5e étage – Salle du conseil (533)

Daisuke Bekki
Dependent type semantics and its Davidsonian extension

Dependent type semantics (DTS; Bekki 2014, Bekki and Mineshima 2017) is a framework of proof-theoretic semantics of natural language based on dependent type theory, following the line of Sundholm (1986) and Ranta (1994).  Unlike the previous works, DTS attains compositionality/lexicalization as required to serve as the semantic component for modern formal grammars by adopting mechanisms of underspecified types.  In DTS, presupposition projection reduces to type checking, anaphora resolution/presupposition binding to proof search, suggesting further correspondences between natural language semantics and type theory.  I will also discuss the extension of DTS to Davidsonian event semantics and its consequences for analyzing event anaphora.