An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

Download Edit this record How to cite View on PhilPapers
Abstract
This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations.
Keywords
No keywords specified (fix it)
PhilPapers/Archive ID
SZMAEI
Revision history
Archival date: 2018-08-16
View upload history
References found in this work BETA
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco & Peruzzi, Luisa
Relevant Logics and Their Rivals.Routley, Richard; Plumwood, Val; Meyer, Robert K. & Brady, Ross T.

View all 34 references / Add more references

Citations of this work BETA

Add more citations

Added to PP index
2018-08-16

Total views
242 ( #18,306 of 50,112 )

Recent downloads (6 months)
46 ( #13,129 of 50,112 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.