Bir akıl yürütmenin geçerli olması için aşağıdaki koşullardan hangisi yeterlidir?
A) Öncüllerin ve sonucun doğru olmasıMerhaba sevgili öğrenciler!
Mantıkta bir akıl yürütmenin (argümanın) geçerli olması, onun yapısıyla, yani öncüller ile sonuç arasındaki mantıksal ilişkiyle ilgilidir. Geçerlilik, öncüllerin gerçek dünyadaki doğruluğundan bağımsız olarak, öncüllerden sonucun zorunlu olarak çıkıp çıkmadığını ifade eder. Gelin seçenekleri tek tek inceleyelim:
Tüm kuşlar kanatlıdır. (Doğru öncül)
Penguenler kanatlıdır. (Doğru öncül)
O halde, penguenler kuştur. (Doğru sonuç)
Bu örnekte tüm öncüller ve sonuç doğrudur. Ancak akıl yürütmenin yapısı ("Tüm A'lar B'dir, C B'dir, o halde C A'dır" şeklinde) geçersizdir. Çünkü kanatlı olmak, bir şeyi kuş yapmaya yetmez (örneğin, uçaklar da kanatlıdır ama kuş değildir). Bu yüzden, öncüllerin ve sonucun doğru olması geçerlilik için yeterli değildir.
Tüm insanlar ölümlüdür. (Doğru öncül)
Sokrates insandır. (Doğru öncül)
O halde, Ay peynirden yapılmıştır. (Yanlış sonuç)
Burada öncüller doğruyken sonuç tamamen alakasız ve yanlıştır. Akıl yürütme açıkça geçersizdir.
Tüm balıklar uçar. (Yanlış öncül)
Tüm kuşlar balıktır. (Yanlış öncül)
O halde, tüm kuşlar uçar. (Doğru sonuç)
Bu örnekte sonuç doğru olmasına rağmen, öncüller yanlıştır ve akıl yürütme biçimi geçersizdir. Geçerlilik, sonucun doğruluğundan ziyade, öncüllerden sonucun zorunlu olarak çıkıp çıkmadığıyla ilgilidir.
Bu nedenle, bir akıl yürütmenin geçerli olması için yeterli koşul, öncüller doğru kabul edildiğinde sonucun yanlış olmasının imkansız olmasıdır.
Cevap D seçeneğidir.