Definite Descriptions in Intuitionist Positive Free Logic

Logic and Logical Philosophy 30:1 (2020)
  Copy   BIBTEX


This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’.

Similar books and articles

Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.
Definite Descriptions and Quantifier Scope: Some Mates Cases Reconsidered.Michael Glanzberg - 2007 - European Journal of Analytic Philosophy 3 (2):133-158.
Definite descriptions and negative existential quantifiers.Paul Elbourne - 2018 - Philosophical Studies 175 (7):1597-1612.
On the Philosophical foundations of free description theory.Karel Lambert - 1987 - History and Philosophy of Logic 8 (1):57-66.
Definite descriptions: Language, logic, and elimination.Norbert Gratzl - 2009 - In Hieke Alexander & Leitgeb Hannes (eds.), Reduction, Abstraction, Analysis. Ontos Verlag. pp. 355.
Are “Attributive” Uses of Definite Descriptions Really Attributive?Ilhan Inan - 2006 - Kriterion - Journal of Philosophy 20 (1):7-13.
Free Logic: Selected Essays.Karel Lambert - 2002 - New York: Cambridge University Press.
Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
The existence entailments of definite descriptions.Paul Elbourne - 2010 - Linguistics and Philosophy 33 (1):1-10.
Reference and definite descriptions.Keith S. Donnellan - 1966 - Philosophical Review 75 (3):281-304.


Added to PP

380 (#55,117)

6 months
113 (#40,025)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nils Kürbis
Ruhr-Universität Bochum

References found in this work

The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.
The justification of deduction.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press.

View all 26 references / Add more references