Abstract
Anti-realistic conceptions of truth and falsity are usually epistemic or inferentialist. Truth is regarded as knowability, or provability, or warranted assertability, and the falsity of a statement or formula is identified with the truth of its negation. In this paper, a non-inferentialist but nevertheless anti-realistic conception of logical truth and falsity is developed. According to this conception, a formula (or a declarative sentence) A is logically true if and only if no matter what is told about what is told about the truth or falsity of atomic sentences, A always receives the top-element of a certain partial order on non-ontic semantic values as its value. The ordering in question is a told-true order. Analogously, a formula A is logically false just in case no matter what is told about what is told about the truth or falsity of atomic sentences, A always receives the top-element of a certain told-false order as its value. Here, truth and falsity are pari passu, and it is the treatment of truth and falsity as independent of each other that leads to an informational interpretation of these notions in terms of a certain kind of higher-level information.
Similar content being viewed by others
Notes
The assumption of an algebraic understanding of the logical operations is no more problematic than the various inferentialist interpretations of the connectives. From the algebraic perspective, conjunction, for example, is canonically interpreted as lattice meet, whereas from the inferentialist perspective, a canonical proof of a conjunction is given by a pair consisting of canonical proofs of the conjuncts.
A detailed treatment of trilattice logics has been given by Shramko and Wansing (2011).
References
Arieli O, Avron A (1996) Reasoning with logical bilattices. J Log Lang Inf 5:25–63
Belnap ND (1977a) How a computer should think. In: Ryle G (ed) Contemporary aspects of philosophy. Oriel Press Ltd., Stocksfield, pp 30–55
Belnap ND (1977b) A useful four-valued logic. In: Dunn JM, Epstein G (eds) Modern uses of multiple-valued logic. D. Reidel Publishing Co., Dordrecht, pp 8–37
Dubois D (2008) On ignorance and contradiction considered as truth-values. Log J IGPL 16:195–216
Dummett M (1978) Truth and other enigmas. Duckworth, London
Dunn JM (1976) Intuitive semantics for first-degree entailment and ‘coupled trees’. Phil Stud 29:149–168
Fitting M (2006) Bilattices are nice things. In: Bolander T, Hendricks V, Pedersen SA (eds) Self-reference. CSLI-Publications, Stanford, pp 53–77
Fox J (1990) Motivation and demotivation of a four-valued logic. Notre Dame J Form Log 31:76–80
Ginsberg M (1988) Multivalued logics: a uniform approach to reasoning in AI. Comput Intell 4:256–316
Goré R (2000) Dual intuitionistic logic revisited. In: Dyckhoff R (ed) Automated reasoning with analytic tableaux and related methods. Springer Lecture Notes in AI 1847, Springer, Berlin, pp 252–267
Kamide N, Wansing H (2009) Sequent calculi for some trilattice logics. Rev Symb Log 2:374–395
Miura S (1966) A remark on the intersection of two logics. Nagoya Math J 26:167–171
Odintsov S (2009) On axiomatizing Shramko-Wansing’s logic. Stud Logica 93:407–428
Rauszer C (1980) An algebraic and Kripke-style approach to a certain extension of intuitionistic logic. Dissertationes Mathematicae 167, Institute of Mathematics, Polish Academy of Sciences, Warsaw
Shramko Y, Wansing H (2005) Some useful 16-valued logics: how a computer network should think. J Phil Log 34:121–153
Shramko Y, Wansing H (2006) Hypercontradictions, generalized truth values, and logics of truth and falsehood. J Log Lang Inf 15:403–424
Shramko Y, Wansing H (2011) Truth and falsity. An inquiry into generalized logical values. Springer, Dordrecht
Tranchini L (2010) Proof and truth. An anti-realist perspective. PhD thesis, University of Siena
Wansing H (2008) Constructive negation, implication, and co-implication. J Appl Non-Class Log 18:341–364
Wansing H (2010a) Proofs, disproofs, and their duals. In: Beklemishev L, Goranko V, Shehtman V (eds) Advances in modal logic 2010. College Publications, London, pp 483–505
Wansing H (2010b) The power of Belnap: sequent systems for SIXTEEN_3. J Phil Log 39:369–393
Wansing H, Belnap ND (2010) Generalized truth values. A reply to Dubois. Log J Interest Group Pure Appl Log 18:921–935
Wansing H, Shramko Y (2008) A note on two ways of defining a many-valued logic. In: Pelis M (ed) Logica yearbook 2007. Filosofia, Prague, pp 255–266
Acknowledgements
I would like to thank an anonymous referee, Andreas Pietz, Yaroslav Shramko, Luca Tranchini, the participants of the Siena Workshop “Anti-realistic Notions of Truth”, September 2010, and audiences at the universities of California at Irvine and St Andrews for useful comments on earlier versions of this paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Wansing, H. A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity. Topoi 31, 93–100 (2012). https://doi.org/10.1007/s11245-011-9111-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11245-011-9111-x