Çelişki: Revizyonlar arasındaki fark

[[Klasik mantık]]ta, '''ç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 [[Sonuç (mantık)|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."<ref name="horn">{{Web kaynağı | soyadı1 = Horn | ad1 = Laurence R. | başlık = Contradiction | url = https://plato.stanford.edu/archives/win2018/entries/contradiction/ | tarih = 28 Haziran 2006 | arşivurl = https://web.archive.org/web/20190318044934/https://plato.stanford.edu/archives/win2018/entries/contradiction/ | arşivtarihi = 18 Mart 2019 | erişimtarihi = 8 Haziran 2020 | ölüurl = yes evet}}</ref>

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.<ref>{{Web kaynağı | başlık = LAWS AND THEOREMS OF BOOLEAN ALGEBRA | url = https://www.seas.upenn.edu/~ese170/handouts/Theorems.html | arşivurl = https://web.archive.org/web/20121231114237/https://www.seas.upenn.edu/~ese170/handouts/Theorems.html | arşivtarihi = 31 Aralık 2012 | erişimtarihi = 8 Ağustos 2020 | ölüurl = no hayır}}</ref>