Many-valued logic (also multi- or multiple-valued logic) is a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., true and false) for any proposition. Classical two-valued logic may be extended to n-valued logic for n greater than 2. Those most popular in the literature are three-valued (e.g., Łukasiewicz's and Kleene's, which accept the values true, false, and unknown), four-valued, nine-valued, the finite-valued (finitely-many valued) with more than three values, and the infinite-valued (infinitely-many-valued), such as fuzzy logic and probability logic.
>>>PUT SHARE BUTTONS HERE<<<
In this Dossier
Many-valued logic in the context of Logical possibility
A logical possibility is a logical proposition that cannot be disproved, using the axioms and rules of a given system of logic. The logical possibility of a proposition will depend upon the system of logic being considered, rather than on the violation of any single rule. Some systems of logic restrict inferences from inconsistent propositions or even allow for true contradictions. Other logical systems have more than two truth-values instead of a binary of such values. Some assume the system in question is classical propositional logic. Similarly, the criterion for logical possibility is often based on whether or not a proposition is contradictory and as such, is often thought of as the broadest type of possibility.
In modal logic, a logical proposition is possible if it is true in some possible world. The universe of "possible worlds" depends upon the axioms and rules of the logical system in which one is working, but given some logical system, any logically consistent collection of statements is a possible world. The modal diamond operator is used to express possibility: denotes "proposition is possible".
Many-valued logic in the context of Fuzzy logic
Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the concept of partial truth, where the truth value may range between completely true and completely false. By contrast, in Boolean logic, the truth values of variables may only be the integer values 0 or 1.
The term fuzzy logic was introduced with the 1965 proposal of fuzzy set theory by mathematician Lotfi Zadeh. Basic fuzzy logic had, however, been studied since the 1920s, as infinite-valued logic—notably by Łukasiewicz and Tarski. The works of Zadeh and Joseph Goguen in the 1960's and 1970's went further by considering issues such as linguistic variables and lattices.