Appositive Projection as Implicit Context Extension in Dependent Type Semantics

Daiki Matsuoka, Daisuke Bekki, Hitomi Yanaka

Published: 01 Jan 2024, Last Modified: 24 Apr 2026CrossrefEveryoneRevisionsCC BY-SA 4.0
Abstract: The content of an appositive relative clause is a type of conventional implicature, that is, secondary or supplementary information of a sentence. Focusing on discourse behaviors and scopal properties, we present an analysis of appositive relative clauses based on Dependent Type Semantics, a type-theoretical semantic framework. Our central idea is that appositive content i mplicitly extends the typing context during the process of type checking, reflecting a property of conventional implicatures, namely, that they directly update the common ground.
Loading