Bir mantık sorusunda, "Tüm insanlar ölümlüdür. Sokrates bir insandır." öncüllerinden ulaşılan zorunlu çıkarım aşağıdakilerden hangisidir?
A) Sokrates ölümlüdür.
B) İnsan olmak ölümlü olmaktır.
C) Bazı insanlar Sokrates'tir.
D) Hiçbir insan ölümsüz değildir.
Bu soru, mantıkta temel bir çıkarım biçimi olan tümdengelim (dedüksiyon) prensibini anlamamızı istiyor. Tümdengelim, genel bir kuraldan veya öncülden yola çıkarak özel bir durum hakkında kesin bir sonuca ulaşmaktır. Şimdi adım adım bu çıkarımı inceleyelim:
- Birinci Öncül (Genel Kural): "Tüm insanlar ölümlüdür." Bu ifade, insan kategorisindeki her bireyin ölümlülük özelliğine sahip olduğunu belirtir. Yani, insan olan herkesin bir gün öleceği kesin bir bilgidir.
- İkinci Öncül (Özel Durum): "Sokrates bir insandır." Bu ifade, Sokrates adlı bireyin "insan" kategorisine dahil olduğunu söyler.
- Çıkarım Süreci: Elimizde genel bir kural var (insanlar ölümlüdür) ve bu kurala uyan özel bir örnek var (Sokrates bir insandır). Eğer Sokrates insan kategorisindeyse ve insan kategorisindeki herkes ölümlüyse, o zaman Sokrates'in de ölümlü olması zorunlu bir sonuçtur. Bu, bir matematiksel denklem gibi kesin bir bağlantıdır.
- Seçenekleri Değerlendirelim:
- A) Sokrates ölümlüdür. Bu çıkarım, yukarıda açıkladığımız gibi, verilen iki öncülden doğrudan ve zorunlu olarak çıkan sonuçtur. Genel kuralı (Tüm insanlar ölümlüdür) özel duruma (Sokrates bir insandır) uyguladığımızda bu sonuca ulaşırız.
- B) İnsan olmak ölümlü olmaktır. Bu ifade aslında birinci öncülün farklı bir şekilde dile getirilmesidir. Bir çıkarım değil, verilen bir öncülün yeniden ifadesidir.
- C) Bazı insanlar Sokrates'tir. Bu ifade, verilen öncüllerden zorunlu olarak çıkmaz. Sokrates'in bir insan olduğu doğrudur, ancak "bazı insanlar Sokrates'tir" demek, Sokrates'in insan kategorisinin bir alt kümesi olduğu anlamına gelir ki bu doğru olsa da, öncüllerden doğrudan ve zorunlu olarak çıkan temel çıkarım değildir. Ayrıca, "bazı insanlar" ifadesi belirsizlik içerir ve bu tür bir genelleme, öncüllerin kesinliğinden farklıdır.
- D) Hiçbir insan ölümsüz değildir. Bu ifade de aslında birinci öncülün ("Tüm insanlar ölümlüdür") eşdeğer bir ifadesidir. "Ölümlü olmak" ile "ölümsüz olmamak" aynı anlama gelir. Dolayısıyla bu da bir çıkarım değil, öncülün farklı bir biçimde ifade edilmesidir.
Verilen öncüllerden mantıksal olarak ve zorunlu olarak ulaşabileceğimiz tek yeni bilgi, Sokrates'in ölümlü olduğudur.
Cevap A seçeneğidir.
