Soru:
Aşağıdaki akıl yürütmenin geçerli olup olmadığını belirleyiniz.
Öncüller:
- Tüm insanlar ölümlüdür.
- Sokrates bir insandır.
Sonuç:
- O halde, Sokrates ölümlüdür.
Çözüm:
💡 Bu, mantıkta geçerliliği anlamak için klasik bir örnektir. Geçerlilik, öncüllerin doğru olduğu kabul edildiğinde sonucun mutlaka doğru olması durumudur. Forma odaklanırız, içeriğe değil.
- ➡️ 1. Adım: Öncülleri sembolize edelim. "Tüm insanlar ölümlüdür" ifadesi, "Tüm H'ler M'dir" şeklinde temsil edilebilir. "Sokrates bir insandır" ifadesi ise "S, H'dir" şeklindedir.
- ➡️ 2. Adım: Bu öncüllerden, "S, M'dir" (Sokrates ölümlüdür) sonucuna ulaşırız. Bu, mantıksal formu gereği zorunlu bir çıkarımdır.
- ➡️ 3. Adım: Geçerlilik testi: Öncüllerin doğru olduğu her durumda sonuç da doğru mudur? Evet. Sokrates'in insan olması ve tüm insanların ölümlü olması, Sokrates'in de ölümlü olmasını kaçınılmaz kılar.
✅ Sonuç: Bu akıl yürütmenin geçerli olduğunu söyleriz, çünkü öncüller ile sonuç arasındaki mantıksal ilişki zorunludur.
