Filomythos Yapay Zeka
Bu yazıyla bağlantılı kavramları Filomythos arşivinde arayın.
Giriş: Mantık ile Matematik Arasındaki Kadim Çatışma
Batı düşüncesi, ilk doğuşundan bu yana iki farklı çizgi arasında gidip gelmiştir: biri Aristoteles’in mantığa dayalı, sistematik ve kıyasçı yaklaşımı, diğeri Platon’un matematiksel idealar dünyasını hakikatin anahtarı olarak gören ontolojisi. Bu iki damar, yalnızca Antik Çağ’da değil, Ortaçağ skolastiğinden Rönesans bilimine, Aydınlanma felsefesinden 20. yüzyılın matematiksel mantık devrimlerine kadar süregelen bir gerilimin kaynağı olmuştur. Bilgi nedir, bilim nasıl işler, hakikat hangi yoldan elde edilir gibi temel sorular, kimi dönemlerde mantık merkezli, kimi dönemlerde matematik merkezli yanıtlar buldu. Özellikle Descartes sonrasında bilim, Aristotelesçi mantıktan çok Platoncu matematiğin diliyle ilerledi. Buna rağmen 20. yüzyılda mantığın yeniden doğuşu, bu kadim tartışmayı bir kez daha gündeme taşıdı.
Aristoteles’in Mantık Geleneği
Aristoteles’in felsefe tarihine en kalıcı katkılarından biri, düşünmenin formel yapısını ortaya koymasıdır. Organon başlığı altında toplanan metinlerinde geliştirdiği kıyas kuramı, yalnızca felsefenin değil, bilimsel akıl yürütmenin de temeli sayıldı. Aristoteles için mantık, bilimin dışındaki bir disiplin değil, bilimin işleyiş tarzını mümkün kılan içkin bir araçtı. İnsan aklının zorunlu yasaları, özdeşlik ilkesi (A=A), çelişmezlik ilkesi (A ve ¬A aynı anda doğru olamaz) ve üçüncünün imkânsızlığı ilkesinde cisimleşiyordu. Bu ilkeler, iki bin yıl boyunca düşüncenin güvenliğini garanti eden ölçütler olarak kabul edildi.
Kıyasın yapısı bu güvenliği somutlaştırır: “Bütün insanlar ölümlüdür; Sokrates insandır; öyleyse Sokrates ölümlüdür.” Burada sonuç, öncüllerin zorunlu bir uzantısıdır. Aristoteles için bilimsel bilginin değeri, işte bu türden zorunlu bağlarla kurulan önermelerde saklıdır. Doğa bilgisi, nedenlerin bilinmesi demektir; nedenlerin bilinmesi ise mantığın güvenilir işleyişine bağlıdır. Bu yüzden Aristotelesçi çizgi, hakikate giden yolu matematiksel sezgilerde değil, mantığın evrensel kurallarında aramıştır.
Platon’un Matematiksel Ontolojisi
Aristoteles’in mantık merkezli yaklaşımı, hocası Platon’un çizgisinden önemli bir kopuştur. Platon, hakikatin duyular dünyasında değil, idealar âleminde bulunduğunu savunur. Ona göre matematiksel nesneler – sayılar, geometrik şekiller, oranlar – bu ideaların en saf örnekleridir. Duyularımızla algıladığımız üçgenler eksik, kusurlu ve geçicidir; ancak “üçgen” ideası ebedî, değişmez ve hakikidir. Bu yüzden matematik, ruhun idealar âlemine yükselişinde en sağlam basamaklardan biridir.
Devlet diyalogunda çizilen mağara alegorisi, bu düşüncenin simgesel bir ifadesidir. İnsanlar gölgeler dünyasında yaşarlar; hakikate ulaşmak için mağaradan çıkmalı, güneşin aydınlığına yani ideaların ışığına yükselmelidir. Bu yolculukta matematik, zihni duyuların zincirinden kurtarır. Bu yüzden Platoncu geleneğin mirasçıları için bilim, özünde matematiksel bir uğraştır. Galileo’nun “doğa kitabı matematik dilinde yazılmıştır” sözü, tam da bu çizginin modern bir yankısıdır.
Ortaçağ ve Rönesans: İki Geleneğin Birlikte Yaşaması
Batı düşüncesi Ortaçağ boyunca Aristotelesçi mantıkla skolastik bir yapı kazandı. Thomas Aquinas gibi düşünürler, Hristiyan teolojisini Aristoteles’in kıyas mantığıyla temellendirmeye giriştiler. Bu dönemde mantık, teolojik hakikatlerin sistematik açıklaması için vazgeçilmezdi. Ancak Platoncu çizgi tamamen kaybolmadı. Neoplatoncu gelenek, özellikle matematiksel kozmolojilerde varlığını sürdürdü. Ortaçağ astronomisi, gezegenlerin düzenini Platoncu matematiksel uyum fikriyle açıkladı.
Rönesans ile birlikte Platoncu damar güç kazandı. Kopernik, Kepler ve Galileo’nun gökbilimsel devrimleri, doğanın niteliksel açıklamalarla değil, niceliksel matematiksel düzenlerle anlaşılabileceğini gösterdi. Aristoteles’in mantıksal çerçevesi doğayı açıklamakta yetersiz kalırken, matematik yeni bilimin kurucu dili haline geldi. Böylece 17. yüzyıla gelindiğinde, Aristoteles ile Platon arasındaki kadim tartışmada terazinin kefesi matematik lehine ağır basmaya başlamıştı.
Descartes ve Modern Bilimde Matematiğin Zaferi
- yüzyılda René Descartes, felsefeyi yeni bir zemine oturtma arayışıyla ortaya çıktı. Onun temel amacı, kuşkuya dayanabilecek hiçbir boşluk bırakmadan sağlam bir bilgi temeli kurmaktı.“Cogito ergo sum” formülü, bu temelin epistemolojik ifadesiydi. Ancak Descartes’ın modern bilim üzerindeki asıl etkisi, matematiği bilginin yöntemi haline getirmesindedir. Analitik geometriyi geliştirmesi, geometri ile cebir arasında köprü kurdu ve böylece mekânın matematiksel temsilini mümkün kıldı. Bu, bilimin yönteminde bir devrim anlamına geliyordu: artık doğa, niteliksel betimlemelerle değil, koordinat sistemleri ve sayısal ilişkiler üzerinden anlaşılacaktı.
Descartes’ın açtığı yolu Newton ve Leibniz daha da ileriye taşıdı. Diferansiyel ve integral hesabın keşfi, hareket, değişim ve sürekliliği matematiksel formüllerle açıklama olanağı sundu. Newton’un Principia Mathematica’sında evrenin tüm dinamiği, matematiksel yasalarla formüle edildi. Kepler’in gezegenlerin eliptik yörüngelerini matematiksel oranlarla açıklaması ve Galileo’nun serbest düşme deneylerini sayısal ölçümlerle formüle etmesi, bilimin bundan böyle “matematiğin diliyle” konuşacağını kesin biçimde ortaya koymuştu.
Bu noktadan itibaren Aristotelesçi mantık, bilimin anahtar aracı olmaktan çıktı. Kıyas mantığı hâlâ felsefede, teolojide ve normatif düşünce alanlarında önemini koruyordu; ancak doğa bilimleri, Descartes ve Newton’un mirasıyla matematiksel modellemeye yaslandı. 17. yüzyılın sonunda bilimin yönü belirlenmişti: hakikate ulaşmanın yolu mantıksal kıyaslardan değil, matematiksel formüllerden geçecekti.
19. Yüzyıl: Mantığın Yeniden Doğuşu
Her ne kadar bilim matematiğin hâkimiyetine girmiş olsa da, 19. yüzyılda mantık cephesinde beklenmedik bir yeniden doğuş yaşandı. Aristoteles’in kıyas mantığı iki bin yıl boyunca neredeyse hiç değişmeden aktarılmıştı. Ancak sanayi devriminin ardından yükselen yeni düşünce biçimleri, mantığı da dönüştürdü.
George Boole, 1854’te yayımladığı An Investigation of the Laws of Thought -“Düşüncenin Yasalarının İncelenmesi: Mantık ve Olasılıkların Matematiksel Kuramlarının Temellendiği Araştırma” adlı çalışmasında mantığı cebirsel bir dil haline getirdi. “Doğru” ve “yanlış” önermeleri, “1” ve “0” değerleriyle temsil ediliyor; mantıksal işlemler, toplama ve çarpma gibi cebirsel sembollerle yazılıyordu. Bu, hem Aristotelesçi mantığın formel bir yeniden doğuşu, hem de gelecekteki bilgisayar devriminin habercisiydi.
Gottlob Frege, 1879’da yayımladığı Begriffsschrift (Kavram Yazısı) ile modern biçimsel mantığı kurdu. Aristoteles’in yalnızca tümel ve tikel önermelerle sınırlı kıyas mantığını aşarak, nicelendiriciler (∀, ∃) ve fonksiyonel yapılar getirdi. Frege’nin geliştirdiği bu mantık dili, matematiği mantıksal temeller üzerine oturtma girişiminin kapısını açtı.
Aynı dönemde Giuseppe Peano, doğal sayılar kuramını aksiyomatik biçimde formüle etti. Peano’nun aksiyomları, matematiği sıkı bir mantıksal çerçeveye yerleştirme iddiasının simgesi oldu. Böylece 19. yüzyıl sonunda, mantık modernleşmiş, cebirsel bir dile kavuşmuş ve matematiğin temelini kurma yolunda güçlü bir aday haline gelmişti.
Principia Mathematica ve Hilbert Programı
- yüzyılın başına gelindiğinde mantık ve matematik arasındaki mücadele en yoğun noktasına ulaştı. Bertrand Russell ve Alfred North Whitehead, üç ciltlik Principia Mathematica’yı (1910–1913) yayımlayarak tüm matematiği mantıktan türetmeyi amaçladılar. Bu eser, mantığın Platoncu matematik karşısındaki en iddialı hamlesiydi. Kitapta, en temel sayı kuramı önermeleri dahi, mantıksal aksiyomlardan ve çıkarım kurallarından adım adım türetilmişti. Ünlü “1+1=2” ifadesi ancak yüzlerce sayfalık mantıksal türetimden sonra elde edilebiliyordu.
Russell’ın amacı yalnızca matematiği temellendirmek değil, aynı zamanda bilimsel bilginin kesinliğini garanti altına almaktı. Eğer matematik mantıktan türetilebilirse, bilim de mantığın evrensel güvencesine bağlanmış olacaktı. Bu düşünce, 20. yüzyılın başındaki rasyonalist iyimserliğin bir parçasıydı.
Aynı dönemde David Hilbert, matematiği tutarlı, sonlu ve eksiksiz bir aksiyomatik sistem içinde temellendirmeyi hedefledi. Hilbert’in programı, tüm matematiği belirli kurallar çerçevesinde kanıtlanabilir hale getirmek istiyordu. Onun ünlü mottosu bu iyimserliğin özeti gibidir: “Wir müssen wissen, wir werden wissen” – “Bilmeliyiz, bileceğiz.” Mantığın modern biçimi, matematiği temellendirmek için son büyük umut olarak görülüyordu.
Gödel’in Eksiklik Teoremleri: İyimserliğin Sonu
Fakat bu iyimserlik uzun sürmedi. 1931’de genç matematikçi Kurt Gödel, yayınladığı eksiklik teoremleriyle Hilbert programına ve Principia Mathematica’nın idealine ağır bir darbe indirdi.
Birinci Eksiklik Teoremi’ne göre, aritmetiği kapsayacak kadar güçlü her tutarlı aksiyomatik sistemde, doğruluğu kanıtlanamayan fakat doğru olan önermeler vardır. Yani matematik hiçbir zaman eksiksiz olamaz. İkinci Eksiklik Teoremi ise daha da çarpıcıdır: bir sistem kendi tutarlılığını, kendi içinde ispatlayamaz. Bu da Hilbert’in asıl hedefini – matematiğin kendi içinde tutarlı olduğunu göstermek – imkânsız hale getirdi.
Gödel’in sonuçları, Aristoteles ile Platon arasındaki kadim çekişmeyi farklı bir boyuta taşıdı. Aristotelesçi mantıkçıların iddiası, matematiği mantığa indirgemekti. Ancak Gödel gösterdi ki mantık ne kadar güçlü olursa olsun, matematik içinde her zaman “kaçak” önermeler olacak. Bilgi, eksiksizlik ve kesinlik ideallerine indirgenemez. Platoncu çizginin matematiğe verdiği aşkın statü bir kez daha güçlenmiş oldu: matematik, mantıktan daha geniş, daha derin bir alana işaret ediyordu.
20. Yüzyılda Bilim: Mantık mı, Matematik mi?
Gödel sonrası dönemde bilim, mantığın değil, matematiğin tarafını seçti. Fizik, kuantum mekaniği ve görelilik kuramıyla evreni açıklarken, yüksek matematiğin soyut yapılarından yararlandı. Schrödinger denklemleri, Hilbert uzayları, tensör analizleri ve grup teorisi, doğayı açıklamanın dili haline geldi. Burada mantığın kıyasçı güvenliği değil, matematiğin soyut yapılarının yaratıcı gücü öne çıktı.
Biyoloji de genetik kodu çözmekte istatistiksel modelleri, ekonomi oyun teorisiyle stratejik davranışı, sosyoloji ağ teorisiyle toplumsal ilişkileri açıklamaya yöneldi. Tüm bu gelişmeler, Descartes’tan başlayan çizginin 20. yüzyılda doruğa ulaştığını gösterdi: bilim, mantıksal çıkarımlar üzerine değil, matematiksel modeller üzerine kuruludur.
Mantık ise farklı bir mecrada hayat buldu: bilgisayar bilimi ve yapay zekâ. Turing’in hesaplanabilirlik teorisi, Shannon’ın Boole cebirini devre tasarımına uygulaması ve ilk yapay zekâ sistemlerinin mantıksal çıkarım kuralları üzerine kurulması, mantığı yeni bir sahaya taşıdı. Mantık artık bilimin dili değil, teknolojinin altyapısıydı.
Bilgisayar Çağında Mantığın Yeni Rolü
- yüzyılın ortalarından itibaren mantık, doğrudan bilimsel araştırmanın merkezinden kısmen çekilse de bilgisayar çağında bambaşka bir işlev kazandı. Alan Turing’in 1936’da tanımladığı“Turing makinesi” modeli, hesaplamanın evrensel sınırlarını ortaya koydu. Turing, mantıksal çıkarım süreçlerini formel bir makineye dönüştürerek modern bilgisayarların teorik temelini attı. Böylece Aristoteles’in kıyas mantığı, Boole’un cebirsel dili ve Frege’nin biçimsel sistemleri, sayısal hesaplama cihazlarının zeminini oluşturdu.
Claude Shannon’ın 1938’de yazdığı doktora tezinde Boole cebirini elektrik devreleriyle ilişkilendirmesi, mantığı doğrudan mühendislik uygulamalarına taşıdı. Mantıksal “ve”, “veya”, “değil” işlemleri elektrik devrelerinin açık/kapalı konumlarıyla eşleştirildi. Böylece mantık, soyut felsefi bir disiplin olmaktan çıkarak bilgisayar teknolojisinin kalbine yerleşti.
1950’ler ve 60’larda yapay zekâ araştırmaları, mantıksal çıkarım sistemleriyle başladı. “Uzman sistemler” adı verilen erken yapay zekâ uygulamaları, bilgi tabanlarını mantıksal kurallar halinde kodlayarak sonuçlara ulaşmayı hedefliyordu. Örneğin bir tıp teşhis sisteminde, “Eğer ateş yüksekse ve beyaz kan hücreleri artmışsa, enfeksiyon olabilir” gibi mantıksal kurallar işletiliyordu. Ancak 1980’lerden itibaren yapay zekâ daha çok istatistiksel ve olasılıksal yöntemlere yönelse de, mantığın rolü ortadan kalkmadı. Bilgisayar biliminin teorik çerçevesi hâlâ mantıksal sistemler üzerine kuruludur.
Dolayısıyla mantık, 20. yüzyılda bilimin merkezi dili olma iddiasını kaybetmiş olsa da, hesaplama ve teknoloji çağının vazgeçilmez altyapısı haline gelmiştir. Aristotelesçi geleneğin izleri, bugün yazılım mühendisliğinde, veri tabanlarının sorgulama dillerinde, algoritmik doğrulama yöntemlerinde yaşamaya devam etmektedir.
Sonuç: Aristoteles ile Platon Arasında Süregelen Gerilim
Mantık ve matematik arasındaki gerilim, aslında Aristoteles ile Platon’un felsefi miraslarının farklı boyutlarda yeniden üretilmesidir. Aristoteles, bilginin güvenliğini mantığın zorunlu ilkelerine bağlamıştı; Platon ise hakikatin aşkın idealarını matematiksel yapılarla kavramaya çalışıyordu. Descartes’tan itibaren bilim, Platoncu çizginin tarafını seçti; çünkü doğa, mantıksal kıyaslarla değil, matematiksel formüllerle açıklanabiliyordu.
- yüzyılda Frege, Boole ve Peano sayesinde mantık yeniden doğdu; 20. yüzyılın başında Russell, Whitehead ve Hilbert, matematiği mantıktan türetme girişiminde bulundular. Ancak Gödel’in eksiklik teoremleri, bu umutları sona erdirdi. Bilimsel ilerleme, mantığın değil, matematiğin diliyle sürmeye devam etti. Bununla birlikte mantık, bilgisayar bilimi ve yapay zekâ aracılığıyla teknolojik dünyamızın vazgeçilmez parçası oldu.
Bugün hâlâ Aristoteles ile Platon arasındaki tartışma, farklı biçimlerde karşımıza çıkıyor. Matematik, bilimin evrensel dili olmayı sürdürürken, mantık dijital çağın hesaplama araçlarında yaşamaktadır. Bilim, matematiğin yaratıcı gücü olmadan ilerleyemez; mantığın kesinlik arayışı olmadan da güvenliğini sağlayamaz. Bu yüzden insan düşüncesinin tarihi, aslında bu iki geleneğin birbirini hem tamamladığı hem de sınırladığı uzun bir diyalogdan ibarettir.
Genel Değerlendirme
Bu yazıda Aristoteles’in mantık geleneği ile Platon’un matematiksel ontolojisi arasındaki gerilimin, Batı düşünce tarihinde nasıl farklı biçimlerde yeniden üretildiğini inceledik. Ortaçağ skolastiğinden Rönesans bilimine, Descartes’ın matematikçi metodundan Hilbert’in aksiyomatik programına, Gödel’in sınır gösteriminden Turing’in bilgisayar modeline kadar pek çok dönemeçte bu tartışma farklı yüzleriyle sahneye çıktı.
- yüzyılın sonu itibarıyla tablo şudur: bilim, matematiğin diliyle iş görmektedir; mantık ise bilgisayar çağının kurucu zemini olmuştur. Böylece Aristoteles ile Platon arasındaki kadim çekişme, çağdaş uygarlığın farklı alanlarında yan yana varlığını sürdürmektedir. Mantık olmadan bilgisayarlarımız, matematik olmadan bilimsel teorilerimiz olmazdı. Belki de insan düşüncesinin en verimli yönü, tam da bu gerilimde, iki hattın birbirini sınırlarken zenginleştirmesinde yatmaktadır.
