Tableaux for Free Logics with Descriptions

The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomatically in the setting of free logic. We consider five analytic tableau systems corresponding to different kinds of free logic, including the logic of definedness applied in computer science and constructive mathematics for dealing with partial functions (here called negative quasi-free logic). The tableau systems formalise MFD based on PFL (positive free logic), NFL (negative free logic), PQFL and NQFL (the quasi-free counterparts of the former ones). Also the logic NQFL is taken into account, which is equivalent to NQFL, but whose language does not comprise the existence predicate. It is shown that all tableaux are sound and complete with respect to the semantics of these logics.

[1]  Eugenio Orlandelli,et al.  Labelled calculi for quantified modal logics with definite descriptions , 2020, J. Log. Comput..

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

[3]  Juliane Freud,et al.  Modal Logic For Philosophers , 2016 .

[4]  Norbert Gratzl,et al.  A More Unified Approach to Free Logics , 2020, J. Philos. Log..

[5]  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.

[6]  S. Fraser.  What is Frege ’ s Theory of Descriptions ? , 2005 .

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

[8]  Mikolás Janota,et al.  Digital Object Identifier (DOI): , 2000 .

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

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

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

[12]  Frank Diederich,et al.  Philosophical Applications Of Free Logic , 2016 .

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

[14]  Karel Lambert,et al.  Logic, Bivalence and Denotation , 1986 .

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

[16]  RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH , 2021, The Review of Symbolic Logic.

[18]  Program.  FOUNDATIONS OF CONSTRUCTIVE MATHEMATICS , 2014 .

[19]  P. Dangerfield.  Logic , 1996, Aristotle and the Stoics.

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

[21]  R. Montague,et al.  Logic : Techniques of Formal Reasoning , 1964 .

[22]  Matthias Baaz,et al.  Gentzen Calculi for the Existence Predicate , 2006, Stud Logica.

[23]  Paolo Maffezioli,et al.  Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate , 2019, Bulletin of the Section of Logic.

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

[25]  Raymond D. Gumb.  An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions , 2001, Stud Logica.

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

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

[28]  D. Scott.  Identity and existence in intuitionistic logic , 1979 .

[29]  Scott Lehmann,et al.  More Free Logic , 2002 .

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