Koşul eklemi (ise - ⇒) nedir Test 1

9. Felsefi bir tartışmada "Eğer özgür irade varsa, sorumluluk da vardır" önermesi ele alınıyor. Bu önermenin mantıksal eşdeğeri olan ifade aşağıdakilerden hangisidir?

A) Özgür irade yoksa sorumluluk da yoktur.
B) Sorumluluk yoksa özgür irade de yoktur.
C) Sorumluluk varsa özgür irade vardır.
D) Özgür irade yoksa sorumluluk olmayabilir.

Bu soruyu çözmek için, felsefi önermelerin mantıksal yapısını anlamamız ve mantıkta "eşdeğerlik" kavramını doğru bir şekilde uygulamamız gerekmektedir. Özellikle koşullu önermelerin (eğer... ise...) eşdeğerlerini bulma üzerine odaklanacağız.

• Adım 1: Verilen Önermeyi Mantıksal Formda İfade Etmek

  Soruda verilen önerme şudur: "Eğer özgür irade varsa, sorumluluk da vardır."

  Bu bir koşullu önermedir ve mantıkta "Eğer P ise Q" şeklinde ifade edilir. Burada:

  • P = "Özgür irade vardır"
  • Q = "Sorumluluk vardır"

  Dolayısıyla, önermenin mantıksal formu P $\rightarrow$ Q'dur.

• Adım 2: Mantıksal Eşdeğerlik Kavramını Anlamak

  Mantıkta, iki önerme aynı doğruluk değerine sahipse (yani, her zaman aynı anda doğru veya aynı anda yanlış iseler) birbirine mantıksal olarak eşdeğerdir. Koşullu bir önerme olan P $\rightarrow$ Q'nun en bilinen ve önemli mantıksal eşdeğeri, onun karşıt tersi (kontrapozitif) olan $\neg$Q $\rightarrow$ $\neg$P'dir.

  • $\neg$P, P'nin değili (değillemesi) demektir, yani "Özgür irade yoktur".
  • $\neg$Q, Q'nun değili demektir, yani "Sorumluluk yoktur".
• Adım 3: Karşıt Tersi (Kontrapozitif) Önermeyi Oluşturmak

  Yukarıdaki bilgilere göre, P $\rightarrow$ Q önermesinin mantıksal eşdeğeri olan $\neg$Q $\rightarrow$ $\neg$P'yi oluşturalım:

  • $\neg$Q = "Sorumluluk yoktur"
  • $\neg$P = "Özgür irade yoktur"

  Bu iki ifadeyi "Eğer... ise..." yapısına yerleştirdiğimizde, eşdeğer önerme şuna dönüşür:

  "Eğer sorumluluk yoksa, özgür irade de yoktur."

• Adım 4: Seçenekleri Değerlendirmek

  Şimdi bulduğumuz bu eşdeğer ifadeyi seçeneklerle karşılaştıralım:

  • A) Özgür irade yoksa sorumluluk da yoktur. (Bu, $\neg$P $\rightarrow$ $\neg$Q'dur, yani verilen önermenin tersidir. Ters önerme, orijinal önermeye mantıksal olarak eşdeğer değildir.)
  • B) Sorumluluk yoksa özgür irade de yoktur. (Bu, $\neg$Q $\rightarrow$ $\neg$P'dir, yani verilen önermenin karşıt tersidir. Karşıt ters, orijinal önermeye mantıksal olarak eşdeğerdir.)
  • C) Sorumluluk varsa özgür irade vardır. (Bu, Q $\rightarrow$ P'dir, yani verilen önermenin karşıtıdır. Karşıt önerme, orijinal önermeye mantıksal olarak eşdeğer değildir.)
  • D) Özgür irade yoksa sorumluluk olmayabilir. (Bu ifade, mantıksal kesinlikten ziyade olasılık içerir ve doğrudan bir mantıksal eşdeğerlik değildir.)

Bu analiz sonucunda, "Eğer özgür irade varsa, sorumluluk da vardır" önermesinin mantıksal eşdeğerinin "Sorumluluk yoksa özgür irade de yoktur" olduğu açıkça görülmektedir.

Cevap B seçeneğidir.