Die Fuzzy Set-Theorie[WP], das ist die unscharfe Mengenlehre, wurde 1965 von Lotfi Zadeh () entwickelt. Eine unscharfe Menge wird über den Grad der Zugehörigkeit von Objekten bestimmt und nicht, ob sie Elemente der Menge sind oder nicht. Der Zugehörigkeitsgrad liegt im reellen Intervall [0, 1].

Zwischen zutreffend = in der Menge enthalten (Teilmengigkeit ?!) und unzutreffend ...
zwischen 1 (100 %) und 0 (0 %).

Es geht um die Interpretation bei der Formalisierung von Wissen. Es geht nicht um die Wahrheit mathematischer Erkenntnisse. So können beide Ansätze nebeneinander gelten.

So können auch vage Quantitäten angegeben werden, wie ein bischen, sehr, viel.

Zadeh kritisierte ab 1965? das zweite aristotelische Axiom vom ausgeschlossenen Widerspruch.

Fuzzylogik greift also den Satz vom Widerspruch an, während die intuitionistische Logik den Satz vom Dritten kritisiert. Hier geht es um das Verhältnis von Sprache und Empirischem, es geht um Wissen, um Epistemisches. Dort geht es um Beweisbarkeit von Aussagen durch Ableitungen aus anderen Aussagen, es geht um Schließen, um Logisches. Interessant.
Hier wird als Ausweg ein Kontinuum zwischen den beiden klassischen Wahrheitswerten angenommen, dort wird nichts zu einem weiteren Wahrheitswert gesagt.

Ist die Fuzzylogik eine Verallgemeinerung der zweiwertigen booleschen Algebra ?