Gottlob Frege: Modern Mantığın Yalnız Mimarı

Wismar'lı sessiz çocuk

Friedrich Ludwig Gottlob Frege 1848'de Almanya'nın Wismar kentinde, bir kız okulu müdürünün oğlu olarak doğdu. Yetenekleri erken belirginleşti. Jena Üniversitesi'nde matematik, fizik, kimya ve felsefe okudu; Göttingen'de doktorasını verdi (1873). Sonra Jena'ya dönüp orada öğretim üyesi oldu — 45 yıl boyunca aynı kürsüde, yarı-emekli ücretle çalıştı.

Hayatı boyunca neredeyse kimse onu tanımadı. Dersleri çoğu zaman boş geçerdi (öğrenciler sembolik mantık dilini anlamıyordu). Yayımladığı kitapları okuyan yoktu. 19. yüzyıl sonu modern Alman matematik camiasının dışındaydı.

Ama yazdıkları, 20. yüzyıl mantığı ve felsefesinin doğum belgesi'ydi.

"Begriffsschrift" (1879): modern mantığın başlangıcı

Frege 1879'da 88 sayfalık küçük bir kitap yayımladı: "Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens" (Kavram Yazısı: Aritmetiğe Modellenmiş, Saf Düşünmenin Bir Formül Dili).

Bu kitabın önemi: modern matematiksel mantığı sıfırdan kurdu.

O zamana kadar mantık Aristoteles'in kıyaslarından beri pek değişmemişti — sınırlı, doğal-dil tabanlı bir araç. Frege:

• Niceleyiciler ($\forall$ "her", $\exists$ "bazı") sistemini tanıttı.
• Predikat mantığı (yüklem mantığı) ile cümle mantığını birleştirdi.
• Çok değişkenli yüklemleri ele aldı.
• Yapılı kanıt sistemi (formel deduction) verdi.
• Aksiyom + çıkarım kuralları ile mantığı biçimsel sistem olarak kurdu.

Bugün her mantık dersinde gördüğümüz $\forall x \exists y \, P(x, y)$ gibi formüller doğrudan Frege'den gelir. Onun gösterimi tuhaftı (iki boyutlu bir notasyon) — modern formlar daha sonra Peano ve Russell tarafından düzenlendi — ama içerik aynıdır.

"Grundlagen der Arithmetik" (1884): logizm programı

İkinci büyük eseri "Aritmetiğin Temelleri" (1884). Tezi şu: aritmetik mantığa indirgenebilir. Yani $1 + 1 = 2$ gibi sayılarla ilgili tüm gerçekler, mantıksal aksiyomlardan deduksiyonla çıkarılabilir.

Bu görüşe logizm denir. Frege bunu Kant'a karşı savunuyordu — Kant aritmetiğin sentetik a priori (deneyim öncesi ama mantıktan değil) olduğunu söylemişti. Frege "hayır, analitik a priori, yani saf mantıktan türetilebilir" dedi.

Logizm programının gerçekleştirilmesi için sayıların mantıksal tanımı gerek. Frege'nin tanımı: "$n$ sayısı, $n$ elemanlı kümelerin sınıfının kavramıdır." Örneğin "2" demek, "tam iki elemanı olan tüm kümelerin sınıfı" demek.

"Grundgesetze der Arithmetik" (1893, 1903): hayat eseri

Logizm programını formel biçimde gerçekleştirmek için "Aritmetiğin Temel Yasaları" adlı dev eseri yazdı. İki cilt: 1893 ve 1903. Bu çalışmada aritmetik teoremlerini sembolik mantıktan adım adım türetti. Onlarca yıllık emek.

Russell'ın mektubu (1902): yıkım

İkinci cilt baskıdayken Bertrand Russell Frege'ye Russell paradoksunu içeren bir mektup yolladı. Frege'nin "Temel Yasa V" dediği aksiyomu çelişki üretiyordu.

Frege cevabında kabul etti: "Aritmetiğim sallantıdadır." İkinci cildi yine de yayımladı — ama önsözünde Russell'ın eleştirisini açıkça yazdı:

"Bir bilim insanı için, hayatının çalışmasının temellerinin yıkıldığını gördüğünden daha kötü bir şey olamaz. Bay Russell'ın mektubu beni bu pozisyona soktu."

Frege paradoksu düzeltmeye çalıştı ama hiçbir tatmin edici çözüm bulamadı. Geri kalan ömrünü dağınık ve kederli geçirdi. 1925'te öldü; ölümünden önce kütüphanecisine "eserlerimi yakın" diye yazdı. Şükür ki yakılmadı.

Geç tanınma

Frege hayatı boyunca neredeyse hiç tanınmadı. Ama 20. yüzyılın başında genç matematikçi ve filozoflar onu keşfetti:

• Bertrand Russell: "Frege benden 25 yıl önce her şeyi bulmuştu."
• Ludwig Wittgenstein: "Tractatus"un büyük kısmı Frege'nin etkisinde yazıldı.
• Edmund Husserl: Fenomenolojide Frege'nin "anlam" kavramını kullandı.
• Rudolf Carnap: Mantıksal pozitivizm Frege'nin programının uzantısı.
• Alonzo Church, Kurt Gödel, Alfred Tarski: 20. yüzyıl mantığı doğrudan Frege'den çıktı.

1950'lerden itibaren Frege "analitik felsefenin kurucusu" olarak yeniden değerlendirildi. Bugün Cambridge'de, Princeton'da, ABD üniversitelerinde Frege üzerine sürekli kürsüler ve seminerler vardır.

"Anlam ve gönderme" (Sinn und Bedeutung, 1892)

Frege'nin felsefedeki en kalıcı makalesi belki bu: "Über Sinn und Bedeutung" (Anlam ve Gönderme Üzerine).

İki ünlü cümle: "Akşam yıldızı akşam görünür" ve "Sabah yıldızı sabah görünür." İki cümle aynı nesneye (Venüs gezegeni) gönderme yapar, ama farklı bilgi taşır. Niye?

Frege'nin cevabı: Bir terimin iki yanı vardır:

• Bedeutung (gönderme, referans): hangi nesneye işaret ediyor.
• Sinn (anlam, sense): nesnenin nasıl sunulduğu, "tanım yolu."

"Akşam yıldızı" ve "sabah yıldızı" aynı Bedeutung'a (Venüs) sahip ama farklı Sinn'lere. Bu ayrım modern dil felsefesi, anlambilim, AI doğal dil işleme — her alanda kullanılır.

Karanlık taraf

Frege'nin günlüklerinden 1924'lerde anlaşıldı ki anti-semit ve aşırı milliyetçi görüşleri vardı. Yahudilerin "Almanya'dan çıkarılması" gerektiğini yazmıştı. Bu, 20. yüzyıl başının pek çok Alman entelektüelinde görülen bir trajik tutumdur ama Frege'nin durumunda özellikle çarpıcıdır — çünkü ona düşünsel olarak en yakın olanların çoğu (Russell, Wittgenstein, Carnap, Husserl, Gödel'in çevresi) Yahudi asıllıydı.

Bu karanlık taraf onun bilimsel mirasını gölgelemez ama tarih yazımında dürüstçe yer alır.

"Hiç tanınmayan kurucu"

Frege'nin trajik durumu matematik tarihinde sıkça tekrarlanır: çağının önünde olduğu için anlaşılmadı. Yayımladığı sembolik dil okuyucu için "uydurma" gibi göründü; logizm programı çağdaşları tarafından gereksiz sayıldı; Russell paradoksu hayat eserini yıktı.

Ama 100 yıl sonra modern mantık, modern dil felsefesi, modern bilgisayar bilimleri (Turing makinesi, Lambda kalkülüsü, fonksiyonel diller) — hepsi onun açtığı yolda yürüyor. Sessiz Jena profesörü, 20. yüzyıl düşüncesinin sessiz mimarı oldu.