Mantık ve argümantasyon temel kavramları test Test 2

"Hiçbir kuş memeli değildir. Penguen bir kuştur. O halde penguen memeli değildir."
Bu argümanın geçerli olup olmadığını test etmek için aşağıdaki yöntemlerden hangisi kullanılabilir?

A) Ockham'ın usturası
B) Doğrulama ilkesi
C) Karşı örnek yöntemi
D) Tümevarım yöntemi

Verilen argümanın geçerliliğini test etmek için en uygun yöntemi bulmak amacıyla, öncelikle argümanın ne anlama geldiğini ve geçerliliğin mantıkta ne ifade ettiğini anlamamız gerekir.

• Argümanı Anlayalım:

  Verilen argüman şöyledir:

• Öncül 1: Hiçbir kuş memeli değildir.
• Öncül 2: Penguen bir kuştur.
• Sonuç: O halde penguen memeli değildir.
• Bu argüman, mantıkta "kategorik tasım" olarak bilinen bir tümdengelimsel argüman türüdür. Bir argümanın geçerliliği, öncüller doğru kabul edildiğinde sonucun zorunlu olarak doğru olup olmadığıyla ilgilidir. Yani, öncüller doğruysa sonucun yanlış olma ihtimali yoksa argüman geçerlidir. Argümanın geçerliliği, öncüllerin veya sonucun gerçek hayattaki doğruluğundan bağımsızdır; sadece argümanın mantıksal yapısıyla ilgilidir.
• Seçenekleri Değerlendirelim:
• A) Ockham'ın usturası: Bu, birbiriyle yarışan hipotezler arasında en az varsayıma sahip olanın tercih edilmesi gerektiğini belirten bir problem çözme ilkesidir. Bilimsel veya felsefi açıklamalarda sadeliği teşvik eder, ancak argümanların mantıksal geçerliliğini test etmek için kullanılan bir yöntem değildir.
• B) Doğrulama ilkesi: Bu ilke, bir ifadenin ancak ampirik olarak (deney ve gözlem yoluyla) doğrulanabiliyorsa anlamlı olduğunu savunan felsefi bir görüştür (mantıksal pozitivizmle ilişkilidir). Argümanların mantıksal geçerliliğini test etmekle ilgili değildir; daha çok ifadelerin anlamlılığıyla ilgilenir.
• C) Karşı örnek yöntemi: Bu yöntem, bir argümanın geçersiz olduğunu göstermek için kullanılır. Eğer öncüllerin doğru olduğu ancak sonucun yanlış olduğu bir durum (bir "karşı örnek") bulunabilirse, o argüman geçersizdir. Eğer bir argüman geçerliyse, böyle bir karşı örnek bulunamaz. Dolayısıyla, bir argümanın geçerliliğini test etmek için karşı örnek aramaya çalışmak, standart ve etkili bir yöntemdir. Eğer karşı örnek bulunamazsa, bu argümanın geçerli olduğuna dair güçlü bir kanıt olur. Verilen argüman (Hiçbir A, B değildir; C, A'dır; o halde C, B değildir) geçerli bir mantıksal yapıya sahiptir, bu yüzden ona karşı bir örnek bulmak mümkün değildir. Karşı örnek bulma girişiminin başarısız olması, argümanın geçerliliğini test etme sürecinin bir parçasıdır.
• D) Tümevarım yöntemi: Tümevarım, özel gözlemlerden genel sonuçlara ulaşma yöntemidir ve sonuçlar kesinlik değil, olasılık taşır. Tümevarımsal argümanlar "geçerli" değil, "güçlü" veya "zayıf" olarak değerlendirilir. Verilen argüman ise tümdengelimsel bir argümandır ve kesinlik iddiasındadır. Tümevarım, bu tür bir argümanın mantıksal geçerliliğini test etmek için uygun değildir.
• Sonuç: Bir argümanın geçerliliğini test etmek için, argümanın mantıksal yapısını inceleyerek öncüller doğruyken sonucun yanlış olabileceği bir durum (karşı örnek) olup olmadığını araştırmalıyız. Eğer böyle bir durum bulunamazsa, argüman geçerlidir. Bu nedenle, karşı örnek yöntemi, argümanın geçerliliğini test etmek için kullanılan doğru yaklaşımdır.

Cevap C seçeneğidir.