Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405): Difference between revisions

In [Stud. Log. 36, 377--380 (1977; Zbl 0404.03004)], \textit{R. Suszko} proclaimed that there are but two logical values, \textit{true} and \textit{false}, what was later on called \textit{Suszko's Thesis}. The present paper reviews Suszko's reduction method and collects some well-known facts about consequence relations, in order to make this article readable and self-contained. The authors then present and discuss \textit{G. Malinowski}'s [Rep. Math. Logic 24, 49--59 (1990; Zbl 0759.03008); Blackwell Companions Philos. 22, 545--561 (2002; Zbl 1064.03018); Lect. Notes Pure Appl. Math. 228, 341--352 (2002; Zbl 1036.03017)] and \textit{M. Tsuji}'s [Stud. Log. 60, No.~2, 299--309 (1998; Zbl 0963.03038)] analyses of Suszko's Thesis. They present their own counterexample for Suszko's Thesis, and conclude with a new analysis, which leads to a higher-arity consequence relation.