Bir matematikçi şu önermeleri ileri sürüyor:
1. Tüm asal sayılar 1'den büyüktür.
2. 2 bir asal sayıdır.
3. O halde 2, 1'den büyüktür.
Bu akıl yürütme türü için aşağıdakilerden hangisi söylenemez?
A) Geçerli bir çıkarımdır
B) Öncüller doğruysa sonuç kesindir
C) Genelden özele giden bir yoldur
D) Gözleme dayalı bir yöntemdir
Verilen akıl yürütme, matematikte ve mantıkta sıkça kullanılan bir çıkarım türüdür. Bu tür akıl yürütmelerde, genel bir kuraldan veya önermeden yola çıkılarak belirli bir durum hakkında kesin bir sonuca ulaşılır. Şimdi bu akıl yürütme türünü ve seçenekleri adım adım inceleyelim:
- Akıl Yürütmenin Türü: Verilen örnek, tümdengelim (dedüktif) akıl yürütme türüne bir örnektir. Tümdengelimde, genel bir ilke veya kural (1. öncül: "Tüm asal sayılar 1'den büyüktür") belirli bir duruma (2. öncül: "2 bir asal sayıdır") uygulanır ve bu uygulamadan mantıksal olarak zorunlu bir sonuç (Sonuç: "2, 1'den büyüktür") çıkarılır.
- A) Geçerli bir çıkarımdır: Bir çıkarımın geçerli olması, öncüller doğru kabul edildiğinde sonucun mantıksal olarak zorunlu olarak çıkması demektir. Bu örnekte, eğer "Tüm asal sayılar 1'den büyüktür" ve "2 bir asal sayıdır" öncülleri doğruysa, "2, 1'den büyüktür" sonucu kesinlikle doğrudur. Bu nedenle, bu bir geçerli çıkarımdır. Bu ifade söylenebilir.
- B) Öncüller doğruysa sonuç kesindir: Tümdengelimli akıl yürütmenin temel özelliklerinden biri budur. Eğer öncüller (verilen bilgiler) doğruysa ve çıkarım geçerliyse, sonuç %100 kesindir ve kaçınılmazdır. Bu örnekte öncüller de doğrudur, dolayısıyla sonuç kesindir. Bu ifade söylenebilir.
- C) Genelden özele giden bir yoldur: İlk öncül ("Tüm asal sayılar 1'den büyüktür") genel bir kuralı ifade eder. İkinci öncül ("2 bir asal sayıdır") bu genel kuralın uygulanacağı özel bir durumu belirtir. Sonuç ("2, 1'den büyüktür") ise bu özel durum için çıkarılan özel bir hükümdür. Bu, tümdengelimli akıl yürütmenin "genelden özele" doğru ilerlediğini gösterir. Bu ifade söylenebilir.
- D) Gözleme dayalı bir yöntemdir: Gözleme dayalı yöntemler genellikle tümevarım (endüktif) akıl yürütme ile ilişkilidir. Tümevarımda, belirli gözlemlerden veya deneylerden yola çıkılarak genel bir kurala veya sonuca ulaşılmaya çalışılır (örneğin, birçok kuğunun beyaz olduğu gözlemlenip "tüm kuğular beyazdır" sonucuna varılması gibi). Ancak verilen örnekte, "2'nin 1'den büyük olduğu" sonucuna ulaşmak için herhangi bir gözlem yapılmasına gerek yoktur; bu sonuç, zaten doğru olduğu kabul edilen genel bir kuraldan (asal sayı tanımı ve özelliği) ve özel bir durumdan (2'nin asal olması) mantıksal olarak çıkarılmıştır. Bu akıl yürütme, mantıksal çıkarım üzerine kuruludur, gözlem üzerine değil. Bu nedenle, bu ifade söylenemez.
Doğru cevap D seçeneğidir.
