Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic

Bulletin of the Section of Logic 48 (4):299-317 (2019)
Download Edit this record How to cite View on PhilPapers
Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion.
PhilPapers/Archive ID
Revision history
Archival date: 2020-06-24
View upload history
References found in this work BETA
A Free Logic with Simple and Complex Predicates.Lambert, Karel & Bencivenga, Ermanno

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
16 ( #49,643 of 50,067 )

Recent downloads (6 months)
16 ( #33,165 of 50,067 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.