Akıl Yürütmenin Mimarisi: Mantıkta Argüman Sağlamlığı ve Koşul İlişkileri
Mantıkta sağlam bir argüman kurmak, bir binayı inşa etmeye benzer: Malzemelerin (öncüllerin) doğru, mimari yapının (çıkarımın) geçerli ve yeterli olması gerekir. Bu kavramların birbiriyle nasıl bağlandığını adım adım ve örneklerle inceleyelim. 1. Doğruluk (Truth) Doğruluk, argümanın mantık yapısıyla değil, içerdiği önermelerin dış dünyadaki gerçeklerle uyuşup uyuşmadığıyla ilgilidir. Sadece önermeler (cümleler) "doğru" veya "yanlış" olabilir. • Doğru Önerme: "Bütün insanlar solunum yapar." (Gerçekle örtüşür) • Yanlış Önerme: "Bütün kuşlar uçabilir." (Penguen veya devekuşu uçamadığı için yanlıştır) 2. Geçerlilik (Validity) Geçerlilik, önermelerin içeriğiyle değil, argümanın formu/mantıksal yapısı ile ilgilidir. Bir çıkarımda, öncüllerin doğru olduğu varsayıldığında sonucun yanlış olması imkânsızsa o çıkarım geçerlidir. Geçerlilikte önemli olan "Gerçekte öyle mi?" sorusu değil, "Öncüller doğru kabul edilirse bu sonuç mantı...