Bir argümanın geçerli olması ile sağlam olması arasındaki fark nedir?
A) Geçerlilik öncüllerin, sağlamlık sonucun doğruluğu ile ilgilidirDeğerli öğrenciler, mantık ve felsefe derslerinde sıkça karşımıza çıkan, ancak bazen karıştırılabilen iki önemli kavram olan geçerlilik ve sağlamlık arasındaki farkı adım adım inceleyelim.
Öncelikle, bir argümanın ne olduğunu hatırlayalım. Bir argüman, bir veya daha fazla öncülden (destekleyici ifadeler) ve bu öncüllerden çıkarılan bir sonuçtan oluşan bir iddia setidir. Amacı, sonucun doğruluğunu öncüller aracılığıyla göstermektir.
Bir argümanın geçerli olması, onun mantıksal yapısıyla ilgilidir. Eğer bir argüman geçerliyse, bu şu anlama gelir: Öncüller doğru KABUL EDİLİRSE, sonucun da zorunlu olarak doğru olması gerekir.
Geçerlilikte, öncüllerin gerçek hayatta doğru olup olmadığına bakılmaz. Sadece öncüllerin doğru olduğu varsayıldığında, sonucun mantıksal olarak onlardan çıkıp çıkmadığına odaklanılır.
Örnek: "Tüm kediler hayvandır. Pamuk bir kedidir. O halde Pamuk bir hayvandır." Bu argüman geçerlidir. Çünkü öncüller doğru kabul edildiğinde, sonuç zorunlu olarak doğrudur.
Örnek: "Tüm kuşlar uçar. Penguenler kuştur. O halde penguenler uçar." Bu argüman da geçerlidir. Çünkü mantıksal yapı kusursuzdur. Öncüller doğru olsaydı, sonuç da doğru olmak zorunda kalırdı. (Gerçekte "Tüm kuşlar uçar" öncülü yanlış olsa da, argümanın mantıksal yapısı geçerlidir. Bu, geçerliliğin öncüllerin gerçek doğruluğuyla doğrudan ilgilenmediğini gösterir.)
Bir argümanın sağlam olması, hem mantıksal yapısının geçerli olması hem de tüm öncüllerinin gerçekte doğru olması durumudur.
Sağlam bir argüman, hem mantıksal olarak kusursuzdur (geçerlidir) hem de gerçek dünya ile uyumludur (öncülleri doğrudur).
Sağlam bir argümanın sonucu her zaman doğrudur. Çünkü hem mantık doğru çalışır hem de başlangıç noktaları (öncüller) gerçektir.
Örnek: "Tüm kediler hayvandır. Pamuk bir kedidir. O halde Pamuk bir hayvandır." Bu argüman hem geçerlidir hem de öncülleri gerçekte doğrudur. Dolayısıyla bu argüman sağlamdır.
Örnek: "Tüm kuşlar uçar. Penguenler kuştur. O halde penguenler uçar." Bu argüman geçerli olmasına rağmen, "Tüm kuşlar uçar" öncülü gerçekte doğru değildir (penguenler uçmaz). Bu nedenle bu argüman sağlam değildir.
Geçerlilik sadece argümanın iç mantıksal tutarlılığına, yani öncüller doğru kabul edildiğinde sonucun zorunlu olarak çıkıp çıkmadığına bakar.
Sağlamlık ise hem bu mantıksal tutarlılığa (geçerliliğe) hem de öncüllerin gerçek dünyadaki doğruluğuna bakar.
Bir argüman geçerli olabilir ama sağlam olmayabilir (öncülleri yanlışsa).
Bir argüman sağlam ise, zorunlu olarak geçerlidir de.
Şimdi seçenekleri değerlendirelim:
Cevap B seçeneğidir.