Theories of truth based on four-valued infectious logics

Download Edit this record How to cite View on PhilPapers
Abstract
Infectious logics are systems which have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated (i) as a way to treat different pathological sentences (like the Liar and the Truth-Teller) differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps, and (ii) as a way to treat the semantic pathology suffered by at least some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof-theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems.
Keywords
No keywords specified (fix it)
Categories
(categorize this paper)
PhilPapers/Archive ID
SZMTOT
Revision history
Archival date: 2018-03-15
View upload history
References found in this work BETA
The Logical Basis of Metaphysics.Dummett, Michael; Putnam, Hilary & Conant, James

View all 57 references / Add more references

Citations of this work BETA
Semantical Analysis of Weak Kleene Logics.Ciuni, Roberto & Carrara, Massimiliano

Add more citations

Added to PP index
2018-03-15

Total views
118 ( #25,434 of 43,910 )

Recent downloads (6 months)
28 ( #23,839 of 43,910 )

How can I increase my downloads?

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