Definite Descriptions in Intuitionist Positive Free Logic

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’.

[1]  Torben Braüner,et al.  First-order modal logic , 2007, Handbook of Modal Logic.

[2]  Nils Kürbis,et al.  Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality , 2013, Journal of Philosophical Logic.

[3]  W. V. Quine,et al.  Natural deduction , 2021, An Introduction to Proof Theory.

[4]  Dag Prawitz,et al.  Meaning Approached Via Proofs , 2006, Synthese.

[5]  Andrzej Indrzejczak,et al.  Cut-Free Modal Theory of Definite Descriptions , 2018, Advances in Modal Logic.

[6]  Norbert Gratzl,et al.  Incomplete Symbols — Definite Descriptions Revisited , 2015, J. Philos. Log..

[7]  Carl J. Posy.  Free logics , 2007, The Many Valued and Nonmonotonic Turn in Logic.

[8]  Jean François Pique,et al.  About Natural Logic , 1979, Advances in Data Base Theory.

[9]  D. Prawitz.  Proofs and the Meaning and Completeness of the Logical Constants , 1979 .

[10]  Andrzej Indrzejczak.  Existence, Definedness and Definite Descriptions in Hybrid Modal Logic , 2020, AiML.

[11]  Andrzej Indrzejczak.  Free Logics are Cut-Free , 2021, Stud Logica.

[12]  Andrzej Indrzejczak,et al.  Fregean Description Theory in Proof-Theoretical Setting , 2018, Logic and Logical Philosophy.

[13]  Peter Schroeder-Heister,et al.  A natural extension of natural deduction , 1984, Journal of Symbolic Logic.

[14]  Nils Kürbis.  Proof and Falsity , 2019 .

[15]  M. Dummett.  The justification of deduction , 1974 .

[16]  Alfred North Whitehead,et al.  Principia Mathematica to *56 , 1910 .

[17]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[19]  Stephen Read,et al.  General-Elimination Harmony and the Meaning of the Logical Constants , 2010, J. Philos. Log..

[20]  Nils Kürbis.  Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic , 2021, ArXiv.

[21]  Dag Prawitz,et al.  Dummett on a Theory of Meaning and Its Impact on Logic , 1987 .

[22]  Neil Tennant,et al.  A General Theory of Abstraction Operators , 2004 .

[23]  Karel Lambert,et al.  A free logic with simple and complex predicates , 1986, Notre Dame J. Formal Log..

[24]  Karel Lambert,et al.  On Free Description Theory , 1967 .

[25]  Nissim Francez,et al.  A Note on Harmony , 2012, J. Philos. Log..

[26]  Nils Kürbis.  A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation , 2019, Bulletin of the Section of Logic.

[27]  Michael Dummett,et al.  The logical basis of metaphysics , 1991 .

[28]  J. Welton.  An intermediate logic , 1928 .

[29]  Andrzej Indrzejczak.  Free Definite Description Theory – Sequent Calculi and Cut Elimination , 2020 .