Many-valuedness from a universal logic perspective

Abstract


 
 
 We start by presenting various ways to define and to talk about many-valued logic(s). We make the distinction between on the one hand the class of many-valued logics and on the other hand what we call “many-valuedness”: the meta-theory of many-valued logics and the related meta-theoretical framework that is useful for the study of any logical systems. We point out that universal logic, considered as a general theory of logical systems, can be seen as an extension of many-valuedness. After a short story of many-valuedness, stressing that it is present since the beginning of the history of logic in Ancient Greece, we discuss the distinction between dichotomy and polytomy and the possible reduction to bivalence. We then examine the relations between singularity and universality and the connection of many-valuedness with the universe of logical systems. In particular, we have a look at the interrelationship between modal logic, 3-valued logic and paraconsistent logic. We go on by dealing with philosophical aspects and discussing the applications of many-valuedness. We end with some personal recollections regarding Alexander Karpenko, from our first meeting in Ghent, Belgium in 1997, up to our last meeting in Saint Petersburg, Russia in 2016.
 
 

Lindenbaum-type Logical Structures

“…• Lastly, one could work with more general sets instead of {0, 1}. Universal logic has deep connections with Suszko's Thesis and many-valued logics [8]. Investigation in these lines remains a job for the future.…”