Proof Theory and Semantics for a Theory of Definite Descriptions

In Anupam Das & Sara Negri (eds.), TABLEAUX 2021, LNAI 12842 (2021)
  Copy   BIBTEX

Abstract

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive.

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2021-08-14

Downloads
222 (#94,630)

6 months
63 (#81,661)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nils Kürbis
Ruhr-Universität Bochum

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references