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)|
|Categories||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 downloads14 ( #129,094 of 1,410,002 )
Recent downloads (6 months)4 ( #57,676 of 1,410,002 )
How can I increase my downloads?