David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 60 (2):299-309 (1998)
Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it.
|Keywords||Suszko's Thesis many-valued logics q-logics bivaluations universal logic|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Grzegorz Malinowski (1993). Many-Valued Logics. Oxford University Press.
A. Avron (2009). Multi-Valued Semantics: Why and How. Studia Logica 92 (2):163 - 182.
Grzegorz Malinowski (2009). Beyond Three Inferential Values. Studia Logica 92 (2):203 - 213.
Josep Maria Font (2009). Taking Degrees of Truth Seriously. Studia Logica 91 (3):383 - 406.
Josep Maria Font & Miquel Rius (2000). An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. Journal of Symbolic Logic 65 (2):481-518.
Newton da Costa, Jean-Yves Béziau & Otávio Bueno (1996). Malinowski and Suszko on Many-Valued Logics: On the Reduction of Many-Valuedness to Two-Valuedness. Modern Logic 6 (1):272--299.
Janusz Czelakowski (2003). The Suszko Operator. Part I. Studia Logica 74 (1-2):181 - 231.
Heinrich Wansing & Yaroslav Shramko (2008). Suszko's Thesis, Inferential Many-Valuedness, and the Notion of a Logical System. Studia Logica 88 (3):405 - 429.
Added to index2009-01-28
Total downloads22 ( #64,741 of 1,010,257 )
Recent downloads (6 months)2 ( #39,218 of 1,010,257 )
How can I increase my downloads?