Aşağıdakilerden hangisi bir argümanın geçerli olması için gerekli koşullardan biri değildir?
A) Öncüllerin doğru olması
B) Sonucun öncüllerden zorunlu olarak çıkması
C) Argüman formunun geçerli olması
D) Tüm önermelerin açıkça ifade edilmesi
Bir argümanın geçerliliği, mantıkta çok önemli bir kavramdır ve argümanın yapısıyla ilgilidir, içeriğinin doğruluğuyla değil. Geçerli bir argümanda, eğer tüm öncüller doğru kabul edilirse, sonucun da zorunlu olarak doğru olması gerekir. Şimdi seçenekleri bu tanım ışığında adım adım inceleyelim:
- A) Öncüllerin doğru olması: Mantıkta bir argümanın geçerli olması için öncüllerinin fiilen doğru olması şart değildir. Geçerlilik, öncüllerin doğru *olması durumunda* sonucun zorunlu olarak çıkıp çıkmayacağıyla ilgilidir. Örneğin, "Tüm kediler uçar. Fido bir kedidir. O halde Fido uçar." argümanı geçerlidir, çünkü öncüller doğru olsaydı sonuç zorunlu olarak doğru olurdu. Ancak, ilk öncül ("Tüm kediler uçar") yanlıştır. Öncüllerin doğru olması, argümanın "sağlam" (hem geçerli hem de öncülleri doğru olan) olması için gereklidir. Dolayısıyla, sadece "geçerlilik" açısından bakıldığında, öncüllerin doğruluğu doğrudan bir koşul değildir.
- B) Sonucun öncüllerden zorunlu olarak çıkması: Bu, geçerli bir argümanın temel tanımıdır. Eğer bir argümanda öncüller doğruyken sonucun yanlış olması imkansızsa, o argüman geçerlidir. Sonuç öncüllerden zorunlu olarak çıkmıyorsa, argüman geçersizdir. Bu nedenle, bu geçerlilik için mutlak bir koşuldur.
- C) Argüman formunun geçerli olması: Bir argümanın geçerliliği, onun mantıksal formundan (yapısından) kaynaklanır. Geçerli bir forma sahip olan her argüman, içeriği ne olursa olsun geçerli olacaktır. Örneğin, "Eğer P ise Q. P. O halde Q." (Modus Ponens) geçerli bir formdur. Bu da geçerlilik için temel bir koşuldur.
- D) Tüm önermelerin açıkça ifade edilmesi: Önermelerin açıkça ifade edilmesi, bir argümanın anlaşılması, değerlendirilmesi ve başkalarına iletilmesi için son derece önemlidir. Ancak, bir argümanın mantıksal yapısının (yani geçerliliğinin) kendisi için doğrudan bir koşul değildir. Bir argüman, karmaşık, belirsiz veya kötü bir dille ifade edilmiş olsa bile, eğer mantıksal yapısı doğruysa geçerli olabilir. Açıklık, argümanın geçerliliğini tespit etmemize yardımcı olur, ancak argümanı geçerli kılmaz. Geçerlilik, argümanın içsel mantıksal bir özelliğidir, sunum şekliyle ilgili değildir.
Yukarıdaki açıklamalara göre, B ve C seçenekleri geçerliliğin doğrudan tanımlayıcı ve temel koşullarıdır. A seçeneği ise geçerlilikten ziyade "sağlamlık" kavramıyla daha yakından ilişkilidir. Ancak D seçeneği, argümanın mantıksal yapısıyla değil, onun anlaşılırlığı ve sunumuyla ilgili bir durumdur. Bir argümanın geçerliliği, ne kadar açık ifade edildiğinden bağımsız olarak var olan yapısal bir özelliktir.
Cevap D seçeneğidir.