Coercion as Proof Search in Dependent Type Semantics

Abstract

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.