Off-Topic: A New Interpretation of Weak-Kleene Logic
Australasian Journal of Logic 13 (6) (2016)
Abstract
This paper offers a new and very simple alternative to Bochvar's well known nonsense -- or meaninglessness -- interpretation of Weak Kleene logic. To help orient discussion I begin by reviewing the familiar Strong Kleene logic and its standard interpretation; I then review Weak Kleene logic and the standard interpretation. While I note a common worry about the Bochvar interpretation my aim is only to give an alternative -- and I think very elegant -- interpretation, not necessarily a replacement.Author's Profile
My notes
Similar books and articles
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Realization of analysis into explicit mathematics.Sergei Tupailo - 2001 - Journal of Symbolic Logic 66 (4):1848-1864.
The Logic of the Absence of Sense (in Polish).Jan Czerniawski - 2004 - Kwartalnik Filozoficzny 32 (2):69-86.
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics.Arun Kumar & Mohua Banerjee - 2017 - Studia Logica 105 (3):439-469.
Supervaluation fixed-point logics of truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
Independence-friendly cylindric set algebras.Allen Mann - 2009 - Logic Journal of the IGPL 17 (6):719-754.
On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Review: S. C. Kleene, On the Interpretation of Intuitionistic Number Theory. [REVIEW]Andkzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):91-93.
Kleene S. C.. On the interpretation of intuitionistic number theory. [REVIEW]Andkzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):91-93.
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.
Bounded functional interpretation and feasible analysis.Fernando Ferreira & Paulo Oliva - 2007 - Annals of Pure and Applied Logic 145 (2):115-129.
Analytics
Added to PP
2017-02-14
Downloads
55 (#216,365)
6 months
6 (#133,276)
2017-02-14
Downloads
55 (#216,365)
6 months
6 (#133,276)
Historical graph of downloads
Author's Profile
Citations of this work
Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
Proof Theory of Paraconsistent Weak Kleene Logic.Francesco Paoli & Michele Pra Baldi - 2020 - Studia Logica 108 (4):779-802.
Containment Logics: Algebraic Completeness and Axiomatization.Stefano Bonzio & Michele Pra Baldi - 2021 - Studia Logica 109 (5):969-994.
Models & Proofs: LFIs Without a Canonical Interpretations.Eduardo Alejandro Barrio - 2018 - Principia: An International Journal of Epistemology 22 (1):87-112.
References found in this work
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Cambridge University Press.
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.
A propositional logic with subjunctive conditionals.R. B. Angell - 1962 - Journal of Symbolic Logic 27 (3):327-343.