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
Upload history
Archival date: 2018-08-16
View other versions
Added to PP index
2018-08-16

Total views
325 ( #16,812 of 57,093 )

Recent downloads (6 months)
59 ( #12,002 of 57,093 )

How can I increase my downloads?

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