Relation To Fuzzy Logic
Multi-valued logic is closely related to fuzzy set theory and fuzzy logic. The notion of fuzzy subset was 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. Indeed, as in multi-valued logic, fuzzy logic admits truth values different from "true" and "false". As an example, usually the set of possible truth values is the whole interval . Nevertheless, the main difference between fuzzy logic and multi-valued logic is in the aims. In fact, in spite of its philosophical interest (it can be used to deal with the Sorites paradox), fuzzy logic is devoted mainly to the applications. More precisely, there are two approaches to fuzzy logic. The first one is very closely linked with multi-valued logic tradition (Hajek school). So a set of designed values is fixed and this enables us to define an entailment relation. The deduction apparatus is defined by a suitable set of logical axioms and suitable inference rules. Another approach (Goguen, Pavelka and others) is devoted to defining a deduction apparatus in which approximate reasonings are admitted. Such an apparatus is defined by a suitable fuzzy subset of logical axioms and by a suitable set of fuzzy inference rules. In the first case the logical consequence operator gives the set of logical consequence of a given set of axioms. In the latter the logical consequence operator gives the fuzzy subset of logical consequence of a given fuzzy subset of hypotheses.
Read more about this topic: Many-valued Logic
Famous quotes containing the words relation to, relation, fuzzy and/or logic:
“Science is the language of the temporal world; love is that of the spiritual world. Man, indeed, describes more than he explains; while the angelic spirit sees and understands. Science saddens man; love enraptures the angel; science is still seeking, love has found. Man judges of nature in relation to itself; the angelic spirit judges of it in relation to heaven. In short to the spirits everything speaks.”
—Honoré De Balzac (1799–1850)
“A theory of the middle class: that it is not to be determined by its financial situation but rather by its relation to government. That is, one could shade down from an actual ruling or governing class to a class hopelessly out of relation to government, thinking of gov’t as beyond its control, of itself as wholly controlled by gov’t. Somewhere in between and in gradations is the group that has the sense that gov’t exists for it, and shapes its consciousness accordingly.”
—Lionel Trilling (1905–1975)
“Even their song is not a sure thing.
It is not a language;
it is a kind of breathing.
They are two asthmatics
whose breath sobs in and out
through a small fuzzy pipe.”
—Anne Sexton (1928–1974)
“Logic is not a body of doctrine, but a mirror-image of the world. Logic is transcendental.”
—Ludwig Wittgenstein (1889–1951)