David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. Csli Publications (2006)
One approach to the paradoxes of self-referential languages is to allow some sentences to lack a truth value (or to have more than one). Then assigning truth values where possible becomes a ﬁxpoint construction and, following Kripke, this is usually carried out over a partially ordered family of three-valued truth-value assignments. Some years ago Matt Ginsberg introduced the notion of bilattice, with applications to artiﬁcial intelligence in mind. Bilattices generalize the structure Kripke used in a very natural way, while making the mathematical machinery simpler and more perspicuous. In addition, work such as that of Yablo ﬁts naturally into the bilattice setting. What I do here is present the general background of bilattices, discuss why they are natural, and show how ﬁxpoint approaches to truth in languages that allow self-reference can be applied. This is not new work, but rather is a summary of research I have done over many years.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
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
No references found.
Citations of this work BETA
Heinrich Wansing (2010). The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW] Journal of Philosophical Logic 39 (4):369 - 393.
Heinrich Wansing (2012). A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity. Topoi 31 (1):93-100.
Melvin Fitting (2009). How True It is = Who Says It's True. Studia Logica 91 (3):335 - 366.
Dmitry Zaitsev (2009). A Few More Useful 8-Valued Logics for Reasoning with Tetralattice Eight. Studia Logica 92 (2):265 - 280.
Norihiro Kamide & Heinrich Wansing (2011). Completeness and Cut-Elimination Theorems for Trilattice Logics. Annals of Pure and Applied Logic 162 (10):816-835.
Similar books and articles
Ofer Arieli & Arnon Avron (1996). Reasoning with Logical Bilattices. Journal of Logic, Language and Information 5 (1):25--63.
Andreas Schöter (1996). Evidential Bilattice Logic and Lexical Inference. Journal of Logic, Language and Information 5 (1):65-105.
A. Jung & U. Rivieccio (2012). Priestley Duality for Bilattices. Studia Logica 100 (1-2):223-252.
Melvin Fitting (1989). Bilattices and the Theory of Truth. Journal of Philosophical Logic 18 (3):225 - 256.
Melvin Fitting (1997). A Theory of Truth That Prefers Falsehood. Journal of Philosophical Logic 26 (5):477-500.
R. Nelken & N. Francez (2002). Bilattices and the Semantics of Natural Language Questions. Linguistics and Philosophy 25 (1):37-64.
Yaroslav Shramko & Heinrich Wansing (2005). Some Useful 16-Valued Logics: How a Computer Network Should Think. [REVIEW] Journal of Philosophical Logic 34 (2):121 - 153.
P. Schlenker (2007). The Elimination of Self-Reference: Generalized Yablo-Series and the Theory of Truth. [REVIEW] Journal of Philosophical Logic 36 (3):251 - 307.
Added to index2010-12-22
Total downloads10 ( #146,834 of 1,101,740 )
Recent downloads (6 months)1 ( #292,019 of 1,101,740 )
How can I increase my downloads?