Abstract
By using the notions of exact truth (‘true and not false’) and exact falsity (‘false and not true’), one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the (extended) Strong Kleene schema. Besides familiar logics such as Strong Kleene logic (K3), the Logic of Paradox (LP) and First Degree Entailment (FDE), the resulting class of all Strong Kleene generalizations of classical logic also contains a host of unfamiliar logics. We first study the members of our class semantically, after which we present a uniform sequent calculus (the SK calculus) that is sound and complete with respect to all of them. Two further sequent calculi (the \({{\bf SK}^\mathcal{P}}\) and \({\bf SK}^{\mathcal{N}}\) calculus) will be considered, which serve the same purpose and which are obtained by applying general methods (due to Baaz et al.) to construct sequent calculi for many-valued logics. Rules and proofs in the SK calculus are much simpler and shorter than those of the \({\bf SK}^{\mathcal{P}}\) and the \({\bf SK}^{\mathcal{N}}\) calculus, which is one of the reasons to prefer the SK calculus over the latter two. Besides favourably comparing the SK calculus to both the \({\bf SK}^{\mathcal{P}}\) and the \({\bf SK}^{\mathcal{N}}\) calculus, we also hint at its philosophical significance.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Allo P.: Synonymy and intra-theoretical pluralism. Australasian Journal of Philosophy 93, 77–91 (2015)
Arieli O., Avron A.: Reasoning with logical bilattices. Journal of Logic Language and Information 5(1), 25–63 (1996)
Arieli O., Avron A.: The value of the four values. Artificial Intelligence 102, 97–141 (1998)
Avron A.: Natural 3-valued logics—characterization and proof theory. Journal of Symbolic Logic 56(1), 276–294 (1991)
Avron, A., and I. Lev, Canonical propositional Gentzen-type systems, in Proceedings of the First International Joint Conference on Automated Reasoning, Springer, Berlin, 2001, pp. 529–544.
Baaz M., Fermüller C., Zach R.: Dual systems of sequent and tabelaux for many-valued logics. Bulletin of the EATCS 49, 192–197 (1993)
Batens D.: Paraconsistent extensional propositional logics. Logique et Analyse 90, 195–234 (1980)
Batens, D., and K. de Clerq, A rich paraconsistent eextension of full positive logic, Logique et Analyse 47:185–188, 220–257, 2004.
Beall J.: Multiple-conclusion Lp and default classicality. Review of Symbolic Logic 4(2), 326–336 (2011)
Beall J.: Lp+, K3+, Fde+, and their ‘Classical collapse’. Review of Symbolic Logic 6(4), 742–754 (2013)
Beall J., Restall G.: Logical Pluralism. Oxford University Press, Oxford (2000)
Belnap, N., How a computer should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, 1976, pp. 30–56.
Belnap, N., A useful four-valued logic, in J. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, D. Reidel, Dordrecht, 1977.
Cobreros P., Egré P., Ripley D., van Rooij R.: Tolerant, classical, strict. Journal of Philosophical Logic 41, 347–385 (2012)
Dummett M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1991)
Dunn J.: Intuitive semantics for first-degree entailments and ‘coupled trees’. Philosophical Studies 29, 149–168 (1976)
Fitting M.: Bilattices and the semantics of logic programming. Journal of Logic Programming 11, 91–116 (1991)
Hjortland O.: Logical pluralism, meaning-variance and verbal disputes. Australasian Journal of Philosophy 91, 355–373 (2013)
Kleene S.: Introduction to Metamathematics. Van Nostrand, New York (1952)
Muskens R.: On partial and paraconsistent logics. Notre Dame Journal of Formal Logic 40, 352–373 (1999)
Negri S., von Plato J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)
Omori, H., and H. Sano, Generalizing functional completeness in Belnap–Dunn logic, Studia Logica 103(5):883–917, 2015.
Pietz A., Rivieccio U.: Nothing but the truth. Journal of Philosophical Logic 42, 125–135 (2013)
Priest G.: The logic of paradox. Journal of Philosophical Logic 8, 219–241 (1979)
Pynko A.: Functional completeness and axiomatizability within Belnap’s logic. Journal of Applied Non-classical Logics 9(1), 61–105 (1999)
Restall, G., Multiple conclusions, in P. Hajek, L. Valdes Villanueva, and D. Westerstahl (eds.), Logic, Methodology, and Philosophy of Science: Proceedings of the Twelfth International Congress, Kings’ College Publications, London, 2005, pp. 189–205.
Ripley D.: Conservatively extending classical logic with transparant truth. The Review of Symbolic Logic 5, 354–378 (2012)
Ripley D.: Paradox and failures of cut. Australasian Journal of Philosophy 92(1), 139–164 (2013)
Ruet, P., Complete sets of connectives and complete sequent calculus for Belnap’s Logic, Tech. Rep., Ecole Normal Supérieure, Logic Colloquium 96, 1996.
Rumfitt I.: ‘Yes’ and ‘No’. Mind 109(436), 781–823 (2000)
Smiley T.: Rejection. Analysis 56(1), 1–9 (1996)
Smullyan R.: First-Order Logic. Dover, New York (1995)
Weir A.: Naive set theory is innocent. Mind 107, 763–798 (1998)
Woodruff P.: On compactness in many-valued logic I. Notre Dame Journal of Formal Logic 14(3), 405–407 (1973)
Zardini E.: A model of tolerance. Studia Logica 90, 337–368 (2008)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wintein, S. On All Strong Kleene Generalizations of Classical Logic. Stud Logica 104, 503–545 (2016). https://doi.org/10.1007/s11225-015-9649-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9649-5