"Tüm insanlar ölümlüdür. Sokrates bir insandır. O halde Sokrates de ölümlüdür."
Bu akıl yürütmede kullanılan temel mantık ilkesi aşağıdakilerden hangisidir?
A) Yeter sebep ilkesi
B) Özdeşlik ilkesi
C) Çelişmezlik ilkesi
D) Üçüncü halin imkansızlığı ilkesi
Verilen akıl yürütme, genel bir önermeden (Tüm insanlar ölümlüdür) özel bir önermeye (Sokrates bir insandır) geçerek zorunlu bir sonuca (O halde Sokrates de ölümlüdür) ulaşan bir tümdengelim (dedüktif) argümandır.
- Bu tür bir akıl yürütmede, eğer öncüller (verilen ilk iki önerme) doğru kabul edilirse, sonucun da zorunlu olarak doğru olması gerekir.
- Eğer "Tüm insanlar ölümlüdür" ve "Sokrates bir insandır" önermelerini doğru kabul edersek, "Sokrates ölümlü değildir" sonucunu kabul etmek, mantıksal bir çelişki yaratır. Çünkü Sokrates hem insan olup ölümlü olacak (ilk önermeye göre) hem de ölümlü olmayacaktır.
- İşte bu noktada devreye Çelişmezlik İlkesi girer. Bu ilke, bir şeyin aynı anda hem kendisi hem de kendisi olmayanı olamayacağını ifade eder (A, aynı anda hem A hem de A olmayan olamaz). Yani, bir önerme aynı anda hem doğru hem de yanlış olamaz.
- Verilen argümanda, öncüller doğruysa sonucun yanlış olması, öncüllerle çelişmek anlamına gelir. Bu da Çelişmezlik İlkesi'ne aykırıdır. Bu ilke, mantıksal tutarlılığın ve geçerli çıkarımların temelini oluşturur.
- Diğer seçeneklere kısaca bakarsak:
- A) Yeter sebep ilkesi: Her şeyin bir nedeni veya açıklaması olması gerektiğini söyler. Bu, daha çok varoluş ve nedensellik üzerine bir ilkedir, bu akıl yürütmenin geçerliliğini doğrudan açıklamaz.
- B) Özdeşlik ilkesi: Bir şeyin kendisi olduğunu (A=A) ifade eder. Temel bir ilke olsa da, bu argümandaki çıkarım sürecini ve zorunluluğu Çelişmezlik İlkesi kadar doğrudan açıklamaz.
- D) Üçüncü halin imkansızlığı ilkesi: Bir şeyin ya A ya da A olmayanı olması gerektiğini, üçüncü bir ihtimalin olmadığını söyler. Çelişmezlik ilkesiyle yakından ilişkilidir ancak bu argümandaki zorunlu sonucun neden reddedilemeyeceğini en iyi açıklayan, çelişki yaratma durumudur.
Bu nedenle, verilen akıl yürütmenin temelinde yatan mantık ilkesi, öncüller doğruyken sonucun yanlış olmasının bir çelişki yaratması nedeniyle Çelişmezlik İlkesi'dir.
Cevap C seçeneğidir.
