Mantık Nedir? Önerme, Geçerlilik ve Akıl Yürütme Rehberi

Mantığın konusu: düşüncenin içeriği değil, kuruluş biçimi

Mantık, verilen kaynaklarda formel, yani biçimsel bir bilim olarak açıklanır. Bunun anlamı, mantığın dış dünyadaki tek tek olayları doğrudan gözlemleyip açıklamak yerine, düşüncelerin ve çıkarımların hangi yapıda kurulduğunu incelemesidir.

Burada iki düzeyi ayırmak gerekir:

• Nelik: Bir şeyin ne olduğunu veya özünü ifade eder.
• İçerik/İçlem: Mantıksal bağlamda bir kavramın düşündürdüğü özelliklerdir.
• Kaplam: Bir kavramın kapsadığı varlıkların bütünüdür.

Örneğin "kuş" kavramının hangi varlıkları kapsadığı kaplamla ilgilidir. Kuşlara ilişkin uçma gibi özelliklerin kavram tarafından düşündürülmesi ise içerik veya içlemle ilgilidir. Bir önermenin gerçeklikle uyuşup uyuşmaması ise ayrıca doğruluk sorusudur. "Kuş" kavramının içeriği, kaplamı ve bu kavramla kurulan önermelerin doğruluğu birbirinden farklı konulardır.

Buna karşılık "Bütün kuşlar uçar; serçe bir kuştur; öyleyse serçe uçar" biçimindeki çıkarımın yapısı mantıksal olarak incelenebilir. Serçenin gerçekten uçup uçmadığı ve önermelerin gerçeklikle uyuşup uyuşmadığı ayrı sorulardır.

Bu nedenle mantık, "sonuç gerçek dünyada doğru mu?" sorusuyla "sonuç, öncüllerden kurallara uygun olarak çıkıyor mu?" sorularını birbirinden ayırır. İkinci soru mantığın doğrudan alanıdır. Bir akıl yürütmenin içeriği yanlış bilgilerden oluşabilir; yine de biçimi geçerli olabilir. Tersine, sonuç gerçek hayatta doğru çıkabilir; ancak ona ulaşma yolu mantıksal olarak geçersiz olabilir.

Önerme ile sıradan cümleyi ayırmanın pratik ölçütü

Mantıksal çözümlemenin ilk halkası önermedir. Önerme, doğru ya da yanlış olabilen bir yargı bildiren cümledir. Buradaki ölçüt, cümlenin gerçekten doğru olup olmadığı değil, doğru veya yanlış olarak değerlendirilebilir bir yapı taşıyıp taşımadığıdır.

"Ankara Türkiye'nin başkentidir" bir önermedir ve doğruluk değeri doğrudur. "Ankara Türkiye'nin başkenti değildir" de önermedir; bu kez doğruluk değeri yanlıştır. Her iki cümle de bir yargı bildirdiği için mantıksal incelemeye elverişlidir.

Buna karşılık emir, dilek, ünlem ve çoğu soru cümlesi tek başına önerme sayılmaz:

• "Kapıyı kapat!" bir emirdir.
• "Keşke sınav ertelense!" bir dilektir.
• "Saat kaç?" bir sorudur.

Bu cümlelerin doğru veya yanlış olduğunu aynı anlamda söyleyemeyiz. Bu yüzden onları bir akıl yürütmenin öncülü ya da sonucu olarak doğrudan kullanamayız. Ancak bir soru, başka bir cümle içinde aktarılarak yargıya dönüştürülebilir. Örneğin "Sınavın ne zaman olduğu bilinmiyor" cümlesi artık bir durum bildirir ve önerme olarak değerlendirilebilir.

Önerme kavramını yorumlarken iki uyarı önemlidir. Birincisi, doğruluk değeri ile kişinin inancı aynı değildir; bir kişinin doğru olduğuna inanması cümleyi doğru yapmaz. İkincisi, günlük dilde eksik veya bağlama bağlı ifadeler bulunabilir. Mantıksal çözümlemede önce cümlenin hangi yargıyı bildirdiği açıklaştırılmalıdır.

Öncül, sonuç ve geçerlilik: akıl yürütmenin iskeleti

Bir veya daha fazla önermeden yeni bir önerme çıkarma işlemine akıl yürütme denir. Akıl yürütmede başlangıçta kabul edilen cümlelere öncül, bu cümlelerden çıkarılan cümleye sonuç adı verilir. Klasik örnekte yapı şöyledir:

• 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 örnekte iki öncül ve bir sonuç vardır. Sonuç, öncüllerdeki "insan" ve "ölümlü" ilişkisi kullanılarak kurulmuştur. Bir akıl yürütmenin geçerli olup olmadığını değerlendirirken önce bu üç parçanın görevini belirlemek gerekir.

Geçerlilik, öncüller doğru kabul edildiğinde sonucun bu öncüllerden mantıksal olarak çıkmasının zorunlu olmasıdır. Başka bir ifadeyle geçerli biçimde kurulmuş bir akıl yürütmede, öncüller doğruyken sonucun yanlış olduğu bir durum bulunmamalıdır. Geçerlilik, sonucun tek başına doğru görünmesine göre değil, öncüllerle sonuç arasındaki ilişkiye göre belirlenir.

Bu nokta, doğruluk ve geçerlilik farkının temelidir:

• Doğruluk, bir önermenin gerçeklikle uyuşmasıyla ilgilidir.
• Geçerlilik, akıl yürütme biçiminin kurallara uygunluğuyla ilgilidir.

Dolayısıyla "sonuç doğru çıktı" demek, akıl yürütmenin geçerli olduğunu tek başına kanıtlamaz. Aynı şekilde geçerli bir biçimin öncülleri gerçeklikle uyuşmuyorsa, bu kez biçimsel geçerlilik ile içerik doğruluğunu ayrı değerlendirmek gerekir. Ders sorularında önce sorunun önerme doğruluğunu mu, yoksa çıkarımın geçerliliğini mi sorguladığı belirlenmelidir.

Koşullu akıl yürütmelerde yön değiştirmenin tehlikesi

Mantık sorularında özellikle koşullu ifadeler dikkat ister. "Eğer A ise B" biçimi sembolik olarak $A \rightarrow B$ şeklinde gösterilebilir. Bu ifade yalnızca A'nın B'yi gerektirdiğini söyler; B'nin de A'yı gerektirdiğini kendiliğinden söylemez.

Bu nedenle şu çıkarım biçimi geçerlidir:

• Eğer düzenli çalışırsam konuyu tekrar ederim.
• Düzenli çalıştım.
• O hâlde konuyu tekrar ettim.

Burada $A \rightarrow B$, ardından $A$ ve sonuç olarak $B$ vardır. Fakat şu biçim aynı şekilde kurulamaz:

• Eğer düzenli çalışırsam konuyu tekrar ederim.
• Konuyu tekrar ettim.
• O hâlde düzenli çalıştım.

Konuyu tekrar etmenin başka bir nedeni olabilir. Bu nedenle ikinci akıl yürütmede sonuçtan koşula geri dönülmüş, fakat böyle bir geri dönüş için ek bir öncül verilmemiştir. Mevcut sonuç gerçek hayatta doğru olabilir; ancak verilen iki cümle, düzenli çalışmanın zorunlu olarak gerçekleştiğini göstermeye yetmez.

Benzer biçimde "Eğer A ise B; A değil; o hâlde B değil" çıkarımı da her durumda geçerli değildir. A'nın gerçekleşmemesi, B'nin başka bir nedenle gerçekleşemeyeceğini göstermez. Koşullu ifadelerde ok yönünü, yani hangi öncülün hangi sonucu gerektirdiğini yazmak hatayı azaltır.

Çözümlü örnekler: doğruluk ile biçimsel geçerliliği test etmek

Örnek 1 — Geçerli bir kıyas

Verilenler:

1. Bütün memeliler akciğerleriyle solunum yapar.
2. Yunus bir memelidir.
3. O hâlde yunus akciğerleriyle solunum yapar.

Çözüm adımları:

1. İlk iki cümleyi öncül, üçüncü cümleyi sonuç olarak ayırırız.
2. Birinci öncülde bütün memelilere ait bir özellik verilir.
3. İkinci öncül, yunusu bu genel sınıfa yerleştirir.
4. Genel sınıfa ait özellik, sınıfın üyesi olan yunusa uygulanır.
5. Bu nedenle öncüller doğru kabul edildiğinde sonucun yanlış olması mümkün değildir.

Sonuç: Akıl yürütmenin biçimi geçerlidir. Burada mantığın yaptığı şey yunusların biyolojik özelliklerini baştan araştırmak değil, verilen sınıflama ve özellik ilişkisini düzenli biçimde kullanmaktır.

Örnek 2 — Sonucu doğru olabilen fakat geçersiz çıkarım

Verilenler:

1. Sokrates Yunan'dır.
2. Bazı Yunanlar filozoftur.
3. O hâlde Sokrates filozoftur.

Çözüm adımları:

1. İlk iki cümle öncül, üçüncü cümle sonuçtur.
2. İkinci öncül yalnızca bazı Yunanların filozof olduğunu söyler.
3. "Bazı" ifadesi, bu kişilerin Sokrates olduğunu belirtmez.
4. Sokrates'in Yunan olması, onu otomatik olarak filozoflar grubuna yerleştirmez.
5. Sokrates'in filozof olması tarihsel olarak doğru kabul edilse bile, bu sonuç verilen iki öncülden zorunlu biçimde çıkmamaktadır.

Sonuç: Bu akıl yürütme geçersizdir. Örnekte kritik kelime "bazı"dır; bu niceleyici, bir sınıfın en az bir üyesini gösterir ancak belirli bir kişinin o üye olduğunu kanıtlamaz.

Bu iki örnekte izlenecek ortak yöntem şudur: Önce öncül ve sonucu işaretle, sonra sınıf-üye ilişkisini veya koşullu ilişkinin yönünü kontrol et, son olarak öncüller doğruyken sonucun yanlış olabileceği bir durum bulunup bulunmadığını sor.

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

Mantığı yalnızca doğru bilgi sanmak: Mantık, bilginin dış dünyada doğru olup olmadığını tek başına belirlemez. Bilimsel içerik ile bu içeriğin çıkarımda nasıl kullanıldığı farklı değerlendirmelerdir.

Doğru sonuçtan geçerli biçime atlamak: Bir sonuç tesadüfen veya başka bir bilgi sayesinde doğru olabilir. Geçerlilik için sonuç ile öncüller arasındaki zorunlu bağlantı incelenmelidir.

Her cümleyi önerme kabul etmek: Soru, emir ve dilek cümlelerinin tek başına doğruluk değeri yoktur. Önce yargı bildirip bildirmediklerini kontrol edin.

"Bazı" ile "bütün"ü eşitlemek: "Bazı öğrenciler kitap okur" ifadesi, bütün öğrencilerin kitap okuduğunu veya belirli bir öğrencinin kitap okuduğunu göstermez. Niceleyicinin kapsamı korunmalıdır.

Koşullu ifadeyi ters çevirmek: $A \rightarrow B$ ifadesi, kendiliğinden $B \rightarrow A$ anlamına gelmez. Sonucun gerçekleşmesi, koşulun gerçekleştiğini kanıtlamayabilir.

Psikoloji ile mantığı aynı alan sanmak: Psikoloji insanların gerçekte nasıl düşündüğünü araştırır; mantık ise akıl yürütmenin hangi biçimlerde geçerli olduğunu inceler. İnsanların bir çıkarımı sıkça yapması, o çıkarımın geçerli olduğunu göstermez.

Klasik mantığın ilkelerini bağlamdan koparmak: AYT düzeyindeki klasik mantık çalışmasında önermeler genellikle doğru veya yanlış olarak ele alınır. Farklı mantık sistemlerinin bu ilkeleri başka biçimlerde inceleyebileceği bilgisi, temel sınav tanımlarının yerine geçirilmemelidir.

AYT Felsefe sorularında mantığı çözme sırası

AYT Felsefe bağlamında mantık sorusu gördüğünüzde aşağıdaki sırayı uygulamak pratik bir kontrol listesi oluşturur:

1. Yargıları ayırın: Cümlelerin hangileri doğru-yanlış değeri alabilir? Önerme olmayan ifadeleri ayıklayın.
2. Bağlaçları ve niceleyicileri işaretleyin: "Bütün", "hiçbir", "bazı", "eğer", "öyleyse" gibi kelimeler çıkarımın yönünü belirler.
3. Öncül-sonuç ayrımı yapın: "Çünkü", "zira" gibi ifadelerden önceki veya sonraki cümlenin görevini bağlama göre kontrol edin; "o hâlde" çoğunlukla sonucu gösterir.
4. Biçimi yeniden kurun: Gerekirse cümleleri $A$, $B$ gibi sembollerle kısaltın. Böylece içeriğin dikkat dağıtmasını azaltabilirsiniz.
5. Karşı örnek arayın: Öncülleri doğru bırakıp sonucu yanlış yapabilecek bir durum tasarlayabiliyor musunuz? Evetse biçim geçersizdir.
6. Sorunun istediği ölçütü okuyun: Soru doğruluk, geçerlilik, önerme türü veya yanlış akıl yürütme biçiminden hangisini soruyor, bunu netleştirin.

Sınavda seçeneklerdeki sonuç size tanıdık veya makul gelebilir. Buna güvenmek yerine, sonucun öncüllerden zorunlu çıkıp çıkmadığını test edin. Mantık sorularında kısa görünen bir ifade, özellikle "bazı" ve "eğer" gibi tek bir kelime nedeniyle farklı bir yapıya dönüşebilir.

Konu çalışırken tanımları üçlü bir zincir hâlinde tekrar edin: önerme → akıl yürütme → geçerlilik. Bu zincirin bir halkası eksik kaldığında, doğru cümle ile geçerli çıkarım arasındaki fark karışır. Felsefe konularının tarihsel arka planı için AYT Felsefe Felsefe Tarihi, çalışma yöntemi için AYT Felsefe Nasıl Çalışılır, soru planlaması için AYT Felsefe Soru Dağılımı sayfalarına bakabilirsiniz. Zorlandığınız başlıkları belirlemek için AYT Felsefe En Zor Konular rehberi de kullanılabilir.