Soru:
Aşağıdaki argümanın yapısını tanımlayınız ve geçerliliğini değerlendiriniz.
Öncüller:
- Bütün memeliler omurgalıdır.
- Bütün kediler memelidir.
Sonuç:
- O halde, bütün kediler omurgalıdır.
Çözüm:
Bu, klasik mantıkta (kıyas/categorical logic) yer alan bir argümandır. Yapısını anlamak için terimleri gruplamak faydalı olur.
- ➡️ 1. Adım: Argümanın Yapısını (Formunu) Çıkar
Bu argümanın formu şudur:
Bütün M, O'dur. (Memeliler, Omurgalıdır)
Bütün K, M'dir. (Kediler, Memelidir)
O halde, bütün K, O'dur. (Kediler, Omurgalıdır)
Bu yapı, mantıkta Barbara Kıyası olarak bilinen geçerli bir formdur.
- ➡️ 2. Adım: Geçerliliği ve Sağlamlığı Değerlendir
Geçerlilik, argümanın yapısı ile ilgilidir. Bu formda, öncüller doğru kabul edildiğinde sonucun yanlış olması imkansızdır. Bu nedenle argüman geçerlidir.
Sağlamlık ise argümanın hem geçerli hem de öncüllerinin gerçekte doğru olmasıdır. Bu örnekte, "Bütün memeliler omurgalıdır" ve "Bütün kediler memelidir" öncülleri gerçekte doğrudur.
✅ Sonuç: Bu argüman, geçerli bir forma (Barbara Kıyası) sahiptir ve aynı zamanda öncülleri gerçekte doğru olduğu için sağlam (sound) bir argümandır.
