Normality operators and Classical Recapture in Extensions of Kleene Logics

Download Edit this record How to cite View on PhilPapers
In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness.
PhilPapers/Archive ID
Revision history
Archival date: 2018-10-28
View upload history
References found in this work BETA
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.Alchourrón, Carlos E.; Gärdenfors, Peter & Makinson, David
The Logic of Paradox.Priest, Graham

View all 14 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
32 ( #39,766 of 43,958 )

Recent downloads (6 months)
14 ( #36,331 of 43,958 )

How can I increase my downloads?

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