Soru:
Aşağıdaki akıl yürütme geçerli midir? Neden?
Öncül 1: Tüm insanlar ölümlüdür.
Öncül 2: Sokrates bir insandır.
Sonuç: Öyleyse, Sokrates ölümlüdür.
Çözüm:
💡 Bu, mantık tarihinin en ünlü geçerli argümanlarından biridir. Geçerliliğini test etmek için argümanın formuna bakacağız.
- ➡️ Birinci adım: Argümanı sembolleştirelim. P: Tüm insanlar ölümlüdür. Q: Sokrates bir insandır. R: Sokrates ölümlüdür. Ancak bu argümanın gücü, daha basit bir kalıpta olmasıdır: "Tüm M'ler P'dir. S bir M'dir. Öyleyse S bir P'dir."
- ➡️ İkinci adım: Geçerlilik testi uygulayalım. Öncüllerin (P ve Q) doğru olduğunu varsayalım. Bu durumda, "Tüm insanlar ölümlü" ve "Sokrates bir insan" ise, "Sokrates ölümlüdür" sonucunun yanlış olması mümkün müdür? Hayır, mümkün değildir. Sonuç, öncüllerden zorunlu olarak çıkar.
- ➡️ Üçüncü adım: Öncüllerin gerçekte doğru olup olmaması geçerliliği etkilemez. Örneğin, "Tüm insanlar kuştur" ve "Sokrates bir insandır" öncüllerinden "Sokrates bir kuştur" sonucu çıkar. Bu öncüller yanlış olmasına rağmen, argümanın formu hala geçerlidir.
✅ Sonuç: Bu akıl yürütme, sonucun yanlış olmasının öncüller doğruyken imkansız olması nedeniyle geçerlidir.
