type-shifting

Noun

type-shifting (uncountable)

1. An operation or rule that maps the denotation of an expression of one semantic type to a related denotation of a different type, allowing it to be interpreted with a type other than its basic one.
   • So in examples involving Antecedent-Contained VP Deletion, we seem to need movement of object DPs anyway. So there are reasons to assume such movement is in principle available, and we might as well use it to resolve the type mismatch in simple sentences with quantified objects as well. An...1998, Irene Heim, Angelika Kratzer, Semantics in Generative Grammar (Blackwell Textbooks in Linguistics), Oxford: Blackwell, →ISBN, page 199
   • Much work discussing direct compositionality makes heavy use of type-shifting operators. Type-shifting is a natural tool for building directly compositional analyses, since type-shifting operators are always presented as having a precisely defined semantic effect, often in conjunction with a change...2007, Chris Barker, Pauline Jacobson, “Introduction: Direct Compositionality”, in Chris Barker, Pauline Jacobson, editors, Direct Compositionality (Oxford Studies in Theoretical Linguistics), Oxford...