Çelişki

Vikipedi, özgür ansiklopedi
Gezinti kısmına atla Arama kısmına atla

Klasik mantıkta, çelişki bir ya da daha fazla önerme arasında uyumsuzluk olması durumudur. Çelişkili iki önerme birlikte değerlendirildiğinde genellikle birbiriyle zıt olan iki mantıksal sonuç ortaya çıkar. Bu konuda Aristo'nun çelişmeme kanunu der ki "Bir şeyin hem kendisi hem de tersi aynı koşulda ve zamanda doğru olamaz."[1]

Farklı olarak çelişki kavramı, resmi mantık sistemlerinin her biri için aynı anlama gelmektedir. Çelişki, bir önermenin doğru halinin, aynı ortam geçerli iken ikinci defa önerildiği bir durumda, yerine negatif biçiminin doğru bulunması ile ortaya çıkar. Mantık tekniğinin yeniden gözden geçirilmesi adına bir koşul olarak kabul edilebilir. Boolean cebirinde ve özellikle analitik felsefe geleneğinde kullanılan etkisiz ikileme (idempotency) ilkesi, çelişkinin var olup olmadığını hatırlatmak için bir gereçtir. [2]

Kaynakça[değiştir | kaynağı değiştir]

  1. ^ Horn, Laurence R. (28 Haziran 2006). "Contradiction". 18 Mart 2019 tarihinde kaynağından arşivlendi. Erişim tarihi: 8 Haziran 2020. 
  2. ^ "LAWS AND THEOREMS OF BOOLEAN ALGEBRA". 31 Aralık 2012 tarihinde kaynağından arşivlendi. Erişim tarihi: 8 Ağustos 2020.