Abstract
This is a contribution to the discussion on the role of truth degrees in manyvalued logics from the perspective of abstract algebraic logic. It starts with some thoughts on the so-called Suszkoâs Thesis (that every logic is two-valued) and on the conception of semantics that underlies it, which includes the truth-preserving notion of consequence. The alternative usage of truth values in order to define logics that preserve degrees of truth is presented and discussed. Some recent works studying these in the particular cases of Ćukasiewiczâs many-valued logics and of logics associated with varieties of residuated lattices are also presented. Finally the extension of this paradigm to other, more general situations is discussed, highlighting the need for philosophical or applied motivations in the selection of the truth degrees, due both to the interpretation of the idea of truth degree and to some mathematical difficulties.
Similar content being viewed by others
References
Béziau, J.-Y., Recherches sur la logique universelle, Ph. D. Dissertation, Dept. of Mathematics, Université de Paris VII, 1995.
BĂ©ziau J.-Y.: âFrom consequence operator to universal logic: a survey of general abstract logicâ. In: BĂ©ziau, J.-Y. (eds) Logica Universalis., pp. 3â17. BirkhĂ€user Verlag, Basel (2005)
Blok W., Pigozzi D.: âProtoalgebraic logicsâ. Studia Logica 45, 337â369 (1986)
Blok, W., and D. Pigozzi, Algebraizable logics, vol. 396 of Mem. Amer. Math. Soc., A.M.S., Providence, 1989.
Bou, F., F. Esteva, J. M. Font, A. Gil, Ll. Godo, A. Torrens, and V. VerdĂș, âLogics preserving degrees of truth from varieties of residuated latticesâ, Journal of Logic and Computation , (200x). To appear.
Brown, D. J., and R. Suszko, âAbstract logicsâ, Dissertationes Math. (Rozprawy Mat.), 102 (1973), 9â42.
Burris, S., and H. P. Sankappanavar, A course in universal algebra, Springer- Verlag, New York, 1981. Out of print. A âmillenium editionâ is freely available from http://www.math.uwaterloo.ca/~snburris/.
Caleiro, C., and R. Gonçalves, âAn algebraic perspective on valuation semanticsâ, 2008. Manuscript.
Caleiro C., Gonçalves R., Martins M.: âBehavioural algebraization of logicsâ. Studia Logica 91, 63â111 (2009)
Caleiro C., Carnielli W., Coniglio E., Marcos M.: âTwoâs company: âThe humbug of many logical valuesââ. In: BĂ©ziau, J.-Y. (eds) Logica Universalis., pp. 169â189. BirkhĂ€user, Basel (2005)
Cleave J.: âThe notion of logical consequence in the logic of inexact predicatesâ. Zeitschrift fĂŒr Mathematische Logik und Grundlagen der Mathematik 20, 307â324 (1974)
Czelakowski, J., Protoalgebraic logics, vol. 10 of Trends in Logic - Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.
Czelakowski, J., and D. Pigozzi, âAmalgamation and interpolation in abstract algebraic logicâ, in X. Caicedo, and Carlos H. Montenegro, (eds.), Models, algebras and proofs, vol. 203 of Lecture Notes in Pure and Applied Mathematics Series, Marcel Dekker, New York and Basel, 1998, pp. 187â265.
Da Costa N.C.A., BĂ©ziau J.-Y.: âThĂ©orie de la valuationâ. Logique et Analyse 146, 99â117 (1994)
Da Costa N.C.A., BĂ©ziau J.-Y., Bueno O.: âMalinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuednessâ. Modern Logic 3, 272â299 (1996)
Font J.M.: âBelnapâs four-valued logic and De Morgan latticesâ. Logic Journal of the IGPL 5, 413â440 (1997)
Font, J. M., âOn the contributions of Helena Rasiowa to mathematical logicâ, Multiple-Valued Logic, 4 (1999), 159â179. See Errata in the authorâs web page.
Font J.M.: âAn abstract algebraic logic view of some multiple-valued logicsâ. In: Fitting, M., Orlowska, E. (eds) Beyond two: Theory and applications of multiplevalued logic, vol. 114 of Studies in Fuzziness and Soft Computing., pp. 25â58. Physica-Verlag, Heidelberg (2003)
Font J.M.: âBeyond Rasiowaâs algebraic approach to non-classical logicsâ. Studia Logica 82, 172â209 (2006)
Font J.M.: âOn substructural logics preserving degrees of truthâ. Bulletin of the Section of Logic 36, 117â130 (2007)
Font J.M., Gil A., Torrens A., VerdĂș V.: âOn the infinite-valued Lukasiewicz logic that preserves degrees of truthâ. Archive for Mathematical Logic 45, 839â868 (2006)
Font, J. M., and R. Jansana, A general algebraic semantics for sentential logics, vol. 7 of Lecture Notes in Logic, Springer-Verlag, 1996. Second, revised edition (2009) published by the Association for Symbolic Logic, freely available through Project Euclid at projecteuclid.org/euclid.lnl/1235416965.
Font J.M., Jansana R.: âLeibniz filters and the strong version of a protoalgebraic logicâ. Archive for Mathematical Logic 40, 437â465 (2001)
Font J.M., Jansana R., Pigozzi D.: âA survey of abstract algebraic logicâ. Studia Logica (Special issue on Abstract Algebraic Logic, Part II) 74, 13â97 (2003)
Font J.M., RodrĂguez G.: âNote on algebraic models for relevance logicâ. Zeitschrift fĂŒr Mathematische Logik und Grundlagen der Mathematik 36, 535â540 (1990)
Font J.M., RodrĂguez G.: âAlgebraic study of two deductive systems of relevance logicâ. Notre Dame Journal of Formal Logic 35, 369â397 (1994)
Galatos N., Jipsen P., Kowalski T., Ono H.: Residuated lattices: an algebraic glimpse at substructural logics, vol. 151 of Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam (2007)
Gil, A. J., Sistemes de Gentzen multidimensionals i lĂČgiques finitament valorades. Teoria i aplicacions, Ph. D. Dissertation, University of Barcelona, 1996.
Gil, A. J., A. Torrens, and V. VerdĂș, âLĂłgicas de Ćukasiewicz congruenciales. Teorema de la deducciĂłnâ, in E. Bustos, J. EcheverrĂa, E. PĂ©rez Sedeño, and M. I. SĂĄnchez Balmaseda, (eds.), Actas del I Congreso de la Sociedad de LĂłgica, MetodologĂa y FilosofĂa de la Ciencia en España, Madrid, 1993, pp. 71â74.
Gonçalves, R., Behavioral Algebraization of Logics, Ph.D. thesis, Istituto Superior Técnico, Universidade Técnica de Lisboa, 2008.
Gottwald S.: A treatise on many-valued logics, vol. 9 of Studies in Logic and Computation. Research Studies Press, Baldock (2001)
Gottwald S.: âMathematical fuzzy logicsâ. Bulletin of Symbolic Logic 14, 211â239 (2008)
HĂĄjek P.: Metamathematics of fuzzy logic, vol. 4 of Trends in Logic - Studia Logica Library. Kluwer, Dordrecht (1998)
Jansana, R., Una introducciĂłn a la lĂłgica modal, Tecnos, Madrid, 1990.
Jansana R.: âSelfextensional logics with a conjunctionâ. Studia Logica 84, 63â104 (2006)
Kracht M.: âModal consequence relationsâ. In: Blackburn, P., van Benthem, J., Wolter, F. (eds) Handbook of Modal Logic, vol. 3 of Studies in Logic and Practical Reasoning, chap. 8., pp. 491â545. Elsevier, Amsterdam (2007)
ĆoĆ J., Suszko R.: âRemarks on sentential logicsâ. Indag. Math. 20, 177â183 (1958)
Ćukasiewicz, J., Selected Works, edited by L. Borkowski. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1970.
Malinowski G.: Many-valued logics, vol. 25 of Oxford Logic Guides. Clarendon Press, Oxford (1993)
Miller, D., âDegrees of untruthâ, in Proceedings of the Eighteenth International Symposium on Multiple-Valued Logic, The IEEE Computer Society, Palma de Mallorca,1988, pp. 2â3.
Mundici, D., âThe logic of Ulamâs game with liesâ, in C. Bicchieri, and M. L. Dalla Chiara, (eds.), Knowledge, Belief and Strategic Interaction, Cambridge Studies in Probability, Induction and Decision Theory, Cambridge University Press, 1992, pp. 275â284.
Nowak M.: âA characterization of consequence operations preserving degrees of truthâ. Bulletin of the Section of Logic 16, 159â166 (1987)
Nowak M.: âLogics preserving degrees of truthâ. Studia Logica 49, 483â499 (1990)
Ono H.: âA study of intermediate predicate logicsâ. Publications of the Research Institute for Mathematical Sciences, Kyoto University 8, 619â649 (1973)
Rasiowa H.: An algebraic approach to non-classical logics, vol 78 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam (1974)
Scott D.: âBackground to formalisationâ. In: Leblanc, H. (eds) Truth, syntax and modality., pp. 244â273. North-Holland, Amsterdam (1973)
Scott, D., âCompleteness and axiomatizability in many-valued logicâ, in L. Henkin, et al., (eds.), Proceedings of the Tarski Symposium, vol. 25 of Proceedings of Symposia in Pure Mathematics, American Mathematical Society, Providence, 1974, pp. 411â436.
Suszko R.: âRemarks on Ćukasiewiczâs three-valued logicâ. Bulletin of the Section of Logic 4, 87â90 (1975)
Suszko R.: âThe Fregean axiom and Polish mathematical logic in the 1920sâ. Studia Logica 36, 377â380 (1977)
Tsuji M.: âMany-valued logics and Suszkoâs Thesis revisitedâ. Studia Logica 60, 299â309 (1998)
Venema Y.: âAlgebras and coalgebrasâ. In: Blackburn, P., van Benthem, J., Wolter, F. (eds) Handbook of Modal Logic, vol. 3 of Studies in Logic and Practical Reasoning, chap. 6., pp. 331â426. Elsevier, Amsterdam (2007)
Wansing, H., and Y. Shramko, âSuszkoâs Thesis, inferential many-valuedness and the notion of a logical systemâ, Studia Logica, 88 (2008), 405â429. See Erratum in volume 89 (2008), 147.
WĂłjcicki, R., âLogical matrices strongly adequate for structural sentential calculiâ, Bulletin de lâAcadĂ©mie Polonaise des Sciences, Classe III, XVII (1969), 333â335.
WĂłjcicki R.: âOn matrix representation of consequence operations on Lukasiewiczâs sentential calculiâ.. Zeitschrift fĂŒr Mathematische Logik und Grundlagen der Mathematik 19, 239â247 (1973)
WĂłjcicki, R., Lectures on propositional calculi, Ossolineum, WrocĆaw, 1984.
WĂłjcicki, R., Theory of logical calculi. Basic theory of consequence operations, vol. 199 of Synthese Library, Reidel, Dordrecht, 1988.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Font, J.M. Taking Degrees of Truth Seriously. Stud Logica 91, 383â406 (2009). https://doi.org/10.1007/s11225-009-9180-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-009-9180-7