klasik mantık

(isim, felsefe) Kavramdan önermeye, önermeden kıyasa ilerleyen basamaklarla düşünmenin biçimsel kurallarını inceleyen, önermeleri nitelik ve nicelik bakımından dört türe ayıran, sembolik sistemlerden önce egemen olan geleneksel akıl yürütme öğretisi.

(isim, matematik, felsefe) Her önermenin yalnızca doğru ya da yanlış değerlerinden birini alabildiği, üçüncü bir seçeneği dışlayan ve kısmi doğruluk derecelerine izin veren bulanık yaklaşımlarla karşılaştırılırken temel alınan iki değerli akıl yürütme sistemi.