A non-classical view of the nature of truth values


Leonid.Yu. Devyatkin


The paper is devoted to semantics of many-valued logics and deals with the problem of interpretation of values in logical matrices. The starting point of the research is R. Suszko's thesis, according to which every many-valued logic is logically two-valued, as well as the analysis of this thesis in the subsequent literature. As shown by Suszko, any many-valued matrix semantics can be reduced to two values. This raised the question of whether many-valued logics are possible in principle. The positive answer was given by G. Malinowski on the basis of his proposed concept of inferential many-valuedness. The foundation of this concept lies in generalizations of the concepts of logical matrix and consequence, where, along with the class of designated values, other subsets of the matrix universe are involved, considered as logical values. This allows Malinowski to provide examples of many-valued semantics that can not be reduced to two values using Suszko's technique. Based on the results of Malinowski and other authors who developed this topic, we propose our own generalizations of the concepts of logical matrix and consequence. Instead of considering subsets of the matrix universe as logical values, we assign this role to relations, that is, subsets of Cartesian powers of the universe. Such a generalization makes it possible to construct bivalent truth-functional semantics for logics, which, as follows from the results known in the literature, do not have two-valued semantics in the style of Suszko.




Non-classical logics
Author Biography

Leonid.Yu. Devyatkin, Institute of Philosophy, Russian Academy of Sciences

Старший научный сотрудник Сектора логики


Мальцев А.И. Алгебраические системы. М.: Наукa, 1970. 392 с.
Belikov A. Peirce’s triadic logic and its (overlooked) connexive expansion // Logic and Logical Philosophy. 2021. Vol. 30. № 3. P. 535-559.
Blasio K., Marcos J., Wansing H. An inferentially many-valued two-dimensional notion of entailment // Bulletin of the Section of Logic. 2017. Vol. 46. № 3/4. P. 233-262.
Chemlá E., Egré P. Suszko’s problem: mixed consequence and compositionality // The Review of Symbolic Logic. 2019. Vol. 12. № 4. P. 736-767.
Font J.M. Taking degrees of truth seriously // Studia Logica. 2009. Vol. 91. № 3. P.383-406.
Frankowski S. Formalization of a plausible inference // Bulletin of the Section of Logic. 2004. Vol. 33. № 1. P. 41-52.
Frankowski S. p-consequence versus q-consequence operations // Bulletin of the Section of Logic. 2004. Vol. 33. № 4. P. 41-52.
Frankowski S. Plausible reasoning expressed by p-consequence // Bulletin of the Section of Logic. 2008. Vol. 37. № 3-4. P. 161-170.
French R., Ripley D. Valuations: bi, tri, and tetra // Studia Logica. 2019. Vol. 107. № 6. P. 1313-1346.
Kleene S.C. Mathematical logic. Courier Corporation, 2002. 398 p.
Łukasiewicz J., Tarski A. Investigations into the sentential calculus / A. Tarski. Logic, semantics, metamathematics: papers from 1923 to 1938. Oxford: Clarendon Press, 1956. P. 38-59.
Malinowski G. Towards the concept of logical many-valuedness // Acta Universitatis Lodziensis. Folia Philosophica. 1990. Vol. 7. P. 97-103.
Malinowski G. Q-consequence operation // Reports on Mathematical Logic. Vol. 24. P. 49-59.
Malinowski G. Many-valued Logics. Oxford: Clarendon Press, 1993. 131~p.
Malinowski G. Inferential many-valuedness // Philosophical Logic in Poland / Ed. by J. Woleński. Dordrecht: Springer, 1994. P. 75-84.
Malinowski G. Beyond three inferential values // Studia Logica. 2009. Vol. 92, № 2. P. 203-213.
Nowak M. Logics preserving degrees of truth // Studia Logica. 1990. Vol. 49. № 4. P. 483-499.
Shramko Y., Wansing H. Truth and falsehood: An inquiry into generalized logical values. Springer Science & Business Media, 2011. 260 p.
Strollo A. Truth pluralism and many-valued logic: lesson from Suszko’s thesis // The Philosophical Quarterly. 2022. Vol. 72. № 1. P. 155-176.
Suszko R. The Fregean axiom and Polish mathematical logic in the 1920s // Studia Logica. 1977. Vol. 36. № 4. P. 377-380.
Wansing H., Shramko Y. Suszko’s thesis, inferential many-valuedness, and the notion of a logical system // Studia Logica. 2008. Vol. 88. № 3. P.405-429.
Wójcicki R. Some remarks on the consequence operation in sentential logics // Fundamenta Mathematicae. 1970. Vol. 68. P. 269-279.
Wójcicki R. Theory of Logical Calculi. Dordrecht: Springer, 1988. 473 p.