Çelişki: Revizyonlar arasındaki fark
| [kontrol edilmemiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
k Çelişkinin tanımının doğru şekilde yapılması için profesyonel bir cebir ilkesini açıklamak, Aristo'nun cümlesinin üzerindeki kanıt değerini artırır. |
Arşiv bağlantısı eklendi |
||
2. satır:
[[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}}</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>{{
{{Kaynakça}}
| |||