Suddig logik

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2016-08) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Suddig logik (engelska fuzzy logic), vanligen kallad oskarp logik, utvecklad av Lotfi Zadeh under 1960- och 70-talen, är en form av logik där lagen om det uteslutna tredje inte gäller.

I fuzzy logic kan en proposition vara delvis sann och delvis falsk, vilket resulterar i en gradskala av sanning. Man använder oftast reella tal från 0 till 1 som sanningsvärden, där 0 står för tveklöst falskt och 1 för tveklöst sant och värden däremellan står för gradskillnader mellan falskt och sant. Ett exempel är påståendet Anna är lång, vars sanningshalt kan debatteras om Annas längd inte är mycket avvikande från det normala. Logiken kallas suddig eftersom man utgår från att påståendens sanningshalt kan vara oklara.