Coercion as Proof Search in Dependent Type Semantics

Autor: Eriko Kinoshita, Koji Mineshima, Daisuke Bekki
Jazyk: English<br />French<br />Italian<br />Bokmål, Norwegian; Norwegian Bokmål<br />Portuguese<br />Russian
Rok vydání: 2018
Předmět:
Zdroj: Oslo Studies in Language, Vol 10, Iss 2 (2018)
Druh dokumentu: article
ISSN: 1890-9639
DOI: 10.5617/osla.6680
Popis: This paper presents an analysis of coercion and related phenomena in the framework of Dependent Type Semantics (DTS). Using underspecified terms in DTS, we present an analysis of selectional restriction as presupposition; we then combine it with a type called ‘transfer frame’ to provide an analysis of coercion. Our analysis focuses on the fact that coercion is triggered not only by type mismatch between predicates and their arguments, but also by more general inference with contextual information. We show how the analysis can be extended to copredication of logical polysemy and complement coercion. Finally, we will suggest that this analysis can shed light on an aspect of complicity that is invoked in interpreting coercion and other meaning-shifting phenomena.
Databáze: Directory of Open Access Journals