Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System

AbstractAccording to Suszko’s Thesis, there are but two logical values, true and false. In this paper, R. Suszko’s, G. Malinowski’s, and M. Tsuji’s analyses of logical twovaluedness are critically discussed. Another analysis is presented, which favors a notion of a logical system as encompassing possibly more than one consequence relation. [A] fundamental problem concerning many-valuedness is to know what it really is.[13, p. 281]

[1]  Grzegorz Malinowski.  Inferential Many-Valuedness , 1994 .

[2]  J. Michael Dunn,et al.  Partiality and Its Dual , 2000, Stud Logica.

[3]  Grzegorz Malinowski,et al.  Many-Valued Logics , 1994 .

[4]  Ryszard Wójcicki,et al.  Theory of Logical Calculi , 1988 .

[5]  Marcelo E. Coniglio,et al.  Dyadic semantics for many-valued logics , 2003 .

[6]  N. Rescher.  Many Valued Logic , 1969 .

[7]  Yaroslav Shramko,et al.  The Trilattice of Constructive Truth Values , 2001, J. Log. Comput..

[8]  Marcelo E. Coniglio,et al.  Two's Company: “The Humbug of Many Logical Values” , 2005 .

[9]  K. Schröter.  Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle , 1955 .

[10]  J. Benthem.  Possible worlds semantics: A research program that cannot fail? , 1984 .

[11]  Heinrich Wansing,et al.  Connectives Stranger than Tonk , 2006, J. Philos. Log..

[12]  C. Fred Bergsten.  Two's Company , 2009 .

[13]  Jean-Yves Béziau,et al.  What is many-valued logic? , 1997, Proceedings 1997 27th International Symposium on Multiple- Valued Logic.

[14]  P. K. Schotch,et al.  The preservation of coherence , 1984 .

[15]  Michael Soltys.  Bulletin of the Section of Logic , 2002 .

[16]  Peter K. Schotch,et al.  Logic and Aggregation , 1999, J. Philos. Log..

[17]  Grzegorz Malinowski,et al.  Inferential Intensionality , 2004, Stud Logica.

[18]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[19]  Nuel D. Belnap,et al.  How a Computer Should Think , 2019, New Essays on Belnap-­Dunn Logic.

[20]  Marcelo Tsuji.  Many-Valued Logics and Suszko's Thesis Revisited , 1998, Stud Logica.

[21]  Walter Carnielli,et al.  Suszko’s Thesis and dyadic semantics , 2003 .

[22]  A. Urquhart.  An Interpretation of Many‐Valued Logic , 1973 .

[23]  Heinrich Wansing,et al.  Some Useful 16-Valued Logics: How a Computer Network Should Think , 2005, J. Philos. Log..

[24]  Siegfried Gottwald.  Mehrwertige Logik - eine Einführung in Theorie und Anwendungen , 1989, Logica Nova.

[25]  S. Blamey,et al.  A Perspective on Modal Sequent Logic , 1991 .

[26]  Günter Asser,et al.  Zeitschrift für mathematische Logik und Grundlagen der Mathematik , 1955 .

[27]  Heinrich Wansing,et al.  Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood , 2006, J. Log. Lang. Inf..

[28]  Roman Suszko,et al.  The Fregean Axiom and Polish mathematical logic in the 1920s , 1977 .

[29]  HEINRICH WANSING,et al.  Harmonious Many-Valued Propositional Logics and the Logic of Computer Networks , 2008 .

[30]  Danas. Scott.  Background to Formalization , 1973 .

[31]  Newton C. A. da Costa,et al.  Malinowski and Suszko on many-valued logics: on the reduction of many-valuedness to two-valuedness , 1996 .

[32]  Haskell B. Curry,et al.  Foundations of Mathematical Logic , 1964 .

[33]  p-CONSEQUENCE VERSUS q-CONSEQUENCE OPERATIONS , 2004 .

[34]  J. Dunn,et al.  Intuitive semantics for first-degree entailments and ‘coupled trees’ , 1976 .

[35]  Roy T. Cook.  What’s Wrong with Tonk(?) , 2005, J. Philos. Log..

[36]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[37]  京都大学数理解析研究所,et al.  Publications of the Research Institute for Mathematical Sciences , 1965 .

[38]  R. Wójcicki.  Theory of Logical Calculi: Basic Theory of Consequence Operations , 1988 .

[39]  R. Wójcicki,et al.  Some remarks on the consequence operation in sentential logics , 1970 .

[40]  J. Woleński.  Philosophical logic in Poland , 1994 .

[41]  Reinhard Muskens.  On Partial and Paraconsistent Logics , 1999, Notre Dame J. Formal Log..

[42]  J. M. Dunn,et al.  Modern Uses of Multiple-Valued Logic , 1977 .