Hyper-contradictions, generalized truth values and logics of truth and falsehood

In Philosophical Logic, the Liar Paradox has been used to motivate the introduction of both truth value gaps and truth value gluts. Moreover, in the light of “revenge Liar” arguments, also higher-order combinations of generalized truth values have been suggested to account for so-called hyper-contradictions. In the present paper, Graham Priest's treatment of generalized truth values is scrutinized and compared with another strategy of generalizing the set of classical truth values and defining an entailment relation on the resulting sets of higher-order values. This method is based on the concept of a multilattice. If the method is applied to the set of truth values of Belnap's “useful four-valued logic”, one obtains a trilattice, and, more generally, structures here called Belnap-trilattices. As in Priest's case, it is shown that the generalized truth values motivated by hyper-contradictions have no effect on the logic. Whereas Priest's construction in terms of designated truth values always results in his Logic of Paradox, the present construction in terms of truth and falsity orderings always results in First Degree Entailment. However, it is observed that applying the multilattice-approach to Priest's initial set of truth values leads to an interesting algebraic structure of a “bi-and-a-half” lattice which determines seven-valued logics different from Priest's Logic of Paradox.
Keywords Hyper-contradiction  multilattice  Belnap-trilattice  first-degree entailment
Categories (categorize this paper)
DOI 10.1007/s10849-006-9015-0
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,824
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge University Press.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.

View all 15 references / Add more references

Citations of this work BETA
On Axiomatizing Shramko-Wansing's Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.
Jaina Logic: A Contemporary Perspective.Graham Priest - 2008 - History and Philosophy of Logic 29 (3):263-278.
Sequent Calculi for Some Trilattice Logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.

View all 18 citations / Add more citations

Similar books and articles
Many-Valued Logics.Nicholas J. J. Smith - 2012 - In Gillian Russell & Delia Graff Fara (eds.), The Routledge Companion to Philosophy of Language. Routledge. pp. 636--51.
Doubt Truth to Be a Liar.Graham Priest - 2005 - Oxford University Press.
Entailment and Bivalence.Fred Seymour Michael - 2002 - Journal of Philosophical Logic 31 (4):289-300.
Partiality and its Dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
Circularity or Lacunae in Tarski's Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.

Monthly downloads

Added to index


Total downloads

56 ( #94,868 of 2,178,143 )

Recent downloads (6 months)

3 ( #112,599 of 2,178,143 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums