Multiplying logical values


G. Malinowski


The modern history of many-valuedness starts with Lukasiewicz’s construction of three-valued logic. This pioneering, philosophically motivated and matrix based construction, first presented in 1918, was in 1922 extended to n-valued cases, including two infinite ones. Soon several constructions of many-valued logic appeared and the history of the topic became rich and interesting. However, as it is widely known, the problem of interpretation of multiple values is still among vexed questions of contemporary logic. With the paper, which essentially groups my earlier settlements, from [3], [4], [7] and [8], I intend to put a new thread into discussion on the nature of logical many-valuedness. The topics, touched upon, are: matrices, tautological and non-tautological many-valuedness, Tarski’s structural consequence and the Lindenbaum–Wojcicki completeness result, which supports the Suszko’s claim on logical two-valuedness of any structural logic. Consequently, two facets of many-valuedness — referential and inferential — are unravelled. The first, fits the standard approach and it results in multiplication of semantic correlates of sentences, and not logical values in a proper sense. The second many-valuedness is a metalogical property of inference and refers to partition of the matrix universe into more than two disjoint subsets, used in the definition of inference.






Bloom, S.L., Brown D.J. Classical abstract logics, Dissertationes Matematicae, CII, 1973, 43-52.
Lukasiewicz, J. O logice trojwartosciowej, Ruch Filozoficzny, 5, 1920, 170-171. English tr. On three-valued logic [in:] Borkowski, L. (ed.) Selected works, North-Holland, Amsterdam, 87-88.
Malinowski, G. ‘Beyond three inferential values’, Studia Logica, 92, 2009, 203-213.
Malinowski, G. Classical characterization of n-valued Lukasiewicz calculi, Reports on Mathematical Logic, 9, 1977, 41-45.
Malinowski, G. ‘Inferential intensionality’, Studia Logica, 76, 2004, 3-16.
Malinowski, G. ‘Lattice properties of a protologic inference’, Studies in Logic, Grammar and Rhetoric, 4 (17), Language, Mind and Mathematics, 2001, 51-58.
Malinowski, G. Many-valued logics, Oxford Logic Guides, 25, Clarendon Press, Oxford, 1993.
Malinowski, G. Q-consequenceoperation, Reports on Mathematical Logic, 24, 1990, 49-59.
Rosser, J.B., Turquette, A.R. Many-valued logics, North-Holland, Amsterdam, 1952.
Suszko, R. Abolition of the Fregean Axiom [in:] Parikh, R. (ed.) Logic Colloquium, Symposium on Logic held at Boston, 1972-73, Lecture Notes in Mathematics, vol. 453, 1972, 169-239.
Suszko, R. The Fregean Axiom and Polish Mathematical Logic in the 1920s, Studia Logica, XXXVI (4), 1977, 377-380.
Wojcicki R. Theory of logical calculi. Basic theory of consequence operations, Synthese Library, 199. Kluwer Academic Publishers, Dordrecht, 1988.