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ıken kaçınılmaz mı?" sorusudur.

Geçerli ama Gerçekte Yanlış Bir Örnek:

​1. Öncül: Bütün balıklar karada yaşar. (Yanlış)

​2. Öncül: Hamsi bir balıktır. (Doğru)

​Sonuç: O halde hamsi karada yaşar.

​Mantıksal Durum: Bu argüman GEÇERLİDİR. Çünkü öncüller doğru sayılsaydı, çıkan sonuç kaçınılmaz olurdu. Ancak içeriği gerçekle uyuşmaz.

​3. Yeterlilik (Sufficiency)

​Bir çıkarımda sunulan öncüllerin, varılan sonucu hiçbir açık veya şüphe bırakmayacak şekilde desteklemeye yetip yetmediğidir. Öncüller doğru ve mantıklı olsa bile sonucu kanıtlamaya yetersiz kalabilir.

Yetersiz Öncül Örneği:

​1. Öncül: Cinayetin işlendiği saatte Ali evin yakınlarındaydı. (Doğru)

​2. Öncül: Ali'nin elinde bir leke vardı. (Doğru)

​Sonuç: O halde cinayeti Ali işlemiştir.

​Mantıksal Durum: Öncüller doğru olabilir ancak Ali'nin katil olduğu sonucunu çıkarmak için YETERSİZDİR. Ali tesadüfen oradan geçiyor veya elindeki leke boya olabilir.

Gerekli ama yeterli olmayan şart; bir sonucun gerçekleşebilmesi için mutlaka var olması gereken, ancak tek başına o sonucu ortaya çıkarmaya gücü yetmeyen durumdur.

​Bu ilişkiyi iki basit kural üzerinden düşünebilirsiniz:

​Gereklilik: O şart yoksa, sonuç kesinlikle gerçekleşemez.

​Yetersizlik: O şartın varlığı, sonucun gerçekleşeceğini garanti etmez (başka şartların da eklenmesi gerekir).

​Somut Örnekler

Doğa Bilimleri Örneği: Oksijen ve Ateş

​Şart: Ortamda oksijen bulunması.

Sonuç: Yangın çıkması.

​Analiz: Oksijen yoksa yangın çıkamaz (bu yüzden gerekli şarttır). Fakat sadece ortamda oksijen var diye yangın çıkmaz (bu yüzden yeterli değildir). Yangının çıkması için ısı ve yanıcı maddenin de ortama eklenmesi gerekir.

​4. Sağlamlık (Soundness)

​Mantıktaki en üst seviyedir. Bir argümanın sağlam (sound) olabilmesi için iki temel kuralı aynı anda sağlaması gerekir:

1. ​Yapısal Geçerlilik: Çıkarımın mantıksal formu kusursuz olmalı.

2. ​İçerik Doğruluğu: Kullanılan tüm öncüller gerçek dünyada kesinlikle doğru olmalı.

Sağlam Bir Argüman Örneği:

​1. Öncül: Bütün memeliler akciğer solunumu yapar. (Doğru öncül)

​2. Öncül: Balinalar birer memelidir. (Doğru öncül)

​Sonuç: O halde balinalar akciğer solunumu yapar. (Kaçınılmaz ve Doğru Sonuç)

​Neden Sağlam?

• ​Öncüller gerçekle birebir örtüşüyor (Doğruluk var).

• ​Öncüller sonucu mantıken zorunlu kılıyor (Geçerlilik var).

• ​Sunulan kanıtlar sonucu kanıtlamak için eksiksiz (Yeterlilik var).