From Bi-facial Truth to Bi-facial Proofs

Studia Logica 103 (3):545-558 (2015)
Download Edit this record How to cite View on PhilPapers
In their recent paper Bi-facial truth: a case for generalized truth values Zaitsev and Shramko [7] distinguish between an ontological and an epistemic interpretation of classical truth values. By taking the Cartesian product of the two disjoint sets of values thus obtained, they arrive at four generalized truth values and consider two “semi-classical negations” on them. The resulting semantics is used to define three novel logics which are closely related to Belnap’s well-known four valued logic. A syntactic characterization of these logics is left for further work. In this paper, based on our previous work on a functionally complete extension of Belnap’s logic, we present a sound and complete tableau calculus for these logics. It crucially exploits the Cartesian nature of the four values, which is reflected in the fact that each proof consists of two tableaux. The bi-facial notion of truth of Z&S is thus augmented with a bi-facial notion of proof. We also provide translations between the logics for semi-classical negation and classical logic and show that an argument is valid in a logic for semi-classical negation just in case its translation is valid in classical logic
(categorize this paper)
PhilPapers/Archive ID
Revision history
Archival date: 2018-08-27
View upload history
References found in this work BETA
First-Order Logic.Smullyan, Raymond M.
First-Order Logic.Craig, William
Meaning and Partiality.Muskens, Reinhard

View all 8 references / Add more references

Citations of this work BETA
Analytic Tableaux for All of SIXTEEN 3.Wintein, Stefan & Muskens, Reinhard
Rational Agency From a Truth-Functional Perspective.Kubyshkina, Ekaterina & Zaitsev, Dmitry V.

Add more citations

Added to PP index

Total views
65 ( #39,198 of 50,316 )

Recent downloads (6 months)
12 ( #37,750 of 50,316 )

How can I increase my downloads?

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