Journal of Logic, Language and Information 15 (4) (2006)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Graham Priest (2006). Doubt Truth to Be a Liar. Oxford University Press.
Josep Maria Font (2009). Taking Degrees of Truth Seriously. Studia Logica 91 (3):383 - 406.
Fred Seymour Michael (2002). Entailment and Bivalence. Journal of Philosophical Logic 31 (4):289-300.
J. Michael Dunn (2000). Partiality and its Dual. Studia Logica 66 (1):5-40.
Roy T. Cook (2009). What is a Truth Value and How Many Are There? Studia Logica 92 (2):183 - 201.
Dale Jacquette (2010). Circularity or Lacunae in Tarski's Truth-Schemata. Journal of Logic, Language and Information 19 (3).
Dmitry Zaitsev (2009). A Few More Useful 8-Valued Logics for Reasoning with Tetralattice Eight. Studia Logica 92 (2):265 - 280.
Yaroslav Shramko & Heinrich Wansing (2005). Some Useful 16-Valued Logics: How a Computer Network Should Think. Journal of Philosophical Logic 34 (2):121 - 153.
Added to index2009-01-28
Total downloads22 ( #57,090 of 556,904 )
Recent downloads (6 months)1 ( #64,931 of 556,904 )
How can I increase my downloads?