Dissertation, UFRN (2015)

Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of “only but two truth values”. The thesis is a reaction against the notion of many-valuedness conceived by Jan Łukasiewicz. Reputed as one of the modern founders of many-valued logics, Łukasiewicz considered a third undeter- mined value in addition to the traditional Fregean values of Truth and Falsehood. For Łukasiewicz, his third value could be seen as a step beyond the Aristotelian dichotomy of Being and non-Being. According to Suszko, Łukasiewicz’s ideas rested on a confusion between algebraic values (what sentences describe/denote) and log- ical values (truth and falsity). Thus, Łukasiewicz’s third undetermined value is no more than an algebraic value, a possible denotation for a sentence, but not a genuine logical value. Suszko’s Thesis is endorsed by a formal result baptized as Suszko’s Reduction, a theorem that states every Tarskian logic may be characterized by a two-valued semantics. The present study is intended as a thorough investigation of Suszko’s thesis and its implications. The first part is devoted to the historical roots of many-valuedness and introduce Suszko’s main motivations in formulating the double character of truth-values by drawing the distinction in between algebraic and logical values. The second part explores Suszko’s Reduction and presents the developments achieved from it; the properties of two-valued semantics in comparison to many-valued semantics are also explored and discussed. Last but not least, the third part investigates the notion of logical values in the context of non-Tarskian notions of entailment; the meaning of Suszko’s thesis within such frameworks is also discussed. Moreover, the philosophical foundations for non-Tarskian notions of entailment are explored in the light of recent debates concerning logical pluralism.
Keywords Many-valued logics  Suszko's thesis  Bivalence  Entailment
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

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

Origins of Analytical Philosophy.[author unknown] - 1995 - History of European Ideas 21 (4):613-614.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Taking Degrees of Truth Seriously.Josep Maria Font - 2009 - Studia Logica 91 (3):383-406.
Multi-Valued Semantics: Why and How.Arnon Avron - 2009 - Studia Logica 92 (2):163-182.
Identity, Many-Valuedness and Referentiality.Grzegorz Malinowski - 2013 - Logic and Logical Philosophy 22 (4):375-387.
Beyond Three Inferential Values.Grzegorz Malinowski - 2009 - Studia Logica 92 (2):203-213.
The Suszko Operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1):181-231.
The Suszko Operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1-2):181 - 231.
The Principle of Bivalence and Suszko Thesis.Jan Wolenski - 2009 - Bulletin of the Section of Logic 38 (3/4):99-110.


Added to PP index

Total views
139 ( #67,273 of 2,386,408 )

Recent downloads (6 months)
48 ( #14,868 of 2,386,408 )

How can I increase my downloads?


My notes