"Tüm A'lar B'dir. Tüm B'ler C'dir. O halde tüm A'lar C'dir."
Bu argüman formu için aşağıdakilerden hangisi doğrudur?
A) Her zaman sağlamdır
B) Her zaman geçerlidir
C) Her zaman ikna edicidir
D) Her zaman doğru sonuç verir
Merhaba sevgili öğrenciler!
Bu soru, mantık ve argümanların temel kavramlarını anlamamızı gerektiriyor. Verilen argüman formunu adım adım inceleyelim ve doğru cevabı neden B seçeneği olduğunu açıklayalım.
- Argüman Formu Nedir?
Bize verilen ifade bir argüman formudur:
- Tüm A'lar B'dir. (Öncül 1)
- Tüm B'ler C'dir. (Öncül 2)
- O halde tüm A'lar C'dir. (Sonuç)
Bu, mantıkta "kategorik tasım" olarak bilinen bir çıkarım türüdür.
- Temel Kavramları Anlayalım:
- Doğruluk (Truth): Bir önermenin (cümle, iddia) gerçek dünyayla uyumlu olup olmamasıdır. Bir önerme ya doğrudur ya da yanlıştır. Örneğin, "Güneş bir yıldızdır" doğru bir önermedir; "Kediler uçar" yanlış bir önermedir. Doğruluk, tek tek öncüller veya sonuç için geçerlidir.
- Geçerlilik (Validity): Bir argümanın mantıksal yapısıyla ilgilidir. Bir argüman, eğer öncülleri doğruysa, sonucunun da zorunlu olarak doğru olması gerekiyorsa geçerlidir. Başka bir deyişle, geçerli bir argümanda, öncüllerin doğru olup da sonucun yanlış olması imkansızdır. Geçerlilik, öncüllerin veya sonucun gerçekte doğru olup olmadığına bakmaz, sadece "eğer" öncüller doğruysa sonucun ne olacağına bakar.
- Sağlamlık (Soundness): Bir argümanın hem geçerli olması hem de tüm öncüllerinin gerçekten doğru olması durumudur. Sağlam bir argümanın sonucu her zaman doğrudur.
- İkna Edicilik (Persuasiveness): Bir argümanın dinleyiciyi veya okuyucuyu ikna etme gücüdür. Bu, mantıksal geçerlilikten veya sağlamlıktan bağımsız olabilir; retorik, duygusal çekicilik gibi faktörlere bağlıdır.
- Verilen Argüman Formunu İnceleyelim:
"Tüm A'lar B'dir. Tüm B'ler C'dir. O halde tüm A'lar C'dir."
Bu argüman formuna bir örnek verelim:
- Tüm kediler memelidir. (Öncül 1)
- Tüm memeliler hayvandır. (Öncül 2)
- O halde tüm kediler hayvandır. (Sonuç)
Bu örnekte, öncüller doğruysa, sonucun da doğru olması kaçınılmazdır. Kediler memeliyse ve memeliler de hayvansa, kedilerin hayvan olması mantıksal bir zorunluluktur. Bu, argümanın yapısının doğru olduğu anlamına gelir.
- Neden "Her zaman geçerlidir"?
Yukarıdaki örnekte olduğu gibi, bu argüman formunun yapısı gereği, öncüllerin doğru olduğunu varsaydığımızda, sonucun yanlış olması imkansızdır. Bu, geçerliliğin tanımıdır. Argümanın kendisi, öncüllerin içeriğinden bağımsız olarak, mantıksal olarak kusursuz bir geçişe sahiptir.
Şimdi diğer seçenekleri neden elememiz gerektiğini açıklayalım:
- A) Her zaman sağlamdır: Sağlamlık için hem geçerlilik hem de öncüllerin gerçekte doğru olması gerekir. Bu argüman formu geçerli olsa da, öncülleri yanlış olabilir. Örneğin: "Tüm insanlar kuştur. Tüm kuşlar uçar. O halde tüm insanlar uçar." Bu argüman geçerlidir çünkü öncüller doğru olsaydı sonuç da doğru olurdu. Ancak öncüller yanlış olduğu için sağlam değildir ve sonuç da yanlıştır.
- C) Her zaman ikna edicidir: İkna edicilik özneldir. Bir argüman mantıksal olarak kusursuz olsa bile, bir kişi öncüllere inanmadığı için veya başka nedenlerle ikna olmayabilir.
- D) Her zaman doğru sonuç verir: Hayır, her zaman doğru sonuç vermez. Doğru sonuç vermesi için argümanın sağlam olması gerekir (yani öncüllerinin de doğru olması gerekir). Yukarıdaki "insanlar kuştur" örneğinde olduğu gibi, geçerli bir argüman yanlış öncüllerden yanlış bir sonuç çıkarabilir. Geçerlilik, sonucun *zorunlu olarak* doğru olacağını söyler *eğer* öncüller doğruysa.
Bu nedenle, verilen argüman formu, mantıksal yapısı gereği her zaman geçerlidir.
Cevap B seçeneğidir.
