The roots of many-valued logic lie in Aristotle’s (4th century BC) discussion of future contingents and of tomorrow’s famous sea battle. Similar concerns can be found in medieval philosophy, in Duns Scot, William of Ockham and Peter de Rivo (Louvain). However, one needs to wait until the turn of the twentieth century to see the first attempts at creating non-classical – mainly three-valued – systems. By the late 1890s, Hugh MacColl had presented his so-called “three-dimensional logic”, Charles S. (1839–1914) was working on “trychotomic mathematics” and Nicolai A. Vasiliev was developing a system in which propositions can be “affirmative”, “negative” or “indifferent”.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bolzano, B. (1837), Wissenschaftslehre, Sulzbach, Seidel.
Gentzen, G. (1934), ‘Untersuchungen über das Logische Schliessen’, Mathematische Zeitschrift, 39, 176–210.
Gonseth, F. (ed.) (1941), Les entretiens de Zurich sur les fondements et la méthode des sciences mathématiques 6–9 décembre 1938, Zurich, S.A. Leemann frères & Cie.
Jaśkowski S. (1934), ‘On the rules of suppositions in formal logic’, Studia Logica, 1, 5–32.
Kotarbiński, T. (1913), ‘Zagadnienie istnienia przyszłości’ (The problem of existence of the future), Przegląd Filozoficzny, VI.1.
Łukasiewicz, J. (1906), ‘Analiza i konstrukcja pojęcia przyczyny’ (An analysis and a construction of the concept of cause), Przegląd Filozoficzny, 9, (2–3), 105–179.
Łukasiewicz, J. (1910), O zasadzie sprzeczności u Arystotelesa. Studium krytyczne (On the principle of contradiction), Kraków (PWN, Warszawa 1987).
Łukasiewicz, J. (1913), Die logischen Grundlagen der Wahrscheinlichkeitsrechnung, Cracow. Eng. trans., in Borkowski, L. (ed.), Selected works, Amsterdam, North-Holland, 16–63.
Łukasiewicz, J. (1920), ‘O logice trójwartościowej’, Ruch Filozoficzny, 5, 170–171. Eng. trans. On three-valued logic, Łukasiewicz 1970, 87–88.
Łukasiewicz, J. (1930), ‘Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls’, Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Cl. III, 23, 51–77.
Łukasiewicz, J. (1970) Selected works, L. Borkowski (ed.). Amsterdam, North-Holland.
Malinowski, G. (1977), ‘Classical characterization of n-valued Łukasiewicz calculi’, Reports on Mathematical Logic, 9, 41–45.
Malinowski, G. (1993), Many-Valued Logic, Oxford, Clarendon Press.
Malinowski, G. (2001), ‘Many-valued logics’, in L. Goble (ed.), The Blackwell Guide to Philosophical Logic, Blackwell Publishers, Oxford, 309–335.
Post, E. L. (1920), ‘Introduction to a general theory of elementary propositions’, Bulletin of the American Mathematical Society, 26, 437.
Post, E. L. (1921), ‘Introduction to a general theory of elementary propositions’, American Journal of Mathematics, 43, 163–185.
Rosser, J., Turquette, A. (1952), Many-Valued Logics, North-Holland, Amsterdam.
Rousseau, G. (1967), ‘Sequents in many-valued logic’, Fundamenta Mathematicae, 60, 23–33.
Schröter K. (1955) ‘Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle’ Zeitschrift für Mathematische Logik und Grunglagen der Mathematik, 1, 241–251.
Suszko, R. (1957), ‘Formalna teoria wartości logicznych’ (A formal theory of logical values). Studia Logica, VI, 145–320.
Suszko, R. (1972), ‘Abolition of the Fregean Axiom, in R. Parikh (ed.), Logic Colloquium, Symposium on Logic held at Boston, 1972–73. Lecture Notes in Mathematics, 453, 169–239.
Suszko, R. (1977), ‘The Fregean Axiom and Polish mathematical logic in the 1920s’, Studia Logica, 36/4, 377–380.
Takahashi, R. (1970), ‘Many-valued logics of extended Gentzen style II’, Journal of Symbolic Logic, 35 (231), 493–528.
Urquhart, A. (1986), ‘Many-valued logic’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. III. Dordrecht, D. Reidel, 71–116.
Zach, R. (1993), Proof theory of finite-valued logics. Master’s thesis, Institut für Algebra und Discrete Mathematik, TU Wien, 338–353.
Zawirski, Z. (1934), ‘Znaczenie logiki wielowartościowej i związek jej z rachunkiem prawdopodobieństwa’ (Significance of many-valued logic for cognition and its connection with the calculus of probability), Przegląd Filozoficzny, 37, 393–398.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Malinowski, G. (2009). A Philosophy of Many-Valued Logic. The Third Logical Value and Beyond. In: Lapointe, S., Wolénski, J., Marion, M., Miskiewicz, W. (eds) The Golden Age of Polish Philosophy. Logic, Epistemology, and the Unity of Science, vol 16. Springer, Dordrecht. https://doi.org/10.1007/978-90-481-2401-5_6
Download citation
DOI: https://doi.org/10.1007/978-90-481-2401-5_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-2400-8
Online ISBN: 978-90-481-2401-5
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)