A presuppositional analysis of definite descriptions in proof theory

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

In this paper we propose a proof-theoretic analysis of presuppositions in natural language, focusing on the interpretation of definite descriptions. Our proposal is based on the natural deduction system of ε-calculus introduced in Carlström [2] and on constructive type theory [11,12]. Based on the idea in [2], we use the ε-calculus as an intermediate language in the translation process from natural language into constructive type theory. Using this framework, we formulate the process of presupposition resolution as the process of searching for a derivation in a natural deduction system. In particular, we show how to treat presupposition projection and accommodation within our proof-theoretic framework.

Original languageEnglish
Title of host publicationNew Frontiers in Artificial Intelligence - JSAI 2007 Conference and Workshops, Revised Selected Papers
Pages214-227
Number of pages14
DOIs
Publication statusPublished - 2008 Aug 27
Event21st Annual Conference of The Japanese Society for Artificial Intelligence, JSAI 2007 - Miyazaki, Japan
Duration: 2007 Jun 182007 Jun 22

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4914 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference21st Annual Conference of The Japanese Society for Artificial Intelligence, JSAI 2007
CountryJapan
CityMiyazaki
Period07/6/1807/6/22

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'A presuppositional analysis of definite descriptions in proof theory'. Together they form a unique fingerprint.

  • Cite this

    Mineshima, K. (2008). A presuppositional analysis of definite descriptions in proof theory. In New Frontiers in Artificial Intelligence - JSAI 2007 Conference and Workshops, Revised Selected Papers (pp. 214-227). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4914 LNAI). https://doi.org/10.1007/978-3-540-78197-4_20