ÇOKDEĞERLİ MANTIK [İng. many-valued logic] [MANTIK]. İkiden fazla doğruluk değerine dayanan önermeler mantığı türü.
Aristoteles tarafından geliştirilmiş olan klasik mantık, doğru ve yanlış gibi iki doğruluk değerine ve dolayısıyla üçüncünün olanaksızlığı ilkesine dayanıyordu. 1920’li yıllardan itibaren geliştirilen çokdeğerli mantıklar, söz konusu iki doğruluk değeriyle üçüncünün olanaksızlığı ilkesini reddeder. Çokdeğerli mantık kendi içinde, “doğru” ve “yanlış”a ek olarak “bilinmeyen”, “belirsiz” veya “mümkün” değerlerinden birinin eklendiği üç değerli mantık ve üçten fazla değere yer veren bulanık mantık ya da ihtimaliyet mantığı olarak ikiye ayrılır.
Ahmet Cevizci – Felsefe Sözlüğü. (Say Yayınları, 6. Baskı)
