Fuzzy Logic History
Home Up History Ethics Paradigms Resources Architecture

 

 
 

 

Aristotle

Aristotle (384 - 322 BC) laid the foundation of western mathematics. He laid down the laws of mathematics and logic in "The Laws of Thought". One important law that had profound implications for later logic and philosophy was "The Law of the Excluded Middle" that states every proposition must be true or false. In other words, there is no middle ground; for example, 1 + 1 is either 2 or it is not 2.

Unfortunately, Aristotle's Low of the Excluded Middle can get us into trouble. The British mathematician Russell presented the following paradox.

The crew of a ship consists only of men who all all clean-shaven. A barber on board claims that he shaves only  those men who don't shave themselves. Who shaves the barber? If he doesn't shave himself then he does. And if he shaves himself then he does not.

Russell set down the laws of modem logic in his Principia Mathematica in 1910.

A similar paradox due to Epimenides goes:

All Cretans are liars
I am a Cretan.

Again we have a similar problem where the application of Aristotelian logic breaks down.

There have been attempts to deal with the paradoxes thrown up by Aristotle's Law of the Excluded Middle by the Polish logician Łukasiewicz and Knuth, both of whom suggested three-level logic.

Zadeh

In 1965 Lotfi Zadeh at UC Berkeley proposed a logic system that supported infinite value logic. Zadeh proposed that an element can have a membership function that describes its membership of a set. For example, the expression mA(x) is the membership function of x in A.

Zadeh's logic was called "Fuzzy set theory" which has proved a little unfortunate because some have taken "fuzzy" to mean imprecise or inaccurate and they regard the use of fuzzy logic rather like the fraudulent snake oil remedies of a hundred years ago.