Mantık

Mantık, en genel anlamıyla, belirli kabullerden hangi sonuçların hangi koşullarda çıkarılabileceğini inceleyen disiplindir. Gündelik dilde “mantıklı düşünmek” çoğu kez sağduyulu, tutarlı veya akla uygun davranmak anlamına gelir; felsefe ve matematikte mantık bundan daha belirli bir araştırma alanıdır. Mantığın temel sorusu, bir düşüncenin hoşumuza gidip gitmediği, ikna edici görünüp görünmediği veya fiilen doğru olup olmadığı değildir. Asıl soru şudur: Bir sonuç, verilen öncüllerden gerçekten çıkar mı? Bu nedenle mantık; çıkarım, geçerlilik, mantıksal sonuç, tutarlılık, çelişki, kanıt, doğruluk ve biçim kavramları etrafında gelişmiştir.

Mantık tarihinin ilk sistematik büyük yapısı, MÖ 4. yüzyılda Aristoteles’in tasım teorisi ile ortaya çıktı. Helenistik dönemde Stoacılar, terimlerden çok önermeler ve koşullu ifadeler üzerinde duran başka bir güçlü gelenek geliştirdiler. Antik mantık daha sonra Yunanca, Süryanice, Arapça ve Latince düşünce dünyalarında yeniden yorumlandı; Farabi ve özellikle İbn Sina mantığı yalnızca aktarmakla kalmayıp özgün sorunlar ve çözüm teknikleri üreten kapsamlı sistemler kurdular. Orta Çağ Avrupa’sının skolastik mantığı, dil ve çıkarım üzerine yeni ayrımlar geliştirdi. XIX. yüzyılda George Boole, Augustus De Morgan, Charles Sanders Peirce ve özellikle Gottlob Frege ile mantık, sembolik ve matematiksel bir dönüşüm geçirdi. XX. yüzyılda Bertrand Russell, David Hilbert, Kurt Gödel, Alfred Tarski, Alonzo Church ve Alan Turing gibi isimlerin çalışmaları mantığın matematiğin temelleri, doğruluk, kanıtlanabilirlik, hesaplanabilirlik ve biçimsel sistemlerin sınırlarıyla ilişkisini kökten değiştirdi.

Bugün mantık tek bir sistemin adı değildir. Klasik mantık merkezi konumunu korurken modal, sezgici, çok değerli, bulanık, paraconsistent, ilgililik ve monoton olmayan mantıklar gibi çok sayıda sistem farklı problem alanları için geliştirilmiştir. Bu çoğulluk “herkesin kendi mantığı vardır” anlamına gelmez. Her sistem hangi ifadeleri kabul ettiğini, hangi çıkarım kurallarını kullandığını ve geçerliliği hangi ölçütlerle belirlediğini açık biçimde tanımlamak zorundadır.

Mantığın kalıcı önemi, bize hangi düşünceleri benimsememiz gerektiğini söylemesinde değil; benimsediğimiz düşüncelerin hangi sonuçları taşıdığını, hangi çıkarımların geçerli olduğunu ve düşüncenin hangi noktalarda sınırlarına ulaştığını gösterebilmesinde yatar.

Mantık neyi inceler?

Mantık çoğu geleneksel kaynakta “doğru düşünmenin kuralları” olarak tanımlanır. Bu tanım tarihsel bakımdan anlaşılırdır, fakat çağdaş mantığın kapsamını tam olarak karşılamaz. İnsanların gerçekte nasıl düşündükleri psikoloji, bilişsel bilim ve nörobilim gibi alanların da konusudur. Mantık ise çoğu zaman insanların fiilî düşünme davranışını betimlemekten çok, bir çıkarımın hangi koşullarda geçerli olduğunu araştırır.

Bir kişi zihninde çok hızlı, sezgisel veya duygusal biçimde bir sonuca ulaşabilir. Mantığın sorusu bu zihinsel sürecin kaç saniye sürdüğü veya hangi beyin bölgesinde gerçekleştiği değildir. Mantık, sonuç ile onu desteklediği ileri sürülen öncüller arasındaki ilişkinin yapısına bakar.

Bu nedenle mantığın merkezinde şu ayrım yer alır:

• Betimleyici soru: İnsanlar gerçekte nasıl akıl yürütür?
• Mantıksal soru: Belirli öncüllerden hangi sonuçların çıkarılması geçerlidir?

İki soru birbirinden kopuk değildir. İnsan akıl yürütmesini anlamak için psikoloji mantıktan, mantık da doğal dil ve bilişsel pratiklerden yararlanabilir. Fakat disiplinlerin araştırma nesneleri aynı değildir.

Mantık aynı zamanda düşüncenin yalnızca “içeriğini” değil, özellikle biçimini araştırır. “Bütün memeliler sıcakkanlıdır; balinalar memelidir; öyleyse balinalar sıcakkanlıdır” ile “Bütün A’lar B’dir; x bir A’dır; öyleyse x bir B’dir” arasında mantıksal yapı bakımından aynı örüntü vardır. Mantık, belirli bir konu hakkında ne söylendiğinden bağımsız biçimde bu çıkarım yapısının korunup korunmadığını inceleyebilir.

Sözcüğün kökeni ve logos

Türkçedeki mantık sözcüğü Arapça manṭiq kelimesinden gelir. Klasik Arapça düşünce geleneğinde bu kelime, Yunanca mantık literatürünün çevrilmesi ve yorumlanması sırasında teknik bir felsefe terimine dönüşmüştür. Kelimenin bağlı bulunduğu n-ṭ-q kökü konuşma ve söz söyleme anlam alanıyla ilişkilidir; ancak tarihsel mantık geleneğinde “mantık” yalnızca konuşma sanatını değil, düşünce ve çıkarımın düzenini ifade eder.

Batı dillerindeki logic, logique ve logica biçimleri ise Yunanca logikē ve daha geniş anlam dünyasına sahip logos kavramıyla bağlantılıdır. Logos; söz, açıklama, hesap, oran, akıl veya gerekçe gibi farklı anlamlarda kullanılabilir. Bu nedenle “logos doğrudan mantık demektir” şeklindeki basit eşitleme tarihsel bakımdan yanıltıcıdır. Mantığın gelişimi, sözcük köklerinden çok, belirli çıkarım ve kanıtlama problemlerinin sistematik araştırılmasıyla anlaşılmalıdır.

Akıl yürütme, argüman ve önerme

Akıl yürütme, birtakım kabul, bilgi veya düşüncelerden hareket ederek başka bir düşünceye ulaşma sürecidir. Bu sürecin dilde ifade edilmiş hâline çoğu bağlamda argüman denir. Bir argüman genellikle bir veya daha fazla öncül ile bu öncüllerin desteklediği ileri sürülen bir sonuçtan oluşur.

Klasik örnek şöyledir:

1. Bütün insanlar ölümlüdür.
2. Sokrates insandır.
3. O hâlde Sokrates ölümlüdür.

İlk iki ifade öncül, üçüncüsü sonuçtur. Mantığın ilgilendiği temel mesele, üçüncü ifadenin ilk iki ifadeden hangi anlamda çıktığıdır.

Burada cümle ile önerme arasında da ayrım gerekir. Bir önerme, kabaca, doğru veya yanlış olabilecek bir içerik olarak düşünülebilir. “Ankara Türkiye’nin başkentidir” doğruluk değeri taşıyan bir iddia ifade eder. Buna karşılık “Kapıyı kapat!” bir emir, “Saat kaç?” ise bir sorudur; bunlar aynı biçimde doğru veya yanlış olarak değerlendirilmez. Felsefe tarihinde önermenin tam olarak ne olduğu —bir cümlenin anlamı mı, zihinsel içerik mi, soyut bir nesne mi— ayrıca tartışmalıdır. Mantık maddesi açısından önemli olan, çıkarımda doğruluk değerlendirmesine konu olan ifade içeriklerini ayırt edebilmektir.

Doğruluk, geçerlilik ve sağlamlık

Mantığın öğrenilmesinde en önemli ayrımlardan biri doğruluk ile geçerlilik arasındadır.

Doğruluk öncelikle önermelerin bir özelliğidir. “Dünya Güneş’in çevresinde döner” önermesi doğrudur. Geçerlilik ise tümdengelimsel argümanların yapısal bir özelliğidir. Bir argüman, öncüllerinin tamamı doğru olduğunda sonucunun yanlış olması mümkün değilse geçerlidir.

Bu ayrım nedeniyle yanlış öncüllerden oluşan bir argüman da mantıksal bakımdan geçerli olabilir:

1. Bütün balıklar memelidir.
2. Bütün kediler balıktır.
3. O hâlde bütün kediler memelidir.

Öncüller ve sonuç dünya hakkında yanlıştır; fakat çıkarım biçimi geçerlidir. Önermelerin içeriği başka sözcüklerle değiştirilse de aynı yapı korunur.

Tersi de mümkündür. Sonucu doğru olan bir argüman geçersiz olabilir:

1. İstanbul Türkiye’dedir.
2. Ankara Türkiye’dedir.
3. O hâlde 2 + 2 = 4’tür.

Sonuç doğrudur; fakat öncüller sonucu mantıksal olarak desteklemez.

Geçerli bir tümdengelimsel argümanın bütün öncülleri ayrıca doğruysa, argüman genellikle sağlam (sound) olarak nitelenir. “Sağlamlık” terimi matematiksel mantıkta bir biçimsel sistemin kanıt kuralları ile semantiği arasındaki ilişki için de kullanılır. Bu iki kullanım aynı aileden gelse de birbirine karıştırılmamalıdır: bir argümanın sağlam olması ile bir kanıt sisteminin soundness özelliğine sahip olması farklı düzeylerdir.

Mantığın temel kazanımlarından biri burada ortaya çıkar: Bir sonucun doğru olması, ona nasıl ulaşıldığının doğru olduğu anlamına gelmez.

Mantıksal sonuç ve tutarlılık

Bir önerme, belirli öncüllerin mantıksal sonucu ise, öncüllerin doğru olduğu her uygun durumda sonuç da doğru olmak zorundadır. Modern model kuramı dilinde bu fikir, farklı yorumlar veya modeller altında doğruluğun korunmasıyla ifade edilir.

Mantıksal sonuç kavramı, “bu bana ikna edici geliyor” gibi psikolojik bir ölçüt değildir. Bir argümanın geçerliliği, tek tek kişilerin ikna olup olmamasına bağlı değildir. Bununla birlikte hangi dilin, hangi mantıksal sabitlerin ve hangi semantik çerçevenin kullanılacağı felsefî tartışmalara açıktır.

Tutarlılık ise bir önerme kümesinin kendi içinde çelişki üretip üretmemesiyle ilgilidir. Klasik mantıkta bir teori hem P’yi hem de P’nin değillemesini kabul ediyorsa tutarsızdır. Gündelik dilde “tutarlı insan” denildiğinde davranış veya söylem sürekliliği kastedilebilir; mantıksal tutarlılık daha teknik bir kavramdır.

Bir teori tutarlı olabilir ama yanlış olabilir. Örneğin bütünüyle hayalî bir evren hakkında kendi içinde çelişmeyen fakat gerçek dünyaya uymayan bir kuram kurulabilir. Bu nedenle tutarlılık doğruluk için yeterli değildir.

Çelişki ve klasik mantığın temel ilkeleri

Geleneksel mantık öğretiminde çoğu kez üç temel ilkeden söz edilir:

• Özdeşlik ilkesi: Bir şey kendisiyle özdeştir.
• Çelişmezlik ilkesi: Aynı bağlamda bir önerme ile onun değillemesi birlikte doğru olamaz.
• Üçüncü hâlin imkânsızlığı ilkesi: P veya P-değil; üçüncü bir seçenek yoktur.

Bu ilkelerin tarihsel kökenleri ve tam statüleri birbirinden farklıdır. Özellikle çelişmezlik ilkesi Aristoteles’in Metafizik’inde geniş biçimde savunulmuştur. Buna karşılık modern mantıkta “mantığın üç yasası” şeklindeki ders kitabı formülü, mantık sistemlerinin bütün çeşitliliğini kapsamaz.

Örneğin sezgici mantık, üçüncü hâlin imkânsızlığı ilkesini her önerme için genel bir yasa olarak kabul etmez. Paraconsistent mantıklar ise bir çelişkinin bulunmasından her türlü sonucun çıkarılmasını engelleyen sistemler geliştirir. Dolayısıyla bu üç ilke klasik mantığın güçlü tarihsel omurgasını temsil etse de bütün mantık sistemlerinin değiştirilemez tek başlangıç noktaları değildir.

Tümdengelim, tümevarım ve abdüksiyon

Tümdengelim

Tümdengelimsel çıkarımda öncüller doğruysa sonucun yanlış olması mümkün değildir. Tümdengelimi yalnızca “genelden özele gitmek” şeklinde tanımlamak yetersizdir. Bazı geçerli tümdengelimler genelden özele ilerlemediği gibi, bazı genelden özele görünen akıl yürütmeler de geçersiz olabilir. Belirleyici olan yön değil, zorunlu doğruluk koruma ilişkisidir.

Tümevarım

Tümevarımsal çıkarımda öncüller sonucu zorunlu kılmaz; ona belirli ölçüde destek verir. Çok sayıda gözlemden bir genellemeye ulaşmak bunun tanıdık biçimidir:

“İncelenen bin örneğin tamamı bu özelliği taşıdı; o hâlde bundan sonraki örneklerin de bu özelliği taşıması beklenir.”

Sonuç güçlü biçimde desteklenebilir ama mantıksal olarak zorunlu değildir. David Hume’un tümevarım problemi, geçmişte gözlenen düzenliliklerin gelecekte de süreceğini hangi gerekçeyle varsaydığımızı sorgular. Modern bilimde tümevarımsal akıl yürütme, istatistik ve olasılık kuramıyla yakından ilişkilidir; fakat tümevarım yalnızca istatistiksel hesaplamadan ibaret değildir.

Abdüksiyon

Abdüksiyon, çoğu zaman “en iyi açıklamaya çıkarım” olarak adlandırılan akıl yürütme türüdür. Bir olgu karşısında onu en iyi açıklayan hipoteze yöneliriz. Charles Sanders Peirce, abdüksiyonu bilimsel keşif ve hipotez üretimiyle ilişkilendiren önemli düşünürlerden biridir.

Bir odanın zemini ıslaksa bunun yağmurdan, tesisat arızasından veya temizlikten kaynaklanmış olması mümkündür. Elde bulunan diğer bulgularla birlikte en iyi açıklamayı seçmek abdüktif akıl yürütmeye örnek olabilir. Ancak “en iyi” açıklamanın ne olduğu; yalınlık, kapsam, olasılık, önceki bilgi ve alternatiflerin gücü gibi ölçütlere bağlıdır.

Bu üç çıkarım türü birbirinin rakibi değildir. Bilimsel ve gündelik düşünmede çoğu zaman birlikte kullanılırlar.

Biçim, içerik ve formelleştirme

Mantığın ayırt edici yönlerinden biri biçim ile içerik arasındaki ayrımı kullanmasıdır. Şu iki argümana bakalım:

• Bütün memeliler omurgalıdır. Yunuslar memelidir. O hâlde yunuslar omurgalıdır.
• Bütün A’lar B’dir. x bir A’dır. O hâlde x bir B’dir.

İkinci yapı, ilk argümanın içerikten arındırılmış biçimini gösterir. Aynı kalıp farklı kavramlarla doldurulabilir.

Formelleştirme, doğal dildeki ifadelerin mantıksal açıdan önemli kabul edilen yapılarının sembolik bir dilde gösterilmesidir. Bu işlem düşüncenin bütün anlamını sembole çevirmek değildir. Doğal dilin çağrışımları, bağlama bağımlılığı, ima ve söylem özellikleri çoğu biçimsel sistemin dışında kalır.

Bu nedenle formelleştirme her zaman belirli bir yorum kararı içerir. “Eğer alarm çalarsa bina boşaltılır” cümlesinin gündelik anlamı; zaman, neden, kural, yükümlülük ve istisna unsurları taşıyabilir. Basit önerme mantığındaki “P → Q” gösterimi bu anlam katmanlarının tamamını temsil etmeyebilir.

Mantık, doğal dili kusurlu bulduğu için biçimsel dil kurmaz; belirli soruları daha açık ve denetlenebilir hâle getirmek için doğal dilin bazı özelliklerini geçici olarak soyutlar.

Biçimsel ve informel mantık

Biçimsel mantık, ifadelerin açık kurallarla belirlenen dillerde nasıl oluşturulduğunu ve hangi sonuçların hangi çıkarım kurallarıyla elde edildiğini inceler. Önerme mantığı ve birinci dereceden yüklem mantığı bunun temel örnekleridir.

İnformel mantık ise gündelik dildeki gerçek argümanların değerlendirilmesiyle ilgilenir. Bir gazete yazısı, hukukî savunma, bilimsel tartışma veya kamusal konuşma çoğu zaman yalnızca sembolik forma indirgenemez. Argümanın bağlamı, kullanılan kanıtların niteliği, gizli varsayımlar, uzmanlık düzeyi ve muhatabın konumu önem taşır.

İnformel mantık bu nedenle “kolay mantık” değildir. Tersine, doğal dilin karmaşıklığı nedeniyle bazı durumlarda biçimsel sistemlerden daha fazla yorum gerektirir.

Mantık, retorik, psikoloji ve epistemoloji

Mantığın komşu disiplinlerle sınırını görmek, ne yaptığını anlamayı kolaylaştırır.

Retorik, ikna etme yollarını inceler. Mantıksal olarak geçerli bir argüman retorik açıdan etkisiz olabilir; mantıksal bakımdan zayıf bir konuşma ise çok ikna edici olabilir. Aristoteles mantık, diyalektik ve retoriği birbirinden tümüyle kopuk görmemiştir; ancak modern sınıflamada geçerlilik ile ikna arasındaki ayrım önemlidir.

Psikoloji, insanların gerçekte nasıl düşündüğünü, karar verdiğini ve hata yaptığını araştırır. XIX. yüzyıl sonlarında Frege ve daha sonra Husserl, mantık yasalarını insan zihninin psikolojik alışkanlıklarına indirgeyen yaklaşımlara karşı çıktılar. “Psikolojizm” tartışması, mantıksal geçerliliğin zihinsel olayların ampirik betimlenmesinden bağımsız bir normatif veya biçimsel statüye sahip olup olmadığı sorununu açtı.

Epistemoloji, bilginin, inancın, gerekçelendirmenin ve kanıtın doğasını araştırır. Mantık, gerekçelendirme yapısının önemli bir parçasıdır fakat hangi öncüllerin doğru olduğunu tek başına belirlemez. Bir argümanın biçimsel olarak kusursuz olması, kullanılan bilgilerin güvenilir olduğu anlamına gelmez.

Bu nedenle iyi akıl yürütme için mantık gereklidir; fakat her durumda tek başına yeterli değildir.

Mantığın tarihsel gelişimi

Aristoteles öncesi arayışlar

Mantık, Aristoteles’in elinde sistematik bir disiplin hâline gelmeden önce Yunan düşüncesinde argüman, çelişki, tanım ve kanıt sorunları üzerine yoğun tartışmalar vardı. Elea Okulu ve Zeno’nun paradoksları, hareket ve çokluk hakkındaki kabulleri akıl yürütmenin gücüyle sorguladı. Sofistler, dilin ve tartışma tekniklerinin sınırlarıyla ilgilendi. Sokrates, kavramların tanımı ve sorgulayıcı diyalog üzerinde durdu. Platon’un diyaloglarında tanım, bölme, hipotez ve çelişki yöntemleri önemli rol oynadı.

Buna rağmen antik kaynakların sistematik yapısı bakımından mantığın bağımsız bir disiplin olarak belirginleşmesi Aristoteles’le başlar. Bu, daha önce kimsenin mantıklı düşünmediği anlamına gelmez; akıl yürütmenin kendisinin sistematik araştırma nesnesi hâline gelmesi anlamına gelir.

Aristoteles ve tasım teorisi

Aristoteles’in mantıkla ilgili çalışmaları daha sonra Organon adı altında bir araya getirildi. “Organon”, “araç” anlamına gelir; başlık Aristoteles’in kendi kitap başlığı değildir, sonraki gelenek tarafından eserler grubuna verilmiştir. Geleneksel dizide Kategoriler, Yorum Üzerine, Birinci Analitikler, İkinci Analitikler, Topikler ve Sofistik Çürütmeler yer alır.

Aristoteles’in en etkili katkısı tasım (kıyas) teorisidir. Tasım, belirli biçimde kurulmuş iki veya daha fazla öncülden zorunlu olarak sonuç çıkaran argüman yapısını çözümler. Aristoteles, “bütün”, “bazı”, olumlama ve olumsuzlama gibi unsurlara göre kategorik önermeleri sınıflandırdı ve hangi öncül biçimlerinin hangi sonuçlara izin verdiğini sistemleştirdi.

Aristoteles mantığı çoğu kez terim mantığı olarak adlandırılır. Temel yapısı “insan”, “hayvan”, “ölümlü” gibi terimlerin önermelerdeki ilişkilerine dayanır. Modern yüklem mantığı çok daha geniş ifade gücüne sahip olsa da Aristoteles’in çalışması, geçerli çıkarımı açık biçimde sınıflandırma yönündeki ilk büyük sistematik girişimdir.

İkinci Analitikler’de Aristoteles mantığı yalnızca tartışmayı kazanma aracı olarak değil, bilimsel kanıtlama sorunuyla ilişkilendirdi. Gerçek bilimsel bilgi, ona göre, nedenleri açıklayan ve uygun ilkelerden zorunlu olarak çıkan gösterimlerle kurulmalıydı. Böylece mantık, daha başlangıç döneminde epistemoloji ve bilim felsefesiyle birleşen bir nitelik kazandı.

Aristotelesçi mantık sonraki yüzyıllarda değişmeden donmuş bir sistem olarak kalmadı. Peripatetikler, Yeni Platoncular, Arapça mantık geleneği ve skolastikler onu yorumladı, genişletti ve kimi alanlarda dönüştürdü.

Stoacılar ve önerme merkezli mantık

Helenistik dönemde Megara–Diyalektik okul ve Stoacılar, Aristotelesçi gelenekten belirgin biçimde farklı bir mantık geliştirdiler. Diodoros Kronos ve Philon koşullu önermeler ve olasılık üzerinde çalıştı. Chrysippos ise Stoacı mantığın en büyük sistem kurucusu kabul edilir.

Aristoteles mantığında temel birimler büyük ölçüde terimler ve onların kategorik önermelerdeki ilişkileriyken, Stoacı mantıkta tam önermeler ve bu önermeler arasındaki bağlar ön plana çıktı. “Eğer P ise Q; P; öyleyse Q” biçimindeki çıkarımlar onların temel araştırma alanlarından biriydi.

Bu yönüyle Stoacı mantık modern önerme mantığına dikkat çekici biçimde benzer; ancak onu doğrudan modern sistemin eski bir kopyası saymak anakronik olur. Stoacılar farklı bir kavramsal dil, semantik anlayış ve kanıtlama sistemi içinde çalışıyordu.

Stoacı mantığın büyük bölümü özgün eserler hâlinde günümüze ulaşmadı. Bilgimizin önemli kısmı sonraki yazarların aktarımlarına dayanır. Bu durum, Aristotelesçi mantığın neden tarih boyunca çok daha görünür kaldığını açıklayan etkenlerden biridir.

Hint mantık gelenekleri

Mantık tarihini yalnızca Yunan dünyasıyla başlatıp modern Avrupa’ya uzanan tek çizgi şeklinde anlatmak, başka güçlü düşünce geleneklerini görünmez kılar. Hint felsefesi, çıkarım ve bilgi teorisi üzerine bağımsız ve uzun soluklu sistemler geliştirdi.

Nyāya geleneğinde bilgi kaynakları, çıkarım, örnekleme, tartışma ve hatalı gerekçelendirme ayrıntılı biçimde incelendi. Klasik Nyāya çıkarımı, Batı’daki üç terimli tasımla bire bir aynı olmayan çok parçalı bir argümantasyon düzenine sahipti.

Budist düşünürler Dignāga ve Dharmakīrti, gerekçe ile sonuç arasındaki ilişkiyi daha kesin ölçütlerle çözümlemeye çalıştılar. Bir gerekçenin doğru çıkarıma hizmet edebilmesi için özneyle, benzer örneklerle ve karşı örneklerle ilişkisine dair koşullar geliştirdiler.

Bu gelenekler modern sembolik mantığın kategorileriyle tamamen örtüşmez. Onları “Aristoteles mantığının Hint versiyonu” olarak görmek de, Batı mantığına katkı sağlayıp sağlamadığına göre değer biçmek de tarihsel açıdan yetersizdir. Hint mantığı kendi epistemolojik ve tartışma kültürü içinde anlaşılması gereken özgün bir araştırma geleneğidir.

Çin düşüncesinde mantıksal sorunlar

Eski Çin düşüncesinde özellikle Mohist gelenekte adlandırma, ayrımlar, benzerlik, sınıflandırma ve argümantasyon üzerine çalışmalar bulunur. “Çin’de mantık yoktu” biçimindeki eski Avrupa merkezci yargılar, mantığı yalnızca Aristotelesçi biçimsel tasım modeline göre tanımlamanın sonucudur.

Bununla birlikte Çin düşüncesindeki bu tartışmaları modern sembolik mantık kategorilerine zorla çevirmek de doğru değildir. Mantık tarihi, farklı kültürlerde “geçerli çıkarım” sorusunun aynı teknik dile bürünmeden araştırılabileceğini gösterir.

Arapça ve İslam düşüncesinde mantık

VIII. yüzyıldan itibaren Yunanca felsefe ve bilim eserlerinin Arapçaya çevrilmesi, mantık tarihinde yeni bir büyük dönem açtı. Aristoteles’in mantık külliyatı ve geç antik yorum geleneği Arapça düşünce dünyasında yalnızca korunmadı; çevrildi, yeniden kavramsallaştırıldı, eleştirildi ve genişletildi.

Farabi, mantığı bilimler sistemi içinde merkezi bir konuma yerleştirdi. Mantık ile dil arasındaki ilişkiye özel önem verdi: dil topluluklara göre değişebilir, fakat mantığın hedeflediği çıkarım yapıları daha genel bir düzen iddiası taşır. Farabi’nin çalışmaları İbn Sina, İbn Bâcce, Gazali, İbn Rüşd ve Yahudi düşünürler dâhil geniş bir çevrede etkili oldu.

İbn Sina, Aristotelesçi miras içinde çalışan fakat onu önemli ölçüde yeniden kuran özgün bir mantık sistemi geliştirdi. Tasavvur ve tasdik ayrımı, tanım, kıyas, modal önermeler ve hipotetik yapılar üzerine çalışmaları sonraki İslam mantık geleneğinde belirleyici oldu. Orta Çağ İslam dünyasında “mantık” giderek yalnızca Aristoteles yorumculuğunun adı olmaktan çıktı ve güçlü bir İbn Sinacı mantık geleneği doğdu.

İbn Rüşd, Aristoteles üzerine ayrıntılı yorumlarıyla hem Arapça hem Latince düşünce tarihinde etkili oldu. Ancak Arapça mantığın tarihini İbn Rüşd üzerinden “Avrupa’ya aktarım” hikâyesine indirgemek yanlıştır. XIII. yüzyıldan sonra da İslam dünyasında mantık medrese müfredatında, kelâm, dil, fıkıh usulü ve tartışma teknikleriyle temas içinde yaşamaya devam etti.

Mantığa yönelik eleştiriler de vardı. Fakat “İslam dünyasında mantık yasaklandı” şeklindeki genel yargı tarihsel çeşitliliği siler. Farklı dönemlerde ve farklı ilmî çevrelerde mantığın kabulü, kullanım biçimi ve eleştirisi değişmiştir.

Orta Çağ Avrupa’sında skolastik mantık

Latin Avrupa’da Boethius, antik mantık mirasının aktarılmasında önemli rol oynadı. XII. ve XIII. yüzyıllarda Aristoteles’in daha fazla mantık eserinin Latinceye kazandırılması ve üniversitelerin gelişmesiyle mantık eğitim ve tartışma kültürünün merkezlerinden biri hâline geldi.

Peter Abelard, William of Ockham ve başka skolastikler; terimlerin cümlede nasıl anlam taşıdığı, niceleme, gönderim, sonuç çıkarma ve paradokslar üzerine özgün teoriler geliştirdiler. Supposition theory, terimlerin önermelerde neyin yerine geçtiğini açıklamaya çalışan karmaşık bir semantik gelenekti.

XIII. ve XIV. yüzyıllarda gelişen obligationes, karşılıklı tartışmada bir önermenin geçici olarak kabul edildiği ve katılımcının bu kabul altında tutarlı biçimde yanıt vermesinin beklendiği özel bir mantık pratiğiydi. Bunları modern deontik mantıkla karıştırmamak gerekir; buradaki “obligation” ahlaki yükümlülükten çok tartışma kuralına bağlılığı ifade eder.

Skolastik mantık, erken modern dönemde uzun süre “yalnızca Aristoteles tekrarı” olarak küçümsenmiş olsa da çağdaş mantık tarihi araştırmaları bu dönemin semantik ve çıkarım teorisinde önemli yenilikler taşıdığını göstermiştir.

Erken modern dönem: yöntem ve hesap ideali

Rönesans ve erken modern felsefe, skolastik mantığa güçlü eleştiriler yöneltti. Francis Bacon, yalnızca kıyaslardan hareket eden bilginin doğayı keşfetmede yetersiz kalacağını savunarak gözlem ve tümevarıma ağırlık verdi. Bacon’un yöntemi modern tümevarımsal istatistiğin doğrudan karşılığı değildir; fakat bilimsel yöntemin mantık tarihindeki yönünü değiştiren bir eleştiridir.

René Descartes, kesin bilgiye ulaşmak için yöntemsel kuşku ve açık-seçik fikirler üzerine kurulu başka bir yol önerdi. Descartes’ın yöntemi yeni bir biçimsel mantık sistemi değildir; ancak mantığın “hazır kıyas kuralları” olmaktan çıkarak bilgi edinme yönteminin genel sorunlarıyla yeniden ilişkilendirildiği bir dönemi temsil eder.

Gottfried Wilhelm Leibniz, mantık tarihinin en ileri görüşlü projelerinden birini tasarladı. Characteristica universalis ile düşünceleri açık sembolik bir dilde ifade etmeyi, calculus ratiocinator ile akıl yürütmeyi hesap benzeri işlemlere dönüştürmeyi hayal etti. Leibniz’in programı tam anlamıyla gerçekleşmedi; fakat düşüncenin biçimselleştirilebilir ve kimi yönleriyle hesaplanabilir olduğu fikri XIX. ve XX. yüzyıl mantığının habercisi oldu.

Boole, De Morgan ve cebirsel mantık

XIX. yüzyılda mantık, matematiksel işlemlerle giderek daha sıkı ilişki kurdu. George Boole, 1847 tarihli The Mathematical Analysis of Logic ve 1854 tarihli An Investigation of the Laws of Thought eserlerinde mantıksal sınıfları ve işlemleri cebirsel bir sistemle ifade etti.

Boole’un çalışması, mantığın yalnızca doğal dilde yazılmış tasımların incelenmesi olmadığını gösterdi. Sınıflar üzerinde yapılan işlemler cebirsel kurallarla temsil edilebiliyordu. Augustus De Morgan da mantıksal ilişkiler ve özellikle bugün kendi adıyla bilinen değilleme yasalarının sistemleştirilmesi üzerinde etkili oldu.

Boole cebirinin daha sonra elektrik anahtarlama devreleri ve dijital tasarımda kullanılabilmesi, mantık ile teknoloji arasında güçlü bir bağlantı yarattı. Fakat Boole’un XIX. yüzyılda doğrudan modern bilgisayarı tasarlamak amacıyla çalıştığını söylemek anakronik olur. Onun projesi öncelikle mantığın matematiksel biçimde temsil edilmesiydi.

Frege ve modern mantığın doğuşu

Modern mantık tarihindeki en belirgin kırılmalardan biri Gottlob Frege’nin 1879 tarihli Begriffsschrift adlı eseri ile gerçekleşti. Frege, aritmetik çıkarımların ihtiyaç duyduğu ilişkileri ifade edebilmek için Aristotelesçi terim mantığından çok daha güçlü bir sistem geliştirdi.

Aristotelesçi mantık:

“Bütün A’lar B’dir.”

gibi sınıf ve terim ilişkilerini etkili biçimde ele alabiliyordu. Fakat matematikte gerekli olan:

“Her sayı için ondan büyük bir sayı vardır.”

gibi iç içe niceleme yapılarının açıkça gösterilmesinde yetersiz kalıyordu.

Frege’nin fonksiyon–argüman çözümlemesi, değişkenler ve niceleme teorisi, çağdaş yüklem mantığının temelini attı. Böylece mantık, gündelik dildeki kategorik önermelerin sınıflandırılmasından çok daha genel bir biçimsel dile dönüştü.

Frege’nin sistemi bugünkü sembolik gösterimden oldukça farklı, iki boyutlu bir yazı biçimine sahipti. Buna rağmen kavramsal yapısı modern mantığın kuruluşunda belirleyicidir. Modern mantığı yalnızca “Aristoteles mantığının biraz geliştirilmiş biçimi” olarak görmek bu kopuşun büyüklüğünü gözden kaçırır.

Aynı dönemde Charles Sanders Peirce ve çevresindeki araştırmacılar da niceleme ve ilişkiler mantığı üzerinde önemli bağımsız çalışmalar yürüttüler. Modern mantığın doğuşu tek kişinin ani icadından çok, XIX. yüzyılın sembolleştirme ve matematiksel kesinlik arayışlarının birleşimidir.

Mantıkçılık, Russell paradoksu ve Principia Mathematica

Frege’nin daha geniş projesi, aritmetiğin mantıksal kavramlardan türetilebileceğini göstermeye çalışan mantıkçılık (logicism) düşüncesiyle bağlantılıydı. Matematiğin mantığa indirgenmesi fikri daha sonra Bertrand Russell ve Alfred North Whitehead tarafından geliştirildi.

Fakat matematiğin temellerindeki kümelerle ilgili sorunlar ciddi kriz yarattı. Russell paradoksu, kabaca, “kendisinin elemanı olmayan bütün kümelerin kümesi” düşünüldüğünde bu kümenin kendi elemanı olup olmadığı sorusundan doğan çelişkiyi gösterir. Eğer kendisinin elemanıysa tanımı gereği elemanı değildir; elemanı değilse tanımı gereği elemanıdır.

Russell ve Whitehead, 1910–1913 arasında yayımlanan Principia Mathematica ile matematiği daha güvenli mantıksal temeller üzerinde kurmaya çalıştılar. Çalışma modern mantık ve matematik felsefesi tarihinde olağanüstü etkili oldu; ancak mantıkçılık programının bütün tartışmaları bununla sona ermedi.

Hilbert programı ve biçimsel sistemler

XX. yüzyılın başlarında David Hilbert, matematiğin temellerini güvence altına almak için matematiksel teorilerin açık aksiyomlar, semboller ve çıkarım kuralları biçiminde kurulmasını savundu. Amaç, yeterince güçlü matematik sistemlerinin özellikle tutarlı olduğunu sonlu ve güvenilir yöntemlerle gösterebilmekti.

Modern biçimsel sistem anlayışında aksiyom, mutlaka “kanıt gerektirmeyecek kadar apaçık bir hakikat” değildir. Aksiyom, belirli bir sistem içinde başlangıçta kabul edilen formül veya ilkedir. Teorem ise aksiyomlardan ve çıkarım kurallarından türetilebilen ifadedir.

Bu dönüşüm, mantığın “doğru düşünme kuralları”ndan biçimsel sistemlerin kendilerini inceleyen metamatematiksel bir disipline doğru genişlemesini hızlandırdı.

Gödel: tamlık ve eksiklik

Kurt Gödel, modern mantığın sınırlarını anlamada iki ayrı büyük sonuçla merkezi bir konuma sahiptir.

1930’da yayımlanan tamlık teoremi, klasik birinci dereceden mantık için semantik geçerlilik ile biçimsel kanıtlanabilirlik arasında güçlü bir bağ kurar: bir önerme bütün modellerde öncüllerin mantıksal sonucuysa, uygun kanıt sistemi içinde türetilebilir.

1931’deki eksiklik teoremleri ise farklı bir düzeye aittir. Yeterince güçlü, etkili biçimde aksiyomlaştırılmış ve uygun tutarlılık koşullarını sağlayan aritmetik sistemlerde sistemin dilinde ifade edilebilen bütün aritmetik doğruların sistem içinde kanıtlanamayacağını gösterir. İkinci eksiklik teoremi, uygun koşullar altında böyle bir sistemin kendi tutarlılığını sistemin kendi araçlarıyla kanıtlayamayacağını ortaya koyar.

Bu sonuçlar sıklıkla aşırı yorumlanır. Gödel:

• “Hiçbir şey kanıtlanamaz” dememiştir.
• Matematiğin geçersiz olduğunu göstermemiştir.
• Bilimin kesin bilgi üretemeyeceğini kanıtlamamıştır.
• İnsan zihninin her koşulda bilgisayarlardan üstün olduğunu doğrudan kanıtlamamıştır.

Gödel’in teoremleri, mantığın yenilgisi değil, biçimsel sistemlerin gücü ile sınırlarının aynı anda anlaşılmasıdır.

Tamlık teoremi ile eksiklik teoremlerini birbirine karıştırmamak özellikle önemlidir. İlki birinci dereceden mantığın kendisine, ikincisi ise aritmetik ifade edebilecek kadar güçlü biçimsel teorilere ilişkindir.

Tarski: doğruluk ve semantik

Alfred Tarski, XX. yüzyıl mantığında doğruluk kavramının biçimsel olarak ele alınmasında belirleyici rol oynadı. Doğal dilde “doğru” sözcüğü kolayca paradokslara yol açabilir. “Bu cümle yanlıştır” türündeki yalancı paradoksu, bir dilin kendi cümlelerinin doğruluğu hakkında sınırsız biçimde konuşmasının yaratabileceği sorunları gösterir.

Tarski, belirli biçimsel diller için doğruluğun bir üst-dil (metalanguage) içinde tanımlanması gerektiğini savunan semantik bir yaklaşım geliştirdi. En bilinen şematik örnek, “‘Kar beyazdır’ cümlesi, ancak ve ancak kar beyazsa doğrudur” türündeki T-cümleleridir. Bunun amacı sıradan bir “gerçeğe uygunluk” açıklaması vermekten çok, biçimsel bir dilde doğruluk yükleminin hangi koşulları karşılaması gerektiğini göstermektir.

Tarski ayrıca mantıksal sonuç kavramının model kuramsal açıklamasında da etkili oldu. Bir sonuç, öncüllerin doğru olduğu bütün uygun yorumlarda doğruysa öncüllerin mantıksal sonucudur. Bu yaklaşım çağdaş semantiğin temel taşlarından biri hâline geldi.

Church, Turing ve hesaplanabilirlik

Hilbert’in gündeme getirdiği önemli sorulardan biri Entscheidungsproblem, yani belirli bir mantıksal formülün geçerli olup olmadığını her durumda sonlu bir mekanik yöntemle belirlemenin mümkün olup olmadığıydı.

1930’ların ortasında Alonzo Church ve Alan Turing, farklı ama eşdeğer hesaplanabilirlik modelleri kullanarak birinci dereceden mantığın genel karar probleminin çözülemez olduğunu gösterdiler. Turing’in “makine” modeli daha sonra bilgisayar biliminin temel kavramlarından biri hâline geldi.

Buradaki tarihsel önem yalnızca bilgisayarın doğuşuna giden bir adım olması değildir. Mantık ilk kez “hangi problemler ilkece mekanik olarak çözülebilir?” sorusunu matematiksel kesinlikle inceleyebilecek bir dil geliştirmiş oldu. Böylece mantık, hesaplama kuramıyla birleşti.

Çağdaş biçimsel mantığın temel yapıları

Önerme mantığı

Önerme mantığı, basit önermelerin iç yapısını çözümlemeden, bunların mantıksal bağlaçlarla nasıl birleştiğini inceler.

Temel bağlaçlar genellikle şunlardır:

• ¬P — P değil; değilleme
• P ∧ Q — P ve Q; birleşim
• P ∨ Q — P veya Q; ayrışım
• P → Q — P ise Q; koşul
• P ↔ Q — P ancak ve ancak Q; çift yönlü koşul

Bu semboller doğal dilin tam karşılıkları değildir. Örneğin gündelik Türkçede “veya” bazen iki seçeneğin yalnızca birinin gerçekleşebileceğini ima eder. Klasik önerme mantığındaki standart “∨” ise genellikle kapsayıcı veya anlamındadır: P doğru, Q doğru veya ikisi birden doğru olabilir.

Benzer biçimde “P → Q” şeklindeki maddî koşul, günlük dildeki “eğer... ise...” ifadesinin bütün anlamlarını taşımaz. Gündelik koşullar bazen nedensellik, zaman, kural veya beklenti anlatır. Mantıksal koşul ise belirli bir doğruluk fonksiyonuyla tanımlanabilir. Mantıksal koşulluluk nedensellik değildir.

Küçük bir doğruluk tablosu

Doğruluk tabloları, bileşik önermelerin temel önermelerin olası doğruluk değerleri altında nasıl davrandığını incelemeye yarar.

Yüklem ve niceleme mantığı

Önerme mantığı “Bütün insanlar ölümlüdür” ifadesini tek bir P önermesi gibi ele alabilir; fakat ifadenin içindeki “bütün”, “insan” ve “ölümlü” yapısını çözümlemez. Yüklem mantığı bu iç yapıyı temsil eder.

Modern birinci dereceden mantıkta:

• ∀x — “her x için”
• ∃x — “en az bir x vardır”

niceleyicilerini kullanır.

“Bütün insanlar ölümlüdür” kabaca:

∀x (İnsan(x) → Ölümlü(x))

biçiminde gösterilebilir.

“En az bir filozof vardır” ise:

∃x Filozof(x)

şeklinde yazılabilir.

Niceleyicilerin en önemli gücü, iç içe geçmiş genellik ilişkilerini göstermeleridir. Örneğin:

“Her insanın sevdiği en az bir kişi vardır.”

ile

“Herkesin sevdiği tek bir kişi vardır.”

doğal dilde birbirine benzeyebilir; fakat mantıksal yapıları farklıdır. Niceleyici mantık bu farkı açık biçimde gösterebilir.

Birinci dereceden mantık

Birinci dereceden mantık, niceleyicilerin bir alan içindeki bireyler üzerinde dolaştığı standart modern mantık sistemidir. Matematik, felsefe ve bilgisayar biliminde yaygın biçimde kullanılır.

Birinci dereceden mantığın güçlü yanlarından biri ifade gücü ile iyi metamatematiksel özellikler arasındaki dengedir. Gödel’in tamlık teoremi bu sistem için geçerlidir. Buna karşılık daha yüksek dereceli mantıklarda özellikler veya kümeler üzerinde de niceleme yapılabilir; bu sistemlerin semantik ve kanıt özellikleri farklılaşır.

Dolayısıyla “modern mantık = birinci dereceden mantık” eşitliği de eksiktir. Birinci dereceden mantık merkezî bir sistemdir, fakat çağdaş mantığın tamamı değildir.

Sentaks ve semantik

Modern mantıkta temel ayrımlardan biri sentaks ile semantik arasındadır.

Sentaks, bir biçimsel dilde hangi sembol dizilerinin iyi oluşturulmuş formüller olduğunu ve hangi çıkarım kurallarıyla hangi formüllerin türetilebildiğini inceler.

Semantik, bu formüllerin ne şekilde yorumlandığını, hangi yapılarda doğru olduğunu ve mantıksal sonuç ilişkisinin nasıl tanımlanacağını ele alır.

Bu iki düzeyi şöyle düşünebiliriz:

• Sentaktik soru: “Bu sonuca kurallara uygun bir kanıtla ulaşabilir miyim?”
• Semantik soru: “Bu sonuç, öncüllerin doğru olduğu bütün yorumlarda doğru mu?”

Bir kanıt sisteminin sağlamlığı, kanıtlanabilen şeylerin semantik olarak geçerli olmasını; tamlığı ise semantik olarak geçerli olan şeylerin sistemde kanıtlanabilmesini ifade eder. Bu teknik kullanım, gündelik bir argümanın “sağlamlığı”ndan farklıdır.

Kanıt teorisi, model teorisi, küme teorisi ve hesaplanabilirlik

Çağdaş matematiksel mantığın başlıca alanları arasında:

• Kanıt teorisi: Biçimsel kanıtların yapısını ve dönüşümlerini inceler.
• Model teorisi: Biçimsel diller ile onları doğru kılan matematiksel yapılar arasındaki ilişkiyi araştırır.
• Küme teorisi: Matematiksel nesnelerin temel yapılarından biri olan kümeleri ve onların aksiyomatik teorilerini inceler.
• Hesaplanabilirlik teorisi: Hangi işlemlerin algoritmik olarak gerçekleştirilebileceğini ve hangi problemlerin karar verilebilir olduğunu araştırır.

Bu alanlar birbirinden ayrı uzmanlıklar geliştirmiş olsa da modern mantığın ortak sorusunu paylaşırlar: Biçimsel bir sistemin ne ifade edebildiğini, ne kanıtlayabildiğini ve sınırlarının nerede başladığını nasıl belirleriz?

Klasik olmayan mantıklar

Neden birden fazla mantık var?

Klasik mantık, matematik ve felsefede hâlâ temel ve son derece güçlü bir sistemdir. Klasik olmayan mantıkların ortaya çıkması, klasik mantığın “yanlış olduğunun” keşfedildiği anlamına gelmez. Farklı mantıklar, klasik mantığın belirli ilkelerini değiştirerek veya yeni ifade araçları ekleyerek farklı problem türlerini daha iyi modellemeye çalışır.

Örneğin:

• Zorunluluk ve olanak için modal mantık,
• Yapıcı matematiksel kanıt anlayışı için sezgici mantık,
• İkiden fazla doğruluk değeri için çok değerli mantık,
• Belirsiz kavramların dereceli yapısı için bulanık mantık,
• Çelişki bulunduğunda sistemin her şeyi türetmesini engellemek için paraconsistent mantık,
• Yeni bilgi geldiğinde geri çekilebilen çıkarımlar için monoton olmayan mantık

geliştirilmiştir.

Modal mantık

Modal mantık, önermelerin yalnızca doğru veya yanlış olmasını değil, zorunlu, mümkün, imkânsız veya olumsal olma gibi kiplerini inceler. Temel semboller genellikle:

• □P — P zorunludur.
• ◇P — P mümkündür.

şeklindedir.

XX. yüzyılın başında C. I. Lewis modern modal mantığın gelişiminde önemli rol oynadı. Yüzyılın ortasında Saul Kripke ve başka araştırmacıların geliştirdiği semantik yaklaşımlar, modal sistemlerin yorumunu büyük ölçüde değiştirdi.

Mümkün dünyalar semantiğinde “dünya” sözcüğü mutlaka fiziksel bir paralel evren anlamına gelmez. Çoğu mantıksal kullanımda mümkün dünyalar, farklı durumların veya değerlendirme noktalarının soyut temsilidir. Dünyalar arasındaki erişilebilirlik ilişkisi, hangi modal sistemin elde edildiğini belirlemede önemli rol oynar.

Modal mantığın uzantıları arasında:

• Epistemik mantık: Bilme ve inanma kipleri,
• Deontik mantık: Yükümlülük, izin ve yasak,
• Zamansal mantık: Önce, sonra, daima, sonunda gibi zamansal ilişkiler

bulunur.

Sezgici mantık

Adındaki “sezgici” kelimesi nedeniyle yanlış anlaşılmaya açık olan intuitionistic logic, gündelik sezgilere dayalı bir mantık değildir. Kökeni, L. E. J. Brouwer’ın matematik felsefesindeki sezgicilik programına dayanır. Brouwer, matematiksel doğruluğu soyut bir hazır gerçeklikten çok matematiksel inşa ve kanıtla ilişkilendirdi.

Sezgici mantık, klasik mantığın üçüncü hâlin imkânsızlığı ilkesini her önerme için genel olarak kabul etmez. Klasik mantıkta “P veya P-değil” her P için geçerlidir. Sezgici yaklaşımda ise böyle bir ayrışımı ileri sürmek için P’nin kanıtına veya P’nin imkânsızlığının kanıtına sahip olmak gerekebilir.

Arend Heyting, Brouwer’ın fikirlerine uygun mantıksal sistemlerin biçimselleştirilmesinde belirleyici rol oynadı. Sezgici mantık daha sonra yapıcı matematik, tip teorisi ve bilgisayar bilimiyle güçlü bağlar kurdu.

Sezgici mantığı “klasik mantıktan üçüncü hâlin imkânsızlığını çıkarınca kalan şey” diye tanımlamak pratik bir ilk yaklaşım olabilir; ancak felsefî açıdan asıl fark, doğruluk ve kanıtın nasıl anlaşıldığına ilişkindir.

Çok değerli mantık

Klasik önerme mantığında standart olarak iki doğruluk değeri vardır: doğru ve yanlış. Çok değerli mantıklar, bu yapıyı ikiden fazla değere genişletir.

XX. yüzyılın başlarında Jan Łukasiewicz, özellikle gelecek hakkında zorunlu olmayan önermeleri ele alırken üç değerli mantık sistemleri geliştirdi. Daha sonra sonlu veya sonsuz sayıda doğruluk değeri kullanan çok çeşitli sistemler ortaya çıktı.

Çok değerli mantıkların bulunması, “hakikatin aslında istediğimiz kadar derecesi vardır” şeklindeki tek bir felsefî tezin kanıtı değildir. Farklı sistemler farklı semantik amaçlarla farklı değer kümeleri kullanabilir.

Bulanık mantık

Bulanık mantık (fuzzy logic), özellikle belirsiz veya dereceli kavramların biçimsel modellenmesiyle ilişkilidir. Lotfi A. Zadeh’in 1965’te geliştirdiği bulanık kümeler teorisi, bir nesnenin bir kümeye üyeliğini yalnızca 0 veya 1 ile değil, 0 ile 1 arasındaki derecelerle ifade etmeye imkân verdi.

Örneğin “uzun insanlar” kümesinin kesin ve doğal bir sınırı olmayabilir. 179 cm ile 180 cm arasında “uzunluk” açısından ontolojik bir uçurum bulunmaz. Bulanık kümeler böyle dereceli üyelik yapılarını modellemeye yarar.

Bulanık mantık çoğu zaman olasılık ile karıştırılır. Oysa olasılık ile bulanıklık aynı problemi ölçmez. “Yarın yağmur yağma olasılığı %70” belirsiz bir olay hakkındaki olasılık değerlendirmesidir. “Bu kişi uzunluk kümesine 0,7 derecesinde üyedir” ise bir özelliğin dereceli üyeliğini ifade eder. Uygulamada iki yaklaşım birlikte kullanılabilir, fakat kavramsal olarak ayrıdır.

Paraconsistent mantık

Klasik mantıkta bir çelişkiden herhangi bir sonuç çıkarılabilmesi ilkesine patlama ilkesi (ex contradictione quodlibet) denir. Yani hem P hem P-değil kabul edilirse, klasik çıkarım sistemi içinde ilgisiz bir Q sonucuna dahi ulaşılabilir.

Paraconsistent mantıklar, bu patlamayı geçersiz kılan mantıklardır. Amaç, çelişkili bilgi içeren bir sistemin otomatik olarak her şeyi kanıtlayabilir hâle gelmesini engellemektir.

Bu yaklaşım:

“Çelişkiler doğrudur.”

demek değildir.

Bu iki görüşü ayırmak gerekir:

• Paraconsistency: Mantıksal sonuç ilişkisinin patlayıcı olmaması.
• Diyaleteizm: Bazı gerçek çelişkilerin doğru olabileceği felsefî tezi.

Bir diyaleteist genellikle paraconsistent bir mantığa ihtiyaç duyar; fakat paraconsistent mantık kullanan herkes diyaleteist değildir. Çelişkili veri tabanları, hukukî norm kümeleri veya geçici bilimsel bilgiler gibi alanlarda tutarsızlıkla kontrollü biçimde akıl yürütmek için paraconsistent sistemler kullanılabilir.

İlgililik ve monoton olmayan mantıklar

İlgililik mantıkları (relevance logics), öncüller ile sonuç arasında yalnızca biçimsel doğruluk koruma değil, belirli bir “ilgili olma” bağının bulunmasını sağlamaya çalışan sistemlerdir. Klasik maddî koşulun bazı paradoksal görünen sonuçları bu araştırmaların motivasyonlarından biridir.

Monoton olmayan mantık (non-monotonic logic) ise özellikle gündelik ve yapay zekâ temelli akıl yürütmede önemli bir problemi ele alır. Klasik tümdengelim monotondur: Bir sonuç belirli öncüllerden çıkıyorsa, öncül kümesine yeni öncüller eklendiğinde eski sonuç geçerliliğini kaybetmez. Gündelik düşünmede ise sık sık geçici sonuçlar çıkarırız:

“Kuşlar genellikle uçar. Tweety bir kuştur. Öyleyse Tweety uçar.”

Daha sonra “Tweety bir penguendir” bilgisini edinirsek sonucu geri çekeriz. Monoton olmayan mantıklar, bu tür yenilebilir veya geri alınabilir çıkarımları biçimsel olarak modellemeye çalışır.

Paradokslar ve mantığın sınırlarını gösteren sorunlar

Yalancı paradoksu

“Bu cümle yanlıştır.”

Cümle doğruysa söylediği şey gereği yanlış; yanlışsa söylediği şey gereği doğru görünür. Yalancı paradoksunun çeşitli biçimleri antik çağdan beri bilinir.

Paradoks, yalnızca bir kelime oyunu değildir. Doğruluk, öz-gönderim ve bir dilin kendi ifadeleri hakkında ne ölçüde konuşabileceği gibi temel sorunları görünür kılar. Tarski’nin nesne dili ile üst-dil ayrımı bu tür sorunlara verilen en etkili modern cevaplardan biridir.

Russell paradoksu

Russell paradoksu, naif küme kavrayışının —her tanımlanabilir koşul için bir küme oluşturulabileceği fikrinin— çelişkiye yol açabileceğini gösterdi. Etkisi yalnızca küme teorisiyle sınırlı kalmadı; matematiğin temellerine ilişkin aksiyomatik sistemlerin daha dikkatli kurulmasına yol açtı.

Sorites paradoksu

Sorites veya “yığın” paradoksu, belirsiz kavramların sınırını sorgular.

Bir kum tanesi yığın değildir. Tek bir tane eklemek bir şeyi aniden yığın yapmıyorsa, aynı akıl yürütme tekrarlandığında hiçbir miktar kumun yığın olmaması gerekir. Oysa belirli miktarda kum açıkça bir yığındır.

Sorites, “kel”, “uzun”, “genç” gibi sınırları keskin olmayan kavramların mantıksal yapısına ilişkin önemli bir problemdir. Çok değerli ve bulanık mantıklar çözümlerden bazılarını sunar; ancak paradoksa ilişkin epistemik, süperdeğerlemeci ve başka yaklaşımlar da vardır.

Paradoksların değeri, mantığın bozulduğu noktaları göstermekten çok, kullandığımız doğruluk, küme, anlam ve çıkarım kavramlarını daha kesin tanımlamaya zorlamalarında yatar.

Safsatalar ve informel akıl yürütme

Safsata, bir argümanın görünüşte ikna edici olduğu hâlde akıl yürütme açısından problem taşıdığı durumlar için kullanılan genel addır. Ancak her safsata basit bir biçimsel geçersizlik değildir. Özellikle gündelik dildeki safsataların önemli kısmı bağlama bağlıdır.

Bazı yaygın örnekler şunlardır:

• Ad hominem: Argümanın içeriği yerine kişiye uygunsuz saldırı.
• Korkuluk (straw man): Karşı görüşü zayıflatılmış veya çarpıtılmış biçimde sunup onu çürütme.
• Yanlış ikilem: Gerçekte daha fazla seçenek varken yalnızca iki seçenek varmış gibi davranma.
• Döngüsel akıl yürütme: Sonucu açık veya örtük biçimde öncüllerin içine yerleştirme.
• Aceleci genelleme: Yetersiz örnekten geniş sonuç çıkarma.
• Post hoc: Yalnızca bir olay diğerinden sonra gerçekleştiği için ilk olayın ikincinin nedeni olduğunu varsayma.
• Otoriteye uygunsuz başvuru: İddianın doğruluğunu, ilgili konuda yeterli uzmanlığı bulunmayan veya görüşü kanıtın yerine konamayacak bir otoriteye dayandırma.

Buradaki “uygunsuz” sözcüğü önemlidir. Uzman görüşüne başvurmak kendi başına safsata değildir. Modern toplumda tıp, mühendislik veya bilim gibi alanlarda uzmanlık bilgisine başvurmak çoğu zaman rasyonel davranıştır. Sorulması gereken; kişinin gerçekten ilgili alanda uzman olup olmadığı, görüşünün kanıtla nasıl desteklendiği ve uzmanlar arasında ciddi anlaşmazlık bulunup bulunmadığıdır.

Benzer biçimde bir kişinin güvenilirliği her durumda konu dışı değildir. Tanıklık veya uzmanlık tartışmasında kişinin bilgiye erişimi ve dürüstlüğü ilgili olabilir. Bu nedenle safsataları ezberlenmiş etiketlerle değil, argümanın işlevi ve bağlamı içinde değerlendirmek gerekir.

Mantık ve dil

Mantık, dili hem araç olarak kullanır hem de doğal dilin sınırlarıyla mücadele eder. Doğal diller son derece zengindir; fakat aynı zamanda:

• çok anlamlı,
• bağlama bağımlı,
• eksiltili,
• mecazlı,
• pragmatik

olabilir.

“Ali kitabı bıraktı” cümlesi, Ali’nin daha önce kitabı tuttuğunu ima eder. “Ayşe bile geldi” ifadesi, Ayşe’nin gelmesinin beklenmedik olduğuna ilişkin bir pragmatik varsayım taşır. Basit biçimsel mantık bu anlam katmanlarının tamamını yakalamaz.

Frege ve Russell’dan başlayarak XX. yüzyılın analitik felsefesi, felsefî sorunların önemli bir bölümünü dilin mantıksal yapısını çözümleyerek açıklamaya çalıştı. Erken Wittgenstein, Tractatus Logico-Philosophicus’ta dil ile dünyanın yapısı arasında mantıksal bir ilişki kurmaya çalıştı. Daha sonraki Wittgenstein ise anlamın dil oyunları ve kullanım biçimleriyle ilişkisini vurgulayarak önceki çerçeveden önemli ölçüde uzaklaştı.

Viyana Çevresi ve mantıksal pozitivistler de bilimsel dil, anlam ve mantıksal çözümleme arasında güçlü bağ kurdular. Buna karşılık W. V. O. Quine, analitik–sentetik ayrımı ve mantığın dil ve ontolojiyle ilişkisi hakkında XX. yüzyılın önemli eleştirilerini geliştirdi.

Mantık ile dil arasındaki ilişki bu nedenle tek yönlü değildir. Mantık doğal dili berraklaştırabilir; doğal dilin zenginliği de mantığın hangi ayrımları geliştirmesi gerektiğini gösterir.

Mantık ve matematik

Mantık ile matematik arasındaki ilişki modern dönemde olağanüstü ölçüde yoğunlaşmıştır. Matematiksel kanıtlar mantıksal çıkarım kurallarına dayanır; matematiksel teoriler aksiyomatik biçimde incelenebilir; model teorisi matematiksel yapılarla biçimsel diller arasındaki bağı araştırır; hesaplanabilirlik teorisi algoritmik yöntemin sınırlarını belirler.

Bununla birlikte:

“Matematik mantıktır.”

ifadesi nötr bir olgu değil, tarihsel olarak belirli bir mantıkçılık programının güçlü yorumudur. Frege ve Russell matematiği mantıksal temellere indirgeme yönünde büyük projeler geliştirdi. Sezgicilik ve biçimcilik ise matematiğin temellerine ilişkin farklı görüşler sundu.

XX. yüzyılın temeller tartışması bu nedenle üç geniş program etrafında okunabilir:

• Mantıkçılık: Matematiği mantıksal temellere indirgeme arayışı.
• Biçimcilik: Matematiksel teorilerin biçimsel sistemler olarak güvence altına alınması.
• Sezgicilik / yapıcılık: Matematiksel varlık ve doğruluğu yapıcı kanıtla ilişkilendirme.

Bu tartışmalar bugün aynı biçimde sürmüyor; fakat matematik felsefesinin temel sorularını şekillendirmeye devam ediyor.

Mantık, bilim ve nedensellik

Bilimsel düşünme mantıksal çıkarımı içerir, fakat bilimsel yöntem mantığın kendisi değildir. Bilim ayrıca:

• gözlem,
• deney,
• ölçüm,
• modelleme,
• istatistik,
• veri analizi,
• hipotez üretimi,
• hata kontrolü,
• tekrarlanabilirlik

gibi süreçlere dayanır.

Mantık, bir teorinin sonuçlarının çıkarılmasında ve farklı iddiaların tutarlılığının değerlendirilmesinde vazgeçilmez araçlar sunar. Fakat hangi gözlemlerin doğru olduğu veya hangi modelin dünyaya daha iyi uyduğu deneysel araştırma gerektirir.

Özellikle mantıksal koşulluluk ile nedenselliği karıştırmamak gerekir. “P ise Q” ifadesi tek başına P’nin Q’ya neden olduğunu söylemez. “Bir sayı 4’e tam bölünüyorsa çifttir” geçerli bir koşullu ilişkidir, fakat burada olaylar arasında fiziksel nedensellik söz konusu değildir.

Nedensellik; karşıolgusal analizler, müdahale modelleri, olasılık ve bilimsel açıklama gibi daha geniş araçları gerektiren ayrı bir felsefî ve bilimsel sorundur.

Mantık ve bilgisayar bilimi

Mantığın bilgisayar bilimiyle ilişkisi yalnızca “0 ve 1” benzetmesine indirgenemez. Birçok farklı düzeyde mantıksal teknik kullanılır.

Boole cebiri, elektronik anahtarlama devrelerinin tasarımında AND, OR ve NOT gibi işlemlerin matematiksel temelini sağlar. Programlama dillerinin anlamlarının tanımlanmasında mantıksal yöntemlerden yararlanılır. Program doğrulama, bir programın belirli özellikleri karşılayıp karşılamadığını biçimsel olarak kanıtlamaya çalışır. Veri tabanlarında sorgulama dilleri ile mantık arasında güçlü ilişkiler vardır. SAT ve SMT çözücüleri, çok büyük mantıksal formül kümelerinin tatmin edilebilirliğini araştıran pratik araçlardır.

Mantık programlama yaklaşımında program, olgular ve kurallar kümesi biçiminde ifade edilebilir. Prolog, bu geleneğin en bilinen programlama dillerinden biridir.

Modern bilgisayar bilimi aynı zamanda mantığın sınırlarını da miras alır. Turing ve Church’ün hesaplanabilirlik sonuçları, her iyi tanımlanmış problemin genel bir algoritmayla çözülemeyeceğini gösterir. Bazı problemler teorik olarak çözülemez; bazıları ise hesaplama bakımından o kadar zordur ki pratikte farklı yöntemler gerekir.

Mantık ve yapay zekâ

Yapay zekânın erken dönemlerinde sembolik yapay zekâ, mantığı bilgi gösterimi ve çıkarım için merkezi araçlardan biri olarak kullandı. Bilgi tabanları, kurallar ve çıkarım motorları; “Eğer P ve Q ise R” benzeri yapılar üzerinden çalışabiliyordu. Uzman sistemler belirli alan bilgisini kural kümeleri hâlinde modellemeye çalıştı.

Ancak yapay zekânın tamamı sembolik mantıktan oluşmaz. Günümüzün makine öğrenmesi ve özellikle derin öğrenme sistemleri büyük ölçüde istatistiksel optimizasyon, olasılık ve veri üzerinden öğrenme yöntemlerine dayanır. Bu sistemler çoğu zaman açık mantıksal kurallar biçiminde tasarlanmamıştır.

Buna karşılık yapay zekâ araştırmasında:

• sembolik çıkarım,
• olasılıksal akıl yürütme,
• bilgi grafikleri,
• monoton olmayan mantık,
• ontolojiler,
• biçimsel doğrulama,
• nöro-sembolik yöntemler

gibi alanlar mantıkla güçlü ilişki içindedir.

Bu nedenle “yapay zekâ mantıkla çalışır” ifadesi, ancak hangi yapay zekâ yaklaşımından söz edildiği açıklanırsa anlamlıdır. Çağdaş araştırmalarda öğrenmeye dayalı ve sembolik yöntemlerin birbirini tamamlayabileceği hibrit sistemler üzerinde de çalışılmaktadır.

Mantık, hukuk ve etik

Hukukî akıl yürütme mantıksal yapı içerir, fakat bir mahkeme kararını basit bir kıyas işlemine indirgemek mümkün değildir. Hukuk:

• normların yorumlanmasını,
• delillerin değerlendirilmesini,
• emsal kararların ağırlığını,
• kavramların sınırlarını,
• istisnaları,
• haklar ve ilkeler arasındaki çatışmaları

içerir.

Deontik mantık, “zorunludur”, “izinlidir”, “yasaktır” gibi normatif kipleri biçimsel olarak incelemeye çalışır. Bu araç hukuk felsefesi ve etik açısından değerlidir; ancak hukukî kararın tamamını otomatikleştirmez.

Etikte de mantık, bir ahlaki görüşün kendi içinde tutarlı olup olmadığını ve kabul edilen ilkelerin hangi sonuçları doğurduğunu gösterebilir. Fakat hangi ahlaki ilkelerin benimsenmesi gerektiğini mantık tek başına belirleyemez.

Hume’la ilişkilendirilen olan–olması gereken ayrımı, betimleyici öncüllerden yalnızca mantıksal biçim yoluyla normatif sonuç çıkarılamayacağı sorununu görünür kılar. Normatif bir sonuca ulaşmak için çoğu zaman en az bir normatif öncül gerekir.

Mantık, eleştirel düşünme ve gündelik hayat

Mantık eğitimi gündelik düşünmede önemli beceriler geliştirebilir:

• öncül ile sonucu ayırmak,
• gizli varsayımları fark etmek,
• aynı kavramın farklı anlamlarda kullanılmasını görmek,
• geçersiz çıkarımları ayırt etmek,
• iddianın hangi kanıta dayandığını sormak,
• çelişkileri tespit etmek.

Fakat eleştirel düşünme mantıktan daha geniştir. Bir haberin güvenilirliğini değerlendirirken yalnızca çıkarım yapısına bakmak yetmez. Kaynağın niteliği, verinin nasıl toplandığı, istatistiksel yöntemler, uzman görüşünün düzeyi, çıkar çatışmaları ve alternatif açıklamalar da önemlidir.

Benzer biçimde bilişsel önyargılar mantıksal safsatalarla aynı şey değildir. Örneğin doğrulama yanlılığı, insanların mevcut inançlarını destekleyen bilgileri seçme eğilimini ifade eden psikolojik bir olgudur. Bu eğilim geçersiz argümanlara yol açabilir, fakat mantıksal geçersizliğin kendisi değildir.

Gündelik dilde kullanılan “herkesin mantığı farklıdır” sözü de teknik anlamda dikkatle ele alınmalıdır. İnsanların değerleri, hedefleri, bilgi düzeyleri veya öncülleri farklı olabilir; bu durum belirli bir biçimsel sistem içindeki geçerliliğin kişisel zevke bağlı olduğu anlamına gelmez.

Mantık, akıl ve rasyonellik

Akıl, mantık ve rasyonellik yakın kavramlardır fakat eş anlamlı değildir.

Akıl, felsefe tarihinde bilme, yargılama, karar verme ve eylem gibi çok geniş işlevleri kapsar. Mantık, özellikle çıkarımların yapısal özellikleriyle ilgilenir. Rasyonellik ise inançların, tercihlerin ve kararların hangi ölçüler altında “akla uygun” sayılacağını araştıran daha geniş bir normatif alandır.

Bir insan mantıksal olarak tutarlı bir amaç sistemi içinde davranabilir ama amacı ahlaken sorunlu olabilir. Tersine, belirli bir durumda eksik bilgi nedeniyle biçimsel olarak ideal olmayan ama pratik bakımdan makul bir karar verebilir.

Bu nedenle mantıksal tutarlılık rasyonelliğin önemli bir boyutudur; rasyonelliğin tamamı değildir.

Gündelik kültürdeki “duygu–mantık” karşıtlığı da fazla basittir. Psikoloji ve karar teorisi, duyguların bazı durumlarda karar verme sürecinin ayrılmaz parçası olduğunu gösterir. Mantık, duyguların karşıtı olan bir zihinsel organ değil; belirli çıkarımların yapısını inceleyen disiplindir.

Mantık ve sanat

Mantık ile sanat ilk bakışta uzak alanlar gibi görünür. Sanatın anlamı, duygu, sezgi, deneyim ve biçimsel özgürlükle ilişkisi onu matematiksel bir kanıt sistemine dönüştürmeyi imkânsız kılar. Bununla birlikte sanat tarihi ve estetik içinde mantıkla temas eden önemli alanlar vardır.

Müzikte biçimsel yapı, tekrar, varyasyon ve dönüşüm ilişkileri belirli düzenler oluşturur. Kavramsal sanat, bazen bir fikrin koşullarını, dilsel önermelerin sınırlarını veya sınıflandırma sorunlarını sanatın malzemesi hâline getirir. Algoritmik ve generatif sanat, açık kuralların çok sayıda farklı biçim üretmesini sağlayarak mantık, matematik ve estetik arasında yeni bağlantılar kurar.

Edebiyat da paradoks ve öz-gönderimi yaratıcı araçlara dönüştürmüştür. Matematikçi ve mantıkçı Charles Lutwidge Dodgson, edebiyatta Lewis Carroll adıyla dil oyunları, sınıflandırmalar ve paradoksal durumlar üretti. Jorge Luis Borges ise sonsuzluk, kendi kendine gönderim, olanaksız sınıflandırmalar, labirentler ve olası dünyalar gibi temalarla modern mantık ve felsefenin sorunlarıyla edebî düzeyde kesişen metinler yazdı.

Bu ilişkiler “sanat mantıktır” anlamına gelmez. Daha değerli olan, mantığın düzen, sınıflandırma, olasılık, dil ve öz-gönderim gibi sorunlarının sanat içinde başka bir deneyim alanına dönüşebilmesidir.

Mantığın felsefî sorunları

Mantık yalnızca felsefenin kullandığı bir araç değildir. Mantığın kendisi felsefî sorunların konusudur.

Bunların başlıcaları şunlardır:

• Mantıksal doğrular neden zorunludur?
• Mantık düşüncenin mi, dilin mi, dünyanın mı yapısını ifade eder?
• “Ve”, “değil”, “her”, “bazı” gibi mantıksal sabitleri diğer sözcüklerden ayıran nedir?
• Geçerlilik semantik mi, kanıt kuramsal mı anlaşılmalıdır?
• Tek doğru mantık mı vardır?
• Klasik mantıktan hangi koşullarda vazgeçilebilir?
• Mantıksal yasalar keşfedilir mi, yoksa belirli amaçlar için mi kurulur?

Bu sorular mantık felsefesindeki realizm, anti-realizm, konvansiyonalizm, monizm ve çoğulculuk tartışmalarına açılır.

Mantıksal monizm, kabaca, doğru mantıksal sonuç ilişkisinin tek olduğunu savunmaya yönelir. Mantıksal çoğulculuk ise birden fazla mantıksal sonuç ilişkisinin farklı ama meşru anlamlarda doğru olabileceğini savunan yaklaşımları kapsar. Bu görüş “herkesin istediği mantığı seçebileceği” anlamına gelmez; hangi sistemin hangi kavramsal amacı ve geçerlilik anlayışını temsil ettiği gerekçelendirilmelidir.

Mantık ile ontoloji arasında da ilişki vardır. Quine’ın ünlü yaklaşımında bir teorinin niceleyicilerinin hangi varlıklar üzerinde dolaştığı, teorinin ontolojik bağlılıkları hakkında ipucu verir. Modal mantıkta “mümkün dünyalar”, yüklem mantığında niceleme alanları veya küme teorisindeki kümeler, biçimsel araçların metafizik yorumlardan bütünüyle bağımsız olmayabileceğini gösterir.

Mantığın sınırları

Mantık son derece güçlü bir araçtır, fakat kapsamı sınırsız değildir.

Mantık tek başına:

• bir öncülün gerçek dünyada doğru olup olmadığını belirlemez,
• hangi değerlerin benimsenmesi gerektiğine karar vermez,
• hangi amaçların iyi olduğunu göstermez,
• deneysel veri üretmez,
• tarihsel veya toplumsal bağlamı kendiliğinden açıklamaz,
• belirsizlik ve olasılık problemlerinin tamamını çözmez.

Bir çıkarım biçimsel olarak kusursuz olabilir; fakat yanlış, eksik veya yanıltıcı öncüllere dayanabilir. Bu nedenle mantık “çöp girerse çöp çıkar” şeklinde özetlenen problemin dışında değildir: biçimsel doğruluk, bilgi kalitesinin yerini tutmaz.

Aynı zamanda mantığın sınırı “mantık işe yaramaz” sonucunu doğurmaz. Tam tersine mantığın en büyük değeri, neyi yapabileceğini ve neyi yapamayacağını açıkça ayırabilmesidir. Gödel’in eksiklik teoremleri, Turing’in hesaplanamazlık sonuçları veya farklı mantık sistemlerinin doğuşu, mantığın kendi sınırlarını inceleyebilmesinin disiplinin zayıflığı değil gücü olduğunu gösterir.

Mantık tarihinin başlıca dönüm noktaları

Temel kavramlar

Mantığın kalıcı önemi

Mantık tarihinin en dikkat çekici özelliği, disiplinin iki bin yılı aşan süre boyunca aynı kalmamış olmasıdır. Aristoteles’in tasım teorisi, Stoacı önermeler mantığı, İbn Sina’nın modal ve kıyas araştırmaları, skolastiklerin dil çözümlemeleri, Leibniz’in hesap ideali, Boole’un cebiri, Frege’nin niceleyicileri, Gödel’in eksiklik sonuçları ve Tarski’nin semantiği aynı sorunun farklı tarihsel biçimleridir: Bir düşünceden başka bir düşünceye geçiş ne zaman meşrudur?

Bu tarih aynı zamanda mantığın “sağduyulu olmak”tan çok daha derin bir disiplin olduğunu gösterir. Mantık, bir yandan gündelik tartışmada hatalı çıkarımları fark etmeye yardımcı olurken, öte yandan matematiksel teorilerin, bilgisayar programlarının ve yapay zekâ sistemlerinin biçimsel özelliklerini inceleyen son derece teknik bir araştırma alanıdır.

Mantığın gücü, hangi dünya görüşünün doğru olduğunu ilan etmesinde değildir. Mantık bize bir öncülün dünyada doğru olup olmadığını tek başına söylemez; ancak o öncülü kabul ettiğimizde hangi sonuçları da kabul etmek zorunda kalacağımızı gösterebilir. Değerleri seçmez; fakat değerlerimizin birbirleriyle çelişip çelişmediğini sınayabilir. Deney yapmaz; fakat deney sonuçlarından hangi çıkarımların gerçekten desteklendiğini çözümlemeye yardım eder. Siyasî, hukukî veya ahlaki kararların yerine geçmez; fakat bu kararları savunan gerekçelerin yapısını görünür kılar.

Bu nedenle mantığın en güçlü yönlerinden biri aynı zamanda sınır bilincidir. Gödel, Tarski, Church ve Turing’in çalışmaları modern mantığın yalnızca daha güçlü kanıt makineleri üretmediğini; kanıtın, doğruluğun ve hesaplamanın nerede birbirinden ayrıldığını da gösterdi.

Mantık böylece değişmez bir kurallar listesi olmaktan çok, akıl yürütmenin biçimini, doğruluğun koşullarını ve biçimsel düşüncenin sınırlarını sürekli yeniden inceleyen canlı bir araştırma geleneğidir. Felsefenin en eski disiplinlerinden biri olmasına rağmen matematik, bilgisayar bilimi ve yapay zekânın en çağdaş problemlerinin içinde yer almaya devam etmesinin nedeni de budur.