LLF – Bât. ODG – 5e étage – Salle du conseil (533)
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.