E tipi önerme: "Hiçbir kuş memeli değildir."
I tipi önerme: "Bazı kuşlar memelidir."
Bu iki önerme arasındaki ilişki için aşağıdakilerden hangisi doğrudur?
A) Altıklık ilişkisi vardır
B) Karşıtlık ilişkisi vardır
C) Çelişki ilişkisi vardır
D) Hiçbir ilişki yoktur
Merhaba sevgili öğrenciler!
Bu soruda, mantıkta önermeler arasındaki ilişkileri anlamamız gerekiyor. Özellikle "E tipi" ve "I tipi" önermeler arasındaki ilişkiyi inceleyeceğiz. Adım adım ilerleyelim:
- Önerme Tiplerini Anlayalım:
- E Tipi Önerme (Evrensel Olumsuz): "Hiçbir S, P değildir." şeklindeki önermelerdir. Tüm bireyler için bir özelliğin olmadığını ifade eder. Örneğin, "Hiçbir kuş memeli değildir." önermesi, kuşlar sınıfının hiçbir üyesinin memeli olmadığını belirtir.
- I Tipi Önerme (Tikel Olumlu): "Bazı S, P'dir." şeklindeki önermelerdir. En az bir birey için bir özelliğin var olduğunu ifade eder. Örneğin, "Bazı kuşlar memelidir." önermesi, kuşlar sınıfının en az bir üyesinin memeli olduğunu belirtir.
- Verilen Önermeleri İnceleyelim:
- E tipi önermemiz: "Hiçbir kuş memeli değildir."
- I tipi önermemiz: "Bazı kuşlar memelidir."
Görüldüğü gibi, her iki önerme de aynı özneden ("kuş") ve aynı yüklemden ("memeli") bahsetmektedir. Farklı olan sadece nicelikleri (evrensel/tikel) ve nitelikleri (olumlu/olumsuz) arasındaki ilişkidir.
- Önermeler Arasındaki İlişkiyi Belirleyelim:
Mantıkta, önermeler arasında dört temel ilişki vardır: Karşıtlık, Alt Karşıtlık, Altıklık ve Çelişki. Bu ilişkileri "Karşıt Kare" adı verilen bir şema ile gösteririz.
- Çelişik (Contradictory) İlişki: İki önerme aynı anda doğru olamaz ve aynı anda yanlış da olamaz. Yani, biri doğruysa diğeri kesinlikle yanlıştır; biri yanlışsa diğeri kesinlikle doğrudur. Bu ilişki A tipi (Evrensel Olumlu) ile O tipi (Tikel Olumsuz) arasında ve E tipi (Evrensel Olumsuz) ile I tipi (Tikel Olumlu) arasında bulunur.
- Karşıt (Contrary) İlişki: İki önerme aynı anda doğru olamaz, ancak aynı anda yanlış olabilir. (A tipi ile E tipi arasında)
- Alt Karşıt (Subcontrary) İlişki: İki önerme aynı anda yanlış olamaz, ancak aynı anda doğru olabilir. (I tipi ile O tipi arasında)
- Altıklık (Subaltern) İlişkisi: Evrensel önermenin doğruluğu tikel önermenin doğruluğunu gerektirir, ancak tikel önermenin yanlışlığı evrensel önermenin yanlışlığını gerektirir. (A tipi ile I tipi arasında ve E tipi ile O tipi arasında)
- Verilen Önermelere Çelişki Tanımını Uygulayalım:
- E tipi: "Hiçbir kuş memeli değildir."
- I tipi: "Bazı kuşlar memelidir."
Şimdi düşünelim:
- Eğer "Hiçbir kuş memeli değildir." önermesi doğruysa, o zaman "Bazı kuşlar memelidir." önermesi kesinlikle yanlış olmak zorundadır. (Çünkü hiçbiri memeli değilse, bazılarının memeli olması mümkün değildir.)
- Eğer "Hiçbir kuş memeli değildir." önermesi yanlışsa, bu demektir ki en az bir kuş memelidir. Bu durumda "Bazı kuşlar memelidir." önermesi kesinlikle doğru olmak zorundadır.
Bu durum, çelişik ilişkinin tanımına tamamen uymaktadır. E tipi ve I tipi önermeler birbirinin çelişiğidir.
Bu nedenle, verilen iki önerme arasında çelişki ilişkisi vardır.
Cevap C seçeneğidir.
