Karşı olum karesi (Aristoteles karesi) nedir Test 1

🎓 Karşı olum karesi (Aristoteles karesi) nedir Test 1 - Ders Notu

Bu ders notu, mantıkta önermeler arası ilişkileri gösteren Karşı Olum Karesi'ni (Aristoteles Karesi) ve bu ilişkilerin doğruluk değerleri üzerindeki etkilerini anlamana yardımcı olacaktır. Testte karşılaşacağın temel kavramlar ve kurallar burada sade bir dille açıklanmıştır.

📌 Karşı Olum Karesi Nedir?

Karşı Olum Karesi, klasik mantıkta dört temel kategorik önerme türü arasındaki mantıksal ilişkileri görsel olarak gösteren bir şemadır. Bu kare sayesinde, bir önermenin doğruluk değerini bildiğimizde, onunla ilişkili diğer önermelerin doğruluk değerleri hakkında çıkarımlar yapabiliriz.

• Mantıkta önermeler arası ilişkileri gösterir.
• Dört temel kategorik önerme tipini içerir.
• Bir önermenin doğruluğundan veya yanlışlığından yola çıkarak diğerlerinin doğruluk değerlerini bulmaya yarar.

📝 Dört Temel Önerme Türü

Karşı Olum Karesi'nin temelini oluşturan dört ana önerme türü vardır. Bu önermeler, nicelik (tümel/tikel) ve nitelik (olumlu/olumsuz) bakımından farklılık gösterir.

• A Tipi Önerme (Tümel Olumlu): "Bütün S'ler P'dir."

  Örnek: Bütün kediler memelidir. (Tüm bireylerin belirli bir özelliği taşıdığını iddia eder.)

  💡 İpucu: Tek bir istisna bile bu önermeyi yanlış yapar.
• E Tipi Önerme (Tümel Olumsuz): "Hiçbir S P değildir."

  Örnek: Hiçbir balık kuş değildir. (Hiçbir bireyin belirli bir özelliği taşımadığını iddia eder.)

  💡 İpucu: Tek bir ortak nokta bile bu önermeyi yanlış yapar.

• I Tipi Önerme (Tikel Olumlu): "Bazı S'ler P'dir."

  Örnek: Bazı öğrenciler çalışkandır. (En az bir bireyin belirli bir özelliği taşıdığını iddia eder.)

  💡 İpucu: Bir tane bile olsa yeterlidir.

• O Tipi Önerme (Tikel Olumsuz): "Bazı S'ler P değildir."

  Örnek: Bazı meyveler tatlı değildir. (En az bir bireyin belirli bir özelliği taşımadığını iddia eder.)

  💡 İpucu: Bir tane bile olsa yeterlidir.

⚠️ Dikkat: "Bazı" ifadesi, mantıkta "en az bir" anlamına gelir, "sadece bazıları" veya "hepsi değil" anlamına gelmez.

🔗 Önermeler Arasındaki İlişkiler

Bu dört önerme türü arasında mantıksal olarak belirli ilişkiler bulunur. Bu ilişkiler, bir önermenin doğruluk değerinden diğerlerinin doğruluk değerlerini çıkarmamızı sağlar.

Çelişik (Contradictory) İlişki

Birbirinin tam zıttı olan önermelerdir. Biri doğruysa diğeri kesinlikle yanlıştır; biri yanlışsa diğeri kesinlikle doğrudur. İkisi aynı anda doğru ya da aynı anda yanlış olamaz.

• A ile O tipi önermeler çelişiktir. (Örn: "Bütün kediler sevimlidir" (D) ise "Bazı kediler sevimli değildir" (Y).)
• E ile I tipi önermeler çelişiktir. (Örn: "Hiçbir insan dört ayaklı değildir" (D) ise "Bazı insanlar dört ayaklıdır" (Y).)

💡 İpucu: Çelişiklik, mantıktaki en güçlü ilişkidir ve her durumda geçerlidir.

Karşıt (Contrary) İlişki

Tümel önermeler (A ve E) arasında görülür. İkisi aynı anda doğru olamaz, ancak ikisi aynı anda yanlış olabilir.

• A ile E tipi önermeler karşıttır. (Örn: "Bütün kuşlar uçar" (D) ise "Hiçbir kuş uçmaz" (Y). Ama "Bütün insanlar uzundur" (Y) ise "Hiçbir insan uzun değildir" (Y) olabilir.)

⚠️ Dikkat: Biri yanlışsa diğerinin doğruluk değeri belirsizdir. Yani, doğru da olabilir yanlış da.

Alt Karşıt (Subcontrary) İlişki

Tikel önermeler (I ve O) arasında görülür. İkisi aynı anda yanlış olamaz, ancak ikisi aynı anda doğru olabilir.

• I ile O tipi önermeler alt karşıttır. (Örn: "Bazı çiçekler kokuludur" (D) ve "Bazı çiçekler kokulu değildir" (D) aynı anda doğru olabilir. Ama "Bazı insanlar ölümsüzdür" (Y) ise "Bazı insanlar ölümsüz değildir" (D) olmak zorundadır.)

⚠️ Dikkat: Biri doğruysa diğerinin doğruluk değeri belirsizdir. Yani, doğru da olabilir yanlış da.

Altıklık (Subalternation) İlişki

Tümel ile tikel önermeler arasında dikey olarak görülür. Doğruluk yukarıdan aşağıya (tümelden tikele) geçer; yanlışlık ise aşağıdan yukarıya (tikelden tümele) geçer.

• A tipi önerme ile I tipi önerme arasında altıklık vardır. (A doğruysa I doğrudur. I yanlışsa A yanlıştır.)
• E tipi önerme ile O tipi önerme arasında altıklık vardır. (E doğruysa O doğrudur. O yanlışsa E yanlıştır.)

💡 İpucu: Tümel önerme yanlışsa veya tikel önerme doğruysa, diğerinin doğruluk değeri belirsizdir.

💡 Doğruluk Değerlerinin Çıkarımı Özet Tablosu

Aşağıdaki tablo, bir önermenin doğruluk değerini bildiğimizde diğerlerinin nasıl etkilendiğini özetler:

• A (Tümel Olumlu) Doğru İse: E Yanlış, I Doğru, O Yanlış.
• A (Tümel Olumlu) Yanlış İse: O Doğru, E Belirsiz, I Belirsiz.
• E (Tümel Olumsuz) Doğru İse: A Yanlış, I Yanlış, O Doğru.
• E (Tümel Olumsuz) Yanlış İse: I Doğru, A Belirsiz, O Belirsiz.
• I (Tikel Olumlu) Doğru İse: E Yanlış, A Belirsiz, O Belirsiz.
• I (Tikel Olumlu) Yanlış İse: A Yanlış, E Doğru, O Doğru.
• O (Tikel Olumsuz) Doğru İse: A Yanlış, E Belirsiz, I Belirsiz.
• O (Tikel Olumsuz) Yanlış İse: A Doğru, E Yanlış, I Doğru.

📝 Unutma: "Belirsiz" demek, o önermenin hem doğru hem de yanlış olabileceği anlamına gelir; kesin bir yargıya varamayız.