"Tüm A'lar B'dir. Hiçbir B C değildir. O halde hiçbir A C değildir." Bu argümanın geçerli olup olmadığını test etmek için aşağıdaki yöntemlerden hangisi kullanılır?
A) Önermelerin günlük hayatta doğru olup olmadığına bakmak
B) Mantıksal formunu incelemek
C) Tutarlı olup olmadığını kontrol etmek
D) İnsanların bu argümana inanıp inanmadığını araştırmak
Sevgili öğrenciler,
Bir argümanın geçerliliğini test etmek, mantıkta temel bir beceridir. Bu soruda verilen argümanın geçerliliğini nasıl test edeceğimizi adım adım inceleyelim:
- Argüman Nedir? Bir argüman, bir veya daha fazla öncülden (premise) ve bu öncüllerden çıkarılan bir sonuçtan (conclusion) oluşur. Amacı, öncüllerin doğru olması durumunda sonucun da doğru olduğunu göstermektir.
- Geçerlilik (Validity) Nedir? Mantıkta bir argümanın "geçerli" olması, öncüllerin doğru olması durumunda sonucun zorunlu olarak doğru olması demektir. Geçerlilik, argümanın içeriğiyle (yani öncüllerin veya sonucun gerçek hayatta doğru olup olmadığıyla) değil, argümanın yapısıyla veya mantıksal formuyla ilgilidir. Başka bir deyişle, öncüller doğru kabul edildiğinde sonucun yanlış olmasının imkansız olması durumunda argüman geçerlidir.
- Verilen Argümanı İnceleyelim: Argümanımız şöyledir: "Tüm A'lar B'dir. Hiçbir B C değildir. O halde hiçbir A C değildir." Bu argüman, kategorik bir tasım örneğidir. Geçerli olup olmadığını anlamak için, A, B ve C'nin ne anlama geldiğine bakmaksızın, bu önermeler arasındaki ilişkinin mantıksal yapısını incelememiz gerekir.
- Seçenekleri Değerlendirelim:
A) Önermelerin günlük hayatta doğru olup olmadığına bakmak: Bu, argümanın "sağlamlığını" (soundness) test etmekle ilgilidir. Sağlam bir argüman hem geçerli olmalı hem de tüm öncülleri gerçek hayatta doğru olmalıdır. Ancak soru sadece "geçerliliği" sormaktadır. Geçerlilik için öncüllerin gerçek hayatta doğru olması şart değildir, sadece doğru KABUL EDİLDİĞİNDE sonucun zorunlu olup olmadığına bakılır.
B) Mantıksal formunu incelemek: Bu, bir argümanın geçerliliğini test etmenin doğru yoludur. Argümanın yapısını soyutlayarak (örneğin, Venn diyagramları kullanarak veya sembolik mantık kurallarıyla) öncüllerin doğru olması durumunda sonucun zorunlu olarak doğru olup olmadığını kontrol ederiz. Verilen argüman için, "Tüm A'lar B'dir" ve "Hiçbir B C değildir" öncüllerinden "Hiçbir A C değildir" sonucunun mantıksal olarak zorunlu olup olmadığını inceleriz. Bu, geçerliliğin tanımıyla birebir örtüşür.
C) Tutarlı olup olmadığını kontrol etmek: Tutarlılık (consistency), bir dizi önermenin aynı anda doğru olmasının mümkün olup olmadığını ifade eder. Bir argümanın öncülleri tutarlı olabilir, ancak argüman yine de geçersiz olabilir (yani öncüller doğruyken sonuç yanlış olabilir). Geçerlilik, öncüllerden sonuca yapılan çıkarımın doğruluğuyla ilgilidir.
D) İnsanların bu argümana inanıp inanmadığını araştırmak: Bu, argümanın ikna ediciliği veya psikolojik etkisiyle ilgilidir, mantıksal geçerliliğiyle değil. Bir argüman geçerli olsa bile insanlar ona inanmayabilir veya geçersiz bir argümana inanabilirler.
Bu nedenle, bir argümanın geçerli olup olmadığını test etmek için onun mantıksal yapısını ve formunu incelememiz gerekir.
Cevap B seçeneğidir.
