Çelişmezlik ilkesinin temelleri Antik Yunan'da, Elea Okulu filozoflarından Parmenides tarafından atılmıştır diyebiliriz. Yasanın kökeni buraya kadar uzanıyor. "Var olan vardır, var olmayan var değildir" ifadesi Parmenides'e aittir. Özdeşlik ve çelişmezlik ilkelerine atıf yapıyor.
Bir önerme ya doğrudur ya da yanlıştır. Bu iki değer dışında bir doğruluk değeri yoktur. Klasik mantığın temel yasalarından üçüncü hâlin imkânsızlığı (veya olmazlığı) yasasına (veya ilkesine) göre bu böyledir. Latince "tertium non datur" şeklinde adlandırılır.
Yorumlar
Yorum Gönder