Giriş
Friedrich Ludwig Gottlob Frege (1848 – 1925), modern matematiksel Mantığın ve Analitik Felsefe hareketinin kurucularından biri olan Alman matematikçi, mantıkçı ve filozoftur.
Her ne kadar çalışmaları o yaşarken çok az biliniyor ve okunuyorduysa da 20. yüzyıl felsefesi üzerinde temel ve geniş kapsamlı bir etki bırakmıştır. Mantıkçılık üzerine yaptığı geniş çalışmaları sonradan bırakmış olsa da kendinden sonra gelen mantıkçı ve filozofları, özellikle Bertrand Russell ve Ludwig Wittgenstein’ı ve Mantıksal Pozitivizm’i oldukça etkilemiştir. Ölümünden sonra, Yüklemler Mantığı olarak tanımladığı alan, geleneksel Mantık biçimlerinin neredeyse tamamen yerini aldı.
Hayatı
Frege 8 Kasım 1848’te Almanya’nın kuzeyindeki Wismar kentinde doğdu. Babası Karl Alexander Frege, bir kız lisesinin kurucusuydu ve 1866’daki ölümüne kadar okulun müdürlüğünü yaptı. Annesi Auguste Wilhelmine Sophie (evlilik öncesi soyadı Bialloblotzky) de aynı okulda öğretmenlik yapıyordu ve eşinin ölümünden sonra okulun yönetimini devraldı.
Frege, 1864’ten 1869’a kadar Wismar’daki yerel lisede öğrenim gördü. Hem öğretmeni Leo Sachse hem de (9-13 yaş arasındaki çocuklar için Almanca üzerine bir ders kitabı yazan ve kitabın ilk bölümünü dilin yapısı ve mantığına ayıran) babası, Frege’nin gelecekteki kariyerini belirlemede önemli roller oynadılar.
Frege, 1869 yılında Jena Üniversitesi’nde kimya, felsefe ve matematik öğrenimi ile eğitimine devam etti. Burada, en önemli hocası (daha sonra dostu, destekçisi ve hayatı boyunca sürekli mektuplaştığı kişi de olacak olan) fizikçi, matematikçi ve mucit Ernst Abbe (1840-1905) ile tanıştı. Ayrıca Karl Snell, Hermann Schäffer ve filozof Kuno Fischer (1824-1907) de onun hocaları arasındaydı. 1871’den 1873’e kadar ise, Almanca konuşulan bölgelerde matematik alanında en önde gelen üniversite konumunda olan Göttingen Üniversitesi’nde eğitimine devam etti ve burada Alfred Clebsch, Ernst Schering, Wilhelm Weber, Eduard Riecke ve filozof Rudolf Hermann Lotze’den (1817-1881) ders aldı.
Frege, 1873’te Göttingen’de matematik (geometri) alanında doktorasını aldıktan sonra, Ernst Abbe’nin tavsiyesi üzerine Jena Üniversitesi’ne dönerek akademisyenliğe başladı. 1918’de emekli olana kadar Jena’da kaldı ve bu süreçte (birçoğu maaşsız olan) 1874’te habilitasyon[1], 1879’da olağanüstü profesör (Professor Extraordinarius) ve 1896’da fahri ordinaryüs profesör (Ordentlicher Honorarprofessor) unvan ve pozisyonlarını aldı.
Her ne kadar eğitimi ve erken dönem çalışmaları ağırlıklı olarak matematik, özellikle de geometri üzerine olsa da (ve mesleki görevi matematikçi olarak devam etse de), Frege’nin düşüncesi kısa süre içinde Mantık ve Dil Felsefesi’ne yöneldi. İlk amacı, matematiğin Mantık’tan türediğini göstermekti (Mantıkçılık) ve 1879 tarihli erken eseri Begriffsschrift (“Kavram Yazısı”), fonksiyonlar ve değişkenler kavramlarını titiz bir şekilde ele alışıyla Mantık tarihinde çığır açtı ve bu çalışmalar Mantık alanı için önemli dönüm noktaları oldu.
Begriffsschrift’in yayınlanmasından kısa bir süre sonra Frege, Margaret Lieseburg ile evlendi ve ikisi de genç yaşta vefat eden iki çocuk sahibi oldular. Birkaç yıl sonra, Alfred isminde bir çocuk evlat edindiler. Ancak Frege’nin aile hayatı hakkında çok az şey bilinmektedir.
Frege’nin yayımlanmış eserleri, çağdaşları tarafından genellikle olumsuz eleştiriler aldı, hatta bazı yayınlarını kendi masraflarıyla çıkarmak zorunda kaldı. Bununla birlikte, 1905’te eşinin ölümü ve Russell Paradoksu’na tatmin edici bir çözüm bulamamanın yarattığı hayal kırıklığının da birleşmesiyle, Frege’nin 1906 civarında entelektüel motivasyonunu kaybettiği görülür. Yine de makaleler yayımlamayı sürdürdü ve özellikle Bertrand Russell, Ludwig Wittgenstein ve Mantıksal Pozitivist Rudolf Carnap (1910-1913 yılları arasında Frege’nin öğrencisi olmuştu) üzerinde olmak üzere, sonraki kuşak mantıkçı ve filozofları etkilemeye devam etti.
Yaşamının son dönemlerinde, politik anlamda giderek daha takıntılı hâle geldi ve parlamenter demokrasiyi, işçi sendikalarını ve yabancıları (özellikle Yahudileri) hedef alan öfke dolu metinler kaleme aldı. 1918’de emekli olduktan sonra, doğum yeri olan Wismar’a pek uzak olmayan Bad Kleinen’e taşındı. 26 Temmuz 1925’te, 76 yaşında Bad Kleinen’de hayatını kaybetti.
Çalışmaları
Frege’nin erken dönemlerindeki ilk girişimi, matematiğin mantık dışı hiçbir aksiyoma ihtiyaç duymadan saf bir şekilde Mantık’tan türeyebileceğini göstermekti (Mantıkçılık). Ancak bunu yaparken onu geleneksel Aristotelesçi kıyas mantığının ve Stoacı önermeler mantığının çok ötesine taşıyan teknikler geliştirdi.
1879’da yayımlanan çığı açıcı çalışması Begriffsschrift’den (“Kavram Yazısı” adıyla Türkçeye çevrildi) başlayarak, “nicelenen değişkenleri[2]” icat etmesi ile temelleri atılan Yüklemler Mantığı’nı geliştirdi. Bu yöntem, zamanla hem matematikte hem de mantıkta yaygın biçimde kullanılmaya başlandı ve geleneksel mantığın sezgisel olarak geçerli olan bazı çıkarımları ifade etmede yetersiz kaldığı “çoklu niceleme problemini[3]” (geleneksel mantığın sezgisel olarak geçerli bazı çıkarımları ifade edememesiyle ortaya çıkan problem) çözdü. Sonrasında, kendi geliştirdiği bu yöntemi kullanarak tüm aritmetik yasalarını “mantıksal” olarak kabul ettiği aksiyomlardan türetmeye girişti. Bunun sonucu olarak 1884’te Die Grundlagen der Arithmetik (“Aritmetiğin Temelleri”), ardından da 1893’te başyapıtı sayılan Grundgesetze der Arithmetik (“Aritmetiğin Temel Yasaları”) adlı eserlerini kaleme aldı.
1903’te Temel Yasalar’ın (Grundgesetze) ikinci cildi baskıya girmek üzereyken Bertrand Russell Frege’ye bir mektup yazarak, sonradan Russel Paradoksu olarak anılacak olan problemden (’in
’in üyesi olmadığı bütün
’lerden oluşan küme[4]) bahsetti. Frege bu problemi kendisini tatmin edecek şekilde hiç çözemedi. Daha sonra, bu durumun yarattığı hayal kırıklığı nedeniyle Mantıkçılığını bütünüyle terk etti ve ilerleyen altın yıllarında, Kantçı salt mekan sezgiselliğine dayanan yeni bir “aritmetiğin doğası” kuramı geliştirmeye başladı.
Frege’nin Mantık alanındaki çalışmaları, kısmen kendine özgü ve alışılmışın dışındaki diyagramsal gösterimi nedeniyle, kendi döneminde pek tanınmadı. Ancak mantıksal kavramların analizi ve “biçimselleştirme mekanizması” (ki bu mekanizma, Bertrand Russell ile Alfred North Whitehead’in Principa Mathematica’sı için, Kurt Gödel’in eksiklik -incompleteness- teoremleri için ve Alfred Tarski’nin doğruluk kuramı için temel teşkil eder) nihayetinde Frege’ye dayanır. Frege, kendi mantık anlayışının (ironik biçimde çoğunlukla Russell’ın öncülüğünde) önceki anlayışların neredeyse tamamen yerini aldığını görmeden öldü.
Ancak, Mantık alanındaki çalışmalarının yanı sıra Frege, çoğunlukla Dil Felsefesi’ne sunduğu katkılardan ötürü, Analitik Felsefe’nin kurucularından biri olarak da kabul edilir. Nitekim dilin, fonksiyonların, kavramların ve felsefi mantığın doğasına ilişkin yeni ve ilgi çekici kuramlar geliştirme uğraşı onu öylesine meşgul etti ki matematiksel mantık üzerindeki çalışmalarına birkaç yıl boyunca ara vermişti.
Frege özellikle 1892 tarihli “Über Sinn und Bedeutung” (Anlam ve Gönderim Üzerine) makalesiyle tanınmıştır. Bu makalede, bir ifadenin öneminin (ya da taşıdığı anlamın) iki farklı yönünü birbirinden ayırmıştır. Anlam (Sinn) ile kastettiği, bir sözcüğün ya da nesnenin -farklı kişiler için değişiklik gösterebilecek şekilde- “nasıl kavrandığıdır”. Gönderim (Bedeutung) ise ifadenin işaret ettiği nesnenin (kişiden kişiye değişmeyen) kendisidir. Frege bu ayrımı yaparken, bir cümlenin anlamının ancak onun parçalarının anlamından türetilebileceğini ve bu nedenle bir sözcüğün belirli bir anlama, yalnızca cümlenin tamamının bağlamında sahip olabileceğini fark etti. Benzer doğrultuda yazdığı diğer önemli makaleler arasında Funktion und Begriff (“Fonksiyon ve Kavram”, 1891) ve Über Begriff und Gegenstand (“Kavram ve Nesne Üzerine”, 1892) sayılabilir.
Çevirmen Notları
- [1] Doktoradan sonra verilen en yüksek akademik yeterlilik.
- [2] Mantıkta “niceleyici” operatörler olan ∀(her) ve ∃(bazı), farklı değerler alabilen x, y gibi değişkenleri nicelerler. Örneğin ∀x(x∈ R →…) gibi bir formatta, “her x için, eğer x reel sayıları kümesi
ℝ’nin elemanıysa … geçerlidir.” önermesi ifade edilir. Yani, x’in ℝ’nin elemanı olması koşulu altında bir önermeyi dile getirir, yani x’i niceler. Normalde birçok değer alabilecek bir değişken olan x, bu gösterimle birlikte bir özelliğe sahip olmakla nicelenir. Frege’nin çalışması, bu kullanımı Mantık alanından Matematik alanına taşımıştır. Bugünün Matematik çalışmalarının neredeyse tamamında bu gösterim kullanılır ve bu kullanım, birçok çığır açıcı başka çalışmaya önayak olmuştur. Ancak Frege’nin nicelemeye getirdiği bu yenilik, Bertrand Russell’ın 1903’te yayımlanan Principles of Mathematics eserine kadar pek dikkat çekmedi.
- [3] Çoklu niceleme problemi, bir cümlede birden fazla niceleyici geçtiğinde (“herkes, “bazıları”, “birisi” gibi) cümlenin anlamının belirsizleşmesi ile ilgilidir. Örneğin, “Herkes birini seviyor” cümlesi iki şekilde anlaşılabilir:
- Her kişi için, onun sevdiği bir başka kişi vardır.
- Öyle tek bir kişi vardır ki herkes onu sever.
Burada aynı cümle iki farklı anlam taşıyabiliyor. Cümlenin ifade ettiği şey, belirsizdir. Bu, çoklu niceleme problemidir.
Frege’nin modern mantığa kattığı niceleyiciler ∀(her) ve ∃(bazı), bu sorunu çözmeye yarar. Bu niceleyiciler ile hangi anlamın kastedildiği net bir şekilde gösterilebilir. Bu yeni formülasyonda “Herkes birini seviyor” cümlesi yerine anlamın ifade edilmesi için iki farklı cümle formülize edilir:
“Herkes birini seviyor” = ∀ x ∃ y Sevmek (x, y) V ∃ y ∀ x Sevmek(x, y )
Burada,
- ∀x∃y Sevmek(x,y): “Her insanın sevdiği en az birisi vardır.”
(Herkes birini seviyor ama bu ‘birisi’ herkes için farklı olabilir.) - ∃y∀x Sevmek(x,y): “Öyle bir kişi vardır ki, herkes onu sever.”
(Bütün insanların ortak olarak sevdiği tek bir kişi var.)
Ve V ifadesi de “veya” anlamına gelir. Bu iki seçenekten hangisi ifade edilecekse kullanılacak olan Mantık gösteriminde o tercih edilir ve böylece çoklu niceleme problemi çözülmüş olur.
- [4] Russel Paradoksu, “Kendi kendisinin oluşturduğu kümenin üyesi olmayan kümelerin bir kümesi var mıdır?” sorusuna dayanır.
Böyle bir X kümesi düşünürsek,
- X kendisinin üyesiyse, o zaman tanım gereği kendisinin üyesi olmayan kümeler arasında olmamalı → çelişki.
- X kendisinin üyesi değilse, o zaman tanım gereği X’nin içinde olmalı → yine çelişki.
Bu paradoksun en bilinen günlük benzetmesi Berber Paradoksu’dur. Küçük bir kasabada yalnızca bir tane berber var ve o da şu kuralı koyuyor:
- “Ben, kendini tıraş etmeyen tüm erkekleri tıraş ederim. Kendini tıraş edenleri tıraş etmem.”
Paradoks, “bu berberi kim tıraş eder?” sorusu ile birlikte doğuyor:
- Eğer berber kendi kendini tıraş ederse, o zaman “kendini tıraş edenleri tıraş etmem” kuralını ihlal eder.
- Eğer berber kendi kendini tıraş etmezse, o zaman “kendini tıraş etmeyenleri tıraş ederim” kuralına göre kendini tıraş etmek zorundadır.
Bu durum ise bir çelişki yaratır. Paradoks işte bu çelişkiden bahseder.
Kaynak, Erişim Tarihi: 08.09.2025
Çevirmen: Arda Batın Tank
