home | alphabetical index | |||||

## Multi-valued logicTraditionally, logical calculi are bivalent--that is, there are only two possible truth values for any proposition,true and false (which generally correspond to our intuitive notions of truth and falsity). But bivalence is only one possible range of truth values that may be assigned, and other logical systems have been developed with variations on bivalence, or with more than two possible truth-value assignments.
In the classical bivalence scheme, true and false are determinate values: a proposition is either true or false (exclusively), and if the proposition does not have one of those values, by definition it must have the other. This is the justification for the Law of excluded middle: One point to remember is that logic is a system for preserving some property of propositions across transformations. In classical logic, this property is 'truth': In a valid argument, the truth of the derived proposition is guaranteed because the application of valid steps preserves the property. However, that property doesn't have to be that of 'truth'; instead, it can be some other concept.
For example, the preserved property could be Fuzzy logics were introduced by Lotfi Zadeh as a formalization of vagueness, i.e., the phenomenon that a predicate may apply to an object not absolutely, but to a certain degree, and that there may be borderline cases. Such logics can be used to deal with the sorites paradox. Instead of the two truth values 'true' and 'false,' fuzzy logic employs infinitely many values between 0, corresponding to 'absolutely false', and 1 corresponding to 'absolutely true'. A borderline case might then be assigned a truth value of 0.5. One can apply these systems of logic as the foundation of fuzzy set theories. Other examples of infinitely-valued logics are probability logic and neutrosophic logic. ## HistoryThe Polish logician and philosopher Jan Łukasiewicz began to create systems of many-valued logic in 1920, using a third value for "possible" to deal with Aristotle's paradox of the sea battle. Meanwhile the American mathematician Emil L. Post (1921) also introduced the formulation of additional truth degrees. Gödel in 1932 showed that intuitionistic logic is not a finitely-many valued logic, and defined a system of Gödel logics intermediate between classical and intuitionistic logic.
| |||||

copyright © 2004 FactsAbout.com |