Error message

Notice: Undefined index: field_afficher_infos_these_perso in include() (line 222 of /var/www/drupal7/sites/sandbox.linguist.univ-paris-diderot.fr/themes/llf/templates/node--webpage.tpl.php).

LingLunch : Daisuke Bekki

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

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.