Klasik Mantık Konu Anlatımı

Konu anlatımı notları

1. Klasik Mantığın Doğuşu ve Akıl İlkeleri

   Klasik mantık, temelleri Aristoteles tarafından atılan, doğru düşünmenin biçimsel kurallarını ve yöntemlerini inceleyen felsefi disiplindir. Bu sistemde düşüncenin içeriğinden ziyade biçimsel tutarlılığı ve geçerliliği esastır.

   Klasik mantık, akıl yürütmenin temeline dört temel ilke yerleştirir:

   • Özdeşlik İlkesi: Bir şey ne ise odur ($A, A\text{'dır}$). Bir kavram, akıl yürütme süresince anlamını korumalıdır.
   • Çelişmezlik İlkesi: Bir şey aynı anda, aynı şartlar altında hem kendisi hem de başka bir şey olamaz ($A$, hem $B$ hem de $B\text{-olmayan}$ olamaz).
   • Üçüncü Durumun İmkânsızlığı: Bir önerme ya doğrudur ya da yanlıştır; bu iki durum arasında üçüncü bir ihtimal yoktur.
   • Yeter-Sebep İlkesi: Leibniz tarafından formüle edilen bu ilkeye göre, yeterli bir gerekçe olmaksızın hiçbir yargı doğru kabul edilemez.

   Kavramların Yapısı ve Beş Tümel

   Bir nesnenin zihindeki soyut tasarımına kavram, bu kavramın dil ile ifade edilmesine ise terim adı verilir. Klasik mantıkta kavramlar niceliklerine, niteliklerine ve birbirleriyle olan bağıntılarına göre sınıflandırılır.

   İçlem ve Kaplam İlişkisi

   Bir kavramın içine aldığı varlıkların tamamına o kavramın kaplamı, o varlıkların paylaştığı ortak niteliklerin bütününe ise kavramın içlemi denir.

   • Kaplam ile içlem arasında ters orantı bulunur.
   • Kavram genelden özele doğru gittikçe kaplam azalır, içlem artar. Örneğin 'varlık' kavramı en geniş kaplama sahipken, 'insan' kavramının içlemi 'canlı' kavramına göre daha zengindir.

   Porphyrios Ağacı ve Beş Tümel

   Kavramlar arasındaki ilişkiler cins, tür, ayrım, özgülük ve ilinti olmak üzere beş tümel çerçevesinde temellendirilir:

   • Cins: Altında türlerin sıralandığı genel kavram (ör. canlı).
   • Tür: Bir cinsin altında yer alan ve ortak özlere sahip kavram (ör. insan).
   • Ayrım: Bir türü aynı cins altındaki diğer türlerden ayıran temel nitelik (ör. düşünen).
   • Özgülük: Yalnızca bir türe ait olan nitelik (ör. konuşma).
   • İlinti: Birden fazla türde ortaklaşa bulunabilen, türe zorunlu olmayan nitelik (ör. uyuma).

   Önermeler ve Karşı Olum Karesi

   Doğruluk değeri taşıyan, yani doğru ya da yanlış olabilen en az iki terim ve bir bağdan oluşan ifadelere önerme denir. Klasik mantıkta kategorik (yüklemli) önermeler nicelik (tümel/tikel) ve nitelik (olumlu/olumsuz) bakımından dörde ayrılır:

   • A (Tümel Olumlu): Bütün insanlar ölümlüdür.
   • E (Tümel Olumsuz): Hiçbir insan ölümsüz değildir.
   • I (Tikel Olumlu): Bazı insanlar bilim insanıdır.
   • O (Tikel Olumsuz): Bazı insanlar bilim insanı değildir.

   Karşı Olum Çıkarımları

   Aynı özne ve yükleme sahip önermelerin doğruluk değerleri arasındaki bağıntılar Karşı Olum Karesi ile gösterilir:

   • Karşıtlık (A ile E): İkisi birden aynı anda doğru olamaz; ancak ikisi birden yanlış olabilir.
   • Alt Karşıtlık (I ile O): İkisi birden aynı anda yanlış olamaz; ancak ikisi birden doğru olabilir.
   • Çelişiklik (A ile O, E ile I): Biri doğruysa diğeri zorunlu olarak yanlıştır; birlikte doğru ya da birlikte yanlış olamazlar.
   • Altıklık (A ile I, E ile O): Tümel önerme doğruysa tikel olan da zorunlu olarak doğrudur; ancak tikel önermenin doğruluğu tümelin doğruluğunu zorunlu kılmaz.

   Kıyas (Tasım) ve Çıkarım Kuralları

   Öncül adı verilen birden fazla önermeden hareketle zorunlu bir sonucun elde edildiği dolaylı akıl yürütme biçimine kıyas denir. Standart bir kategorik kıyasta üç terim yer alır:

   • Büyük Terim: Sonuç önermesinin yüklemi olan terimdir; büyük öncülde bulunur.
   • Küçük Terim: Sonuç önermesinin öznesi olan terimdir; küçük öncülde bulunur.
   • Orta Terim: Her iki öncülde de yer alan ancak sonuç önermesinde bulunmayan, iki terim arasında bağ kuran terimdir.

   Temel Kıyas Kuralları

   Bir kıyasın biçimsel olarak geçerli olabilmesi için belirli kurallara uyması gerekir:

   1. Her kıyasta tam olarak üç terim bulunmalıdır; dört terim yanılgısına düşülmemelidir.
   2. Orta terim öncüllerin en az birinde bütün kaplamıyla (tümel olarak) alınmalıdır.
   3. Öncüllerde dağıtılmamış (kaplamı tam alınmamış) bir terim, sonuçta dağıtılamaz.
   4. İki olumsuz öncülden geçerli bir sonuç çıkmaz.
   5. İki tikel öncülden geçerli bir sonuç çıkmaz.
   6. Öncüllerden biri olumsuz ise sonuç da olumsuz; öncüllerden biri tikel ise sonuç da tikel olmak zorundadır.