Klasik mantıkta "Hiçbir kuş balık değildir" önermesinin eşdeğeri aşağıdakilerden hangisidir?
A) Bütün kuşlar balıktır
B) Bazı kuşlar balık değildir
C) Bütün balıklar kuş değildir
D) Bazı balıklar kuş değildir
Klasik mantıkta önermelerin eşdeğerliğini bulmak, onların aynı anlamı taşıyıp taşımadığını veya aynı doğruluk değerine sahip olup olmadığını anlamaktır. Şimdi "Hiçbir kuş balık değildir" önermesinin eşdeğerini adım adım inceleyelim:
- Orijinal Önerme: "Hiçbir kuş balık değildir."
- Bu önerme, evrensel olumsuz bir önermedir (E önermesi). Anlamı şudur: Kuşlar kümesi ile balıklar kümesi arasında hiçbir ortak eleman yoktur. İki küme tamamen ayrıktır.
- Şimdi seçenekleri bu bilgi ışığında değerlendirelim:
- A) Bütün kuşlar balıktır: Bu, evrensel olumlu bir önermedir (A önermesi). Orijinal önermenin tam tersidir. Eğer hiçbir kuş balık değilse, bütün kuşların balık olması imkansızdır. Dolayısıyla eşdeğer değildir.
- B) Bazı kuşlar balık değildir: Bu, tikel olumsuz bir önermedir (O önermesi). Eğer hiçbir kuş balık değilse, "bazı kuşların balık olmaması" elbette doğrudur (hatta hepsi balık değildir). Ancak bu önerme, orijinal önermeden daha zayıf bir ifadedir ve onunla tam olarak eşdeğer değildir. "Bazı kuşlar balık değildir" demek, "Hiçbir kuş balık değildir" demekle aynı şeyi ifade etmez. Örneğin, "Bazı insanlar zengin değildir" demek, "Hiçbir insan zengin değildir" demek değildir.
- C) Bütün balıklar kuş değildir: Bu önermeyi yeniden ifade edebiliriz: "Hiçbir balık kuş değildir." Bu da evrensel olumsuz bir önermedir (E önermesi). Eğer kuşlar ve balıklar arasında hiçbir ortak eleman yoksa (yani hiçbir kuş balık değilse), o zaman balıklar ve kuşlar arasında da hiçbir ortak eleman yoktur (yani hiçbir balık kuş değildir). Klasik mantıkta, "Hiçbir S P değildir" şeklindeki bir E önermesi, basit döndürme (düz döndürme) ile "Hiçbir P S değildir" önermesine eşdeğerdir ve doğruluk değeri korunur. Bu iki ifade aynı durumu, yani iki kümenin tamamen ayrı olduğunu anlatır.
- D) Bazı balıklar kuş değildir: Bu da tikel olumsuz bir önermedir (O önermesi). Seçenek B'deki mantığın aynısı geçerlidir. Eğer hiçbir balık kuş değilse, "bazı balıkların kuş olmaması" doğrudur. Ancak bu da orijinal önermeden daha zayıf bir ifadedir ve onunla tam olarak eşdeğer değildir.
Bu analizler sonucunda, "Hiçbir kuş balık değildir" önermesinin anlamını en doğru ve tam şekilde karşılayan, yani onunla eşdeğer olan önerme "Bütün balıklar kuş değildir" (ya da "Hiçbir balık kuş değildir") önermesidir.
Cevap C seçeneğidir.
