Klasik Mantık Nedir? Kıyas, Geçerlilik ve Akıl Yürütme

Klasik mantığın incelediği şey: kavram, önerme ve çıkarım

Klasik mantıkta düşünme süreci üç basamakta ele alınabilir: kavram, önerme ve akıl yürütme. Kavram, tek başına doğru veya yanlış olmayan bir düşünme birimidir. 'İnsan', 'ölümlü' veya 'öğrenci' birer kavramdır. Bunlar arasında bir ilişki kurulduğunda önerme ortaya çıkar: 'Bütün insanlar ölümlüdür.' Önerme, doğru ya da yanlış olabilen bir yargı bildirir.

Akıl yürütme ise bir veya daha fazla önermeden yeni bir önerme çıkarma işlemidir. Çıkarımda başlangıçta verilen önermelere öncül, ulaşılan önermeye sonuç denir. Klasik mantığın asıl ilgisi, sonuç cümlesinin öncüllerden zorunlu olarak çıkıp çıkmadığıdır.

Burada 'doğru' ile 'geçerli' sözcüklerini ayırmak gerekir. Doğruluk, bir önermenin gerçekliğe uygunluğuyla ilgilidir. 'Ankara Türkiye'nin başkentidir' önermesi içerik bakımından doğru kabul edilir. Geçerlilik ise çıkarımın biçimiyle ilgilidir. Bir çıkarımda öncüller doğru kabul edildiğinde sonuç zorunlu olarak çıkıyorsa çıkarım geçerlidir. Geçerli bir çıkarımın sonucu gerçek hayatta doğru olmayabilir; bunun nedeni öncüllerden birinin yanlış olmasıdır.

Bu nedenle güçlü bir mantıksal değerlendirme iki ayrı denetim gerektirir: Önce çıkarım biçimi, sonra öncüllerin doğruluğu incelenir. Geçerli biçim ve doğru öncüller birlikte bulunduğunda sağlam bir akıl yürütmeden söz etmek mümkün olur.

Kıyasın üç parçalı yapısı ve orta terimin görevi

Klasik mantığın en bilinen akıl yürütme biçimi kıyastır. Kıyas, iki öncül ve bir sonuçtan oluşur. Öncüller, geleneksel olarak büyük ve küçük öncül olarak adlandırılır; bunların tümel ya da tikel olması kıyasın biçimine göre değişir. Bazı kıyaslarda iki öncül de tümeldir; tekil bir varlığı içeren kıyaslar yalnızca örnek biçimlerden biridir. Sonuç ise bu iki bağlantının zorunlu ürünüdür.

Örnek:

• Büyük öncül: Bütün insanlar ölümlüdür.
• Küçük öncül: Sokrates insandır.
• Sonuç: O hâlde Sokrates ölümlüdür.

Bu yapıda 'insan' iki öncülde bulunur, fakat sonuçta yer almaz. Bu kavrama orta terim denir. 'Sokrates' küçük terim, 'ölümlü' ise büyük terimdir. Orta terimin görevi, küçük terim ile büyük terim arasında bağlantı kurmaktır. Orta terim doğru biçimde kullanılmazsa iki öncül arasında görünüşte bir ilişki kurulsa bile sonuç zorunlu olarak çıkmayabilir.

Kıyasın geçerliliğini değerlendirirken yalnızca cümlelerin anlamına bakılmaz; terimlerin dağılımı, olumlu-olumsuz yapı ve tümel-tikel kapsam da önem taşır. Örneğin 'Bütün kediler sütü sever' ve 'Mırmır sütü sever' öncüllerinden 'Mırmır kedidir' sonucuna geçilemez. Çünkü ikinci öncül, süt seven her varlığın kedi olduğunu söylemez. Sonuçta kullanılan özellik, kedilere ait olabilir; fakat yalnızca kedilere ait olduğu gösterilmemiştir.

Kıyas, tümdengelimsel bir yapı olduğundan sonucu öncüllerdeki ilişkiye bağlıdır. Tümdengelimde amaç, tek tek gözlemlerden genel bir kural keşfetmek değil, kabul edilen öncüllerden zorunlu bir sonuç çıkarmaktır.

Tümel ve tikel önermeleri ayırmadan kıyas çözülemez

Klasik kıyasları çözerken önermenin hem niceliği hem niteliği belirlenmelidir. Nicelik, önermenin bütün bir sınıftan mı yoksa sınıfın bir bölümünden mi söz ettiğini gösterir. 'Bütün insanlar ölümlüdür' tümel, 'Bazı öğrenciler çalışkandır' tikel önermedir. Nitelik ise önermenin olumlu veya olumsuz olmasını belirtir.

Bu ayrım dört temel biçimle gösterilebilir:

• Tümel olumlu: Bütün S'ler P'dir.
• Tümel olumsuz: Hiçbir S P değildir.
• Tikel olumlu: Bazı S'ler P'dir.
• Tikel olumsuz: Bazı S'ler P değildir.

Buradaki S özne sınıfını, P ise yüklem sınıfını temsil eder. Bu gösterim, doğal dildeki uzun cümlelerin mantıksal biçimini görmeyi kolaylaştırır. 'Hiçbir sürüngen memeli değildir' tümel olumsuzdur; 'Bazı kuşlar uçamaz' ise tikel olumsuzdur.

Bir kıyasta terimlerin aynı anlamda kullanılması da zorunludur. 'Bank' sözcüğünün bir öncülde finans kuruluşu, diğerinde oturma yeri anlamına gelmesi, dilbilgisel olarak benzer görünen fakat mantıksal bakımdan kopuk bir çıkarım doğurur. Bu tür sorunlar çoğu zaman biçimsel hatadan önce anlam belirsizliği olarak ortaya çıkar.

Ayrıca 'bazı' ifadesi en az bir örneğin bulunduğunu belirtir; tüm sınıf hakkında hüküm vermez. 'Bazı sporcular hızlıdır' önermesi, bütün sporcuların hızlı olduğunu veya hızlı olan herkesin sporcu olduğunu göstermez. Bu sınırı aşan sonuçlar, öncüllerin kapsamını genişletme hatasına dayanır.

Çözümlü örnekler: geçerli biçim ile ikna edici görünen biçimi ayırmak

Örnek 1 — Geçerli bir kıyas

Verilenler:

• Bütün memeliler omurgalıdır.
• Yunus bir memelidir.

Çözüm adımları:

1. Ortak bağlantı kavramını bulun: 'memeli' iki öncülde de yer alır ve sonuçta bulunmaz. Bu, orta terimdir.
2. Özel varlığı belirleyin: 'Yunus', memeli sınıfına yerleştirilen küçük terimdir.
3. Genel özelliği belirleyin: 'omurgalı' büyük terimdir.
4. Genel önermeyi özel duruma uygulayın: Bütün memeliler omurgalı olduğuna ve Yunus memeli olduğuna göre Yunus da omurgalıdır.

Sonuç: 'O hâlde Yunus omurgalıdır.'

Bu çıkarımın biçimi geçerlidir. Burada ayrıca öncüllerin gerçeklikle uyumlu olduğu kabul edilirse sonuç da sağlam bir biçimde desteklenir. Ancak mantık incelemesinde ilk karar, sonucun öncüllerden zorunlu çıkıp çıkmadığıdır.

Örnek 2 — Öncüller doğru olsa bile sonuç zorunlu çıkmıyor

Verilenler:

• Cinayet mahallindeki ayak izi 45 numaradır.
• Şüpheli X'in ayakkabı numarası 45'tir.

İddia edilen sonuç: Şüpheli X cinayeti işlemiştir.

Çözüm adımları:

1. İlk öncül izin numarasını, ikinci öncül şüphelinin ayakkabı numarasını bildirir.
2. İki bilgi arasında bir benzerlik vardır; fakat 45 numara ayakkabı giyen tek kişinin X olduğu söylenmemiştir.
3. Ayak izinin X tarafından bırakıldığını gösteren ek bir öncül bulunmadığından, iz ile fail arasında zorunlu bağlantı kurulamaz.
4. Dolayısıyla sonuç, öncüllerden kaçınılmaz biçimde çıkmaz.

Sonuç: Bu çıkarım geçerli değildir. 'X'in ayakkabı numarası 45'tir' bilgisi, tek başına '45 numaralı iz X'e aittir' sonucuna eşit değildir.

Bu örnek, klasik mantığın kanıt miktarını değil, kanıt ile sonuç arasındaki zorunlu yapıyı denetlediğini gösterir. DNA, kamera kaydı veya başka bir delil eklenmesi gerçek hayattaki değerlendirmeyi güçlendirebilir; fakat her ek bilginin ayrıca açık bir öncül olarak kurulması gerekir.

Klasik mantıkta geçerlilik, doğruluk ve tutarlılık neden ayrı ölçütlerdir?

Bir çıkarımın geçerliliği ile önermelerin doğruluğu aynı ölçüm değildir. Şu biçime bakalım:

• Bütün balıklar memelidir.
• Hamsi bir balıktır.
• O hâlde hamsi memelidir.

Bu çıkarımın biçimi, ilk örnekteki yapı gibi geçerli görünebilir: Bütün S'ler P'dir; a, S'dir; o hâlde a, P'dir. Fakat 'Bütün balıklar memelidir' öncülü gerçekliğe uygun değildir. Bu nedenle biçimsel geçerlilik, tek başına gerçek bilgi üretmez.

Tutarlılık da farklı bir soruya cevap verir. Bir düşünce sistemi veya açıklama, aynı koşullarda bir önermeyi hem kabul edip hem reddediyorsa tutarsızlık sorunu taşır. Örneğin 'Bütün öğrenciler sınava girdi' ile 'Bazı öğrenciler sınava girmedi' ifadeleri aynı öğrenci kümesi ve aynı sınav için birlikte savunuluyorsa aralarında çatışma vardır. Tutarlı bir sistemde önermeler birbirini anlamsız biçimde bozmamalıdır.

Bu kavramları şöyle ayırmak yararlıdır:

• Doğruluk: Tek bir önermenin gerçekliğe uygunluğu.
• Geçerlilik: Bir çıkarım biçiminde sonucun öncüllerden zorunlu çıkması.
• Tutarlılık: Önermelerin birbirleriyle çelişmemesi.

Bir argümanı değerlendirirken önce terimleri aynı anlamda kullanıp kullanmadığınızı, ardından çıkarımın biçimini, son olarak da öncüllerin gerçeklik durumunu kontrol edin. Bu sıra, 'kulağa doğru geliyor' sezgisinin yerine denetlenebilir bir yöntem koyar.

Klasik mantıktan sembolik gösterime ve sınav sorusuna geçiş

Klasik mantık doğal dildeki kavram ve kıyasları anlamak için güçlü bir başlangıçtır. Ancak çok sayıda önermenin birbirine bağlandığı durumlarda cümleleri sembolleştirmek daha açık sonuç verir. Örneğin 'Bütün insanlar ölümlüdür' önermesi, yüklemler mantığında genel bir yapı olarak ifade edilebilir; 'Sokrates insandır' gibi tekil bir önerme bu yapıya bağlanabilir. Bu geçiş, klasik kıyasın temel fikrini ortadan kaldırmaz; yalnızca onu daha kesin bir gösterime taşır.

Kategorik kıyasların sembolik çözümlemesi için yüklemler mantığı ve geleneksel kıyas kuralları kullanılmalıdır. Önermeler mantığı ise önerme bağlaçlarıyla kurulan bileşik önermeleri incelemek için uygundur.

TYT/AYT veya felsefe dersi bağlamında soru çözerken şu yolu izleyin:

1. Cümleleri öncül ve sonuç olarak ayırın.
2. 'Bütün', 'hiçbir', 'bazı' gibi nicelik belirten sözcükleri işaretleyin.
3. Olumlu-olumsuz yapıyı belirleyin.
4. Ortak terimi bulun; bu terim sonuçta yer almamalıdır.
5. Sonucun öncüllerden zorunlu çıkıp çıkmadığını test edin.
6. Sadece benzerlik veya çağrışım varsa bunu geçerli tümdengelim olarak kabul etmeyin.

Sınavlarda sık görülen ipucu şudur: Öncüller doğru kabul edilse bile sonuç başka bir ihtimali dışlamıyorsa çıkarım geçerli değildir. Buna karşılık tümel bir öncül belirli bir örneği açıkça kapsıyor ve örnek o sınıfa ait olarak veriliyorsa, sınıfa ait özellik örneğe aktarılabilir.

Klasik mantık, mantığın ne olduğunu anlamak için başlangıç noktasıdır. Kategorik kıyasların yapısını görmek için geleneksel kıyas kuralları ve yüklemler mantığı kullanılabilir; sembolik mantık ve daha geniş sistemlerle karşılaştırma için Modern Mantık konularına geçilebilir.

Sık yapılan hatalar ve karıştırılan kavramlar

1. Geçerliliği doğruluk sanmak: Bir çıkarım biçiminin geçerli olması, öncüllerin gerçek olduğunu kanıtlamaz. Önce biçimi, sonra öncülleri değerlendirin.

2. Sonucu öncüllerden daha geniş kurmak: 'Bazı öğrenciler çalışkandır' önermesinden 'Bütün öğrenciler çalışkandır' sonucu çıkmaz. Tikel öncül, tümel bir sonucu tek başına desteklemez.

3. Sonucu doğrulamak: 'Bütün kediler sütü sever; Mırmır sütü sever; o hâlde Mırmır kedidir' çıkarımı geçersizdir. Bir özelliğe sahip olmak, o özelliğin ait olduğu sınıfa zorunlu olarak dahil olmayı göstermez.

4. Orta terimi yanlış kullanmak: İki öncülde geçen bir terim, gerçekten ortak sınıflandırma görevi görmelidir. Aynı sözcüğün farklı anlamlarda kullanılması çıkarımı bozar.

5. Nedensellik ile kıyası karıştırmak: 'Bulutlar arttı, sonra yağmur yağdı' ifadesi bir gözlem veya nedensellik iddiası olabilir; tek başına klasik kıyas değildir. Kıyas, öncüller arasındaki biçimsel zorunlulukla ilgilenir.

6. Tutarlılığı geçerlilik sanmak: Bir grup cümlenin birbiriyle çelişmemesi, bu cümlelerden yapılan her çıkarımın geçerli olduğu anlamına gelmez. Tutarlılık cümleler arasındaki çatışmayı, geçerlilik ise öncül-sonuç bağlantısını inceler.

7. 'Her zaman' ifadelerini koşulsuz almak: Klasik mantıkta değerlendirme, önermede belirtilen sınıf ve anlam çerçevesinde yapılır. Terimin kapsamı değişirse sonuç da değişebilir. Bu yüzden 'insan', 'bazı insanlar' ve 'bütün insanlar' ifadeleri aynı kapsamda değerlendirilmemelidir.

Bu hataları ayıklamak için safsatalar ve mantık yanlışları konusuna, çelişkisiz düşünme ölçütü için ise tutarlılık başlığına bakılabilir.