"Tüm kuşlar uçar. Penguenler kuştur. O halde penguenler uçar."
Bu argüman için aşağıdakilerden hangisi doğrudur?
A) Geçerli ve sağlamdır
B) Geçerli ama sağlam değildir
C) Geçersiz ama sağlamdır
D) Geçersiz ve sağlam değildir
Merhaba sevgili öğrenciler,
Bu soruda, verilen bir argümanın mantıksal özelliklerini, yani "geçerlilik" ve "sağlamlık" kavramlarını anlamamız isteniyor. Adım adım bu kavramları açıklayarak argümanımızı inceleyelim:
- Argümanı Anlayalım:
- Öncül 1: Tüm kuşlar uçar.
- Öncül 2: Penguenler kuştur.
- Sonuç: O halde penguenler uçar.
- Geçerlilik (Validity) Nedir?
- Bir argüman, eğer öncülleri doğru KABUL EDİLDİĞİNDE sonucun zorunlu olarak doğru olması gerekiyorsa "geçerlidir".
- Geçerlilik, argümanın mantıksal yapısıyla ilgilidir, öncüllerin gerçek dünyadaki doğruluğuyla değil.
- Yani, "Eğer P1 doğruysa ve P2 doğruysa, o zaman S de kesinlikle doğrudur" diyebiliyorsak, argüman geçerlidir.
- Argümanımızın Geçerliliğini İnceleyelim:
- Yukarıdaki argümanın yapısı şöyledir: "Tüm A'lar B'dir. C bir A'dır. O halde C bir B'dir."
- Bu, mantıkta bilinen geçerli bir çıkarım biçimidir (kategorik bir kıyas).
- Eğer "Tüm kuşlar uçar" ve "Penguenler kuştur" öncüllerini doğru kabul edersek, mantıksal olarak "Penguenler uçar" sonucuna varmak zorundayız.
- Bu nedenle, argüman geçerlidir.
- Sağlamlık (Soundness) Nedir?
- Bir argüman, hem geçerli hem de tüm öncülleri gerçek dünyada doğru ise "sağlamdır".
- Sağlamlık, hem mantıksal yapının doğruluğunu (geçerlilik) hem de argümanın gerçeklikle uyumunu (öncüllerin doğruluğu) gerektirir.
- Eğer bir argüman geçerli değilse veya öncüllerinden en az biri gerçekte yanlışsa, o argüman sağlam değildir.
- Argümanımızın Sağlamlığını İnceleyelim:
- Argümanımızın geçerli olduğunu zaten bulduk. Şimdi öncüllerin gerçek dünyadaki doğruluğuna bakalım:
- Öncül 1: "Tüm kuşlar uçar." Bu öncül gerçekte doğru mudur? Hayır. Penguenler, deve kuşları, emular gibi birçok kuş türü uçamaz. Dolayısıyla, bu öncül yanlıştır.
- Öncül 2: "Penguenler kuştur." Bu öncül gerçekte doğru mudur? Evet, penguenler biyolojik olarak kuş sınıfına aittir. Bu öncül doğrudur.
- Bir argümanın sağlam olabilmesi için tüm öncüllerinin doğru olması gerekir. Bizim argümanımızda ilk öncül yanlış olduğu için, argüman sağlam değildir.
- Sonuç:
- Argümanımız mantıksal yapısı itibarıyla geçerlidir.
- Ancak, öncüllerinden biri (Tüm kuşlar uçar) gerçek dünyada yanlış olduğu için sağlam değildir.
Bu durumda, doğru seçenek "Geçerli ama sağlam değildir" ifadesini içeren B seçeneğidir.
Cevap B seçeneğidir.
