"Tüm kuşlar uçar. Penguen bir kuştur. O halde penguen uçar."
Bu akıl yürütme için aşağıdakilerden hangisi doğrudur?
A) Hem geçerli hem doğru
B) Geçerli ama doğru değil
C) Geçersiz ama doğru
D) Geçersiz ve doğru değil
Sevgili öğrenciler, bu tür bir akıl yürütmeyi değerlendirirken iki temel kavramı anlamamız çok önemlidir: Geçerlilik (Validity) ve Doğruluk (Truth/Soundness).
- Geçerlilik (Validity): Bir akıl yürütmenin geçerli olması, sonucun öncüllerden mantıksal olarak zorunlu bir şekilde çıkması demektir. Yani, eğer öncüller doğru kabul edilirse, sonucun da mutlaka doğru olması gerekir. Akıl yürütmenin yapısı veya biçimiyle ilgilidir, öncüllerin gerçek dünyadaki doğruluğuyla değil.
- Doğruluk (Truth): Bir önermenin veya ifadenin gerçek dünyadaki olgularla uyumlu olmasıdır. Bir akıl yürütmenin "doğru" (veya daha teknik tabirle "sağlam/sound") olabilmesi için hem geçerli olması hem de tüm öncüllerinin gerçek dünyada doğru olması gerekir.
Şimdi verilen akıl yürütmeyi adım adım inceleyelim:
- Akıl Yürütme:
- Öncül 1: Tüm kuşlar uçar.
- Öncül 2: Penguen bir kuştur.
- Sonuç: O halde penguen uçar.
1. Geçerlilik Analizi:
- Bu akıl yürütme, klasik bir tümdengelim (dedüktif) biçimine sahiptir: "Tüm A'lar B'dir. C bir A'dır. O halde C bir B'dir."
- Eğer "Tüm kuşlar uçar" ve "Penguen bir kuştur" öncüllerini doğru kabul edersek, "Penguen uçar" sonucu mantıksal olarak zorunlu bir şekilde çıkar.
- Bu nedenle, akıl yürütme geçerlidir. Yapısı kusursuzdur.
2. Doğruluk Analizi:
- Öncül 1: "Tüm kuşlar uçar." Bu önerme gerçek dünyada doğru mudur? Hayır. Penguenler, devekuşları, kiviler gibi uçamayan kuşlar vardır. Dolayısıyla bu öncül yanlıştır.
- Öncül 2: "Penguen bir kuştur." Bu önerme gerçek dünyada doğru mudur? Evet, penguenler biyolojik olarak kuş sınıfına aittir. Dolayısıyla bu öncül doğrudur.
- Sonuç: "O halde penguen uçar." Bu sonuç gerçek dünyada doğru mudur? Hayır, penguenler uçmaz. Dolayısıyla bu sonuç yanlıştır.
Sonuçların Birleştirilmesi:
- Akıl yürütme geçerlidir çünkü sonuç öncüllerden mantıksal olarak çıkar.
- Ancak, akıl yürütme doğru değildir (veya sağlam değildir) çünkü öncüllerden en az biri (Öncül 1) gerçek dünyada yanlıştır ve sonuç da gerçek dünyada yanlıştır. Bir akıl yürütmenin "doğru" olabilmesi için hem geçerli olması hem de tüm öncüllerinin gerçek dünyada doğru olması gerekir. Burada öncüllerden biri yanlış olduğu için akıl yürütme genel olarak "doğru" kabul edilemez.
Bu durumda, akıl yürütme geçerli ama doğru değildir.
Cevap B seçeneğidir.
