Context-Passing and Underspecification in Dependent Type Semantics

Daisuke Bekki, Koji Mineshima

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)

Abstract

Dependent type semantics (DTS) is a framework of discourse semantics based on dependent type theory, following the line of Sundholm (Handbook of Philosophical Logic, 1986) and Ranta (Type-Theoretical Grammar, 1994). DTS attains compositionality as required to serve as a semantic component of modern formal grammars including variations of categorial grammars, which is achieved by adopting mechanisms for local contexts, context-passing, and underspecified terms. In DTS, the calculation of presupposition projection reduces to type checking, and the calculation of anaphora resolution and presupposition binding both reduce to proof search in dependent type theory, inheriting the paradigm of anaphora resolution as proof construction.

Original languageEnglish
Title of host publicationStudies in Linguistics and Philosophy
PublisherSpringer Science and Business Media B.V.
Pages11-41
Number of pages31
DOIs
Publication statusPublished - 2017
Externally publishedYes

Publication series

NameStudies in Linguistics and Philosophy
Volume98
ISSN (Print)0924-4662
ISSN (Electronic)2215-034X

Keywords

  • Anaphora Resolution
  • Categorial Grammar
  • Common Noun
  • Natural Language Semantic
  • Proof Term

ASJC Scopus subject areas

  • Language and Linguistics
  • Philosophy

Fingerprint Dive into the research topics of 'Context-Passing and Underspecification in Dependent Type Semantics'. Together they form a unique fingerprint.

Cite this