Filomythos Yapay Zeka
Bu yazıyla bağlantılı kavramları Filomythos arşivinde arayın.
Gottlob Frege modern mantığın ve çağdaş anlam kuramının başlıca kurucu isimlerinden biridir. Onu yalnızca güçlü bir sembolik sistemin mucidi olarak anlatmak eksik kalır; Frege’nin asıl etkisi, dil ile düşünce arasındaki ilişkiyi radikal biçimde yeniden çerçevelemesinde yatar. Begriffsschrift (1879) ile biçimsel mantıkta bir dönüm noktası açarken, Grundlagen der Arithmetik (1884) ve “Über Sinn und Bedeutung” (1892) makalesiyle anlamın (Sinn) ve gönderge’nin (Bedeutung) nasıl ayrıştırılması gerektiğini gösterir. Bu ayrım yalnızca bir terminoloji değişimi değildir; özdeşlik önermelerinin bilgi değerinden, tümcelerin doğruluk-değeri taşımasına, dolaylı anlatım ve tavır kiplerinin (inanma, umma, bilme) yarattığı opaklığa kadar geniş bir sahayı etkiler. Şu yalın soru Frege’nin hamlesini tetikler: “Sabah Yıldızı = Akşam Yıldızı” nasıl olur da “Sabah Yıldızı = Sabah Yıldızı” kadar sıradan bir özdeşlik değildir?
Bu yazı, Frege’nin Sinn/Bedeutung ayrımını, bağlam ilkesi ve bileşimcilikle (compositionality) bağını, işlev–argüman analizini, tümceler için doğruluk-değeri görüşünü ve dolaylı/opağ bağlamlara ilişkin çığır açıcı sezgisini örneklerle ve eleştirilerle birlikte ayrıntılı olarak ele alır. Ayrıca Russell’ın betimlemeler kuramı ve Kripke’nin doğrudan gönderimci (direct reference) itirazları gibi karşı akımlarla Fregeci çizgi arasındaki gerilimi değerlendirir; son bölümde de çağdaş semantik, mantık ve hesaplamalı dil bilimindeki mirasa kısaca bakar.
Özdeşlik Bilmecesi ve Bilişsel Değer
Dilsel deneyimimiz gösterir ki “a = a” ve “a = b” önermeleri mantıksal biçim olarak benzese de bilişsel etkileri aynı değildir. “Sabah Yıldızı = Sabah Yıldızı” üç kuruşluk bir totolojiyken, “Sabah Yıldızı = Akşam Yıldızı” (Hesperus = Phosphorus) gerçekten bir keşif duyurur. Eğer dil yalnızca nesnelere “etiket” yapıştırsaydı, her iki önermenin de aynı bilgi değerini taşıması beklenirdi; çünkü her iki durumda da söz konusu olan tek ve aynı gezegendir: Venüs. Ancak öyle değildir. Buradaki fazlalığı, Frege “sunuluş tarzı” (Darstellungsweise) farkıyla açıklar: İki adın göndergesi tek ve aynı nesne olsa bile, o nesneye gidiş yolları—yani anlamları—farklıdır. Bilişsel artı, bu yolların özdeşliğinin fark edilmesinden doğar.
Fregeci kavrayış burada bir taşla iki kuş vurur. Birincisi, özdeşlik önermesinin enformasyon değerini korur; ikincisi, dildeki çok-anlamlı bilişsel yapıların rastgelelik değil, düzenli bir semantik altyapı gerektirdiğini gösterir. Böylece “adlandırma = işaretleme” eşitlemesi kırılır; adların yalnızca nesneye bağlanmadığı, aynı zamanda bir düşünsel içerik (Sinn) taşıdığı fikri yerleşir.
Sinn ve Bedeutung: İki Katmanlı Anlam
Frege’ye göre her dilsel ifadenin iki yönü vardır: gönderge (Bedeutung) ve anlam (Sinn). Gönderge, ifadenin dünyadaki nesnesidir; anlam ise o nesnenin zihne sunuluş tarzıdır. “Sabah Yıldızı” ve “Akşam Yıldızı” örneğinde gönderge Venüs olarak aynıdır; fakat birinci ifade gezegenin sabah ufkunda görünen yıldız olarak, ikincisi akşam ufkunda görünen yıldız olarak sunulduğu için anlamları ayrıdır. Bu yüzden “Sabah Yıldızı = Akşam Yıldızı” önermesi—aynı nesneye iki farklı yoldan ulaşmanın özdeşliğini bildirdiği için—bilgi verir.
Frege’nin bir başka öğretici örneği “9 = 4+5” ile “9 = 9” karşılaştırmasıdır. İlk önerme bize bir bilgi sağlar—“9”un farklı bir çözümlemesini—ikinci önerme ise yalnızca özdeşlik ilkesini tekrarlar. Demek ki aritmetik adların bile—tek bir nesneye gönderdikleri halde—farklı sunuluş tarzları olabildiği için bilişsel değerleri farklılaşabilir.
Bu iki katmanı kabul etmek, dil felsefesinde önemli sonuçlara kapı aralar. Birincisi, anlam–düşünce ilişkisini “dış referanslar”a indirgemeyi engeller; anlambilimin yalnızca nesneler kataloğu olmadığını, aynı zamanda bilişsel erişim yollarının kuramı olduğunu gösterir. İkincisi, özdeşlik ve yerine koyma (substitution) ilkelerinin neden bazı bağlamlarda işlemediğini—örneğin inanış cümlelerinde—açıklama imkânı verir.
Bağlam İlkesi ve Bileşimcilik
Frege’nin Grundlagen’da formüle ettiği bağlam ilkesi (Context Principle) şunu söyler: “Bir sözcüğün anlamı, yalnızca tümce içindeki bağlamında araştırılmalıdır.” Bu ilke çoğu kez gönderge için de öne sürülür; Frege’nin niyeti, tek tek sözcüklerin “tek başlarına” tanımlanmasından kaçınmak ve anlamı tümce düzeyinde, bileşimsel (kompozisyonel) ilkelere göre inşa etmektir. Yani sözcüklerin Sinn/Bedeutung’u, tümcede aldıkları rol ile belirlenir; tümcenin anlamı da bileşenlerinin anlamlarından düzenli bir kurala göre oluşur. Bu, anlam kuramının “yerel sözlük”ten “küresel sentaks-semantik”e taşınmasıdır.
Bağlam ilkesi, iki ucu birleştirir: Bir yanda bileşimcilik (tümce anlamı = parça anlamları + birleştirme kuralı); diğer yanda tümce-merkezcilik (parçaların anlamı, tümcede iş gördükleri yerle belirlenir). Bugün doğal dil semantiğinde hâlâ bu iki sezgi arasında hassas bir denge korunur; Frege’nin katkısı, bu dengeyi açık biçimde problem haline getirmiş olmasıdır.
İşlev–Argüman Analizi: Kavramlar, Nesneler ve Doymamışlık
Frege yalnızca sözdizimi değil, mantıksal ontoloji üzerinde de çalışır. “Kavram” ile “nesne” arasındaki ayrımı işlev–argüman çerçevesine taşır: Yüklemli ifadeler birer işlevdir ve nesneleri girdiler olarak alıp doğruluk-değeri üretirler. “— insandır” ifadesi, bir nesneyi (Sokrates) argüman olarak aldığında Doğru değeri döndürür. Bu yüzden Frege, kavram adlarının “doymamış” (unsaturated) olduğunu söyler; bir argümanla doyar ve tümce hâline gelince gönderge olarak bir değer üretir.
Bu analiz iki net sonuç verir. Birincisi, yüklem–özne ayrımını sözdizimsel bir kabül olmaktan çıkarıp fonksiyonel bir altyapıya yerleştirir. İkincisi, tümcelerin gönderge olarak neden doğruluk-değerlerine sahip olduğunu temellendirir: Tümce, bir işlevin argümana uygulanmasının sonucudur; dolayısıyla ürettiği şey, nesneler dünyasından değil, doğruluk değerleri dünyasından bir varlıktır (Frege’ye göre yalnızca iki değer vardır: Doğru ve Yanlış).
Tümceler ve Doğruluk-Değeri: Extensionalite ve Güç
Frege’nin en cüretkâr hamlelerinden biri, tümcelerin gönderge’sini iki özel nesneden birine eşitlemesidir: Doğru ya da Yanlış. Bu görüş, mantığı “nesneler üzerine düşünme”den “doğruluk-değerleri üzerine işlem”e çevirir. Doğruluk tablolarının ve daha sonra Tarski’nin doğruluk kuramlarının nüvesi burada yatar. Extensional bağlamlarda—yani yalnızca doğruluk değerinin önemli olduğu yerlerde—eş anlamlı ifadelerin yerine koyulması sonucu değiştirmez; çünkü hepsinin gönderge’si aynıdır: Doğru (veya Yanlış).
Bununla birlikte, Frege bu extensional rahatlığın her bağlamda geçerli olmadığını bizzat gösterir. Ne zaman ki dil “inanma”, “bilme”, “özleme” gibi tutum fiilleriyle genişler, ya da dolaylı anlatıma (indirekte Rede) geçilir, orada anlam katmanı sahneye geri döner.
Dolaylı Anlatım, Tavır Kipi ve Anlam Kayması
“Arnauld, ‘Sabah Yıldızı parlaktır’ cümlesine inanıyor” tümcesini düşünelim. “Sabah Yıldızı”nı “Akşam Yıldızı” ile değiştirirsek, mantıkça eşdeğer bir gönderge kullanmış oluruz; yine de Arnauld bu yeni tümceye inanmayabilir. Neden? Çünkü tavır kipleri ve dolaylı anlatımda (alıntı, “X’in dediği/ sandığı gibi…”) dil opak olur; eş göndergeye sahip iki ifade yer değiştirdiğinde doğruluk korunmayabilir. Frege bu durumu anlamın yer değiştirmesi (Bedeutungsverschiebung) ile açıklar: Dolaylı bağlamlarda ifadeler birincil gönderge’leri yerine anlamlarıyla iş görür. Böylece inanış cümleleri, özdeşlikte açtığı yarayı semantik düzeyde kapatır: Kişi bir düşünceye (Gedanke) inanır; düşünceler, adların anlamlarıyla (Sinn) eklemlenmiştir.
Bu sezgi, modern anlamda “referanssal opaklık” (referential opacity) ve “içerik” (content) ayrımlarının önünü açmıştır. Öğretici sonuç şudur: Yerine koyma ilkesi, yalnızca extensional bağlamlarda geçerlidir; opağ bağlamlarda Sinn belirleyicidir.

Kaynak: https://commons.wikimedia.org
Boş Adlar, Betimlemeler ve Anlamsal Riskler
Mitolojik adlar, kurgu karakterleri ya da var olmayan nesneler Frege’nin düzeninde zor bir sınavdır. Eğer bir adın gönderge’si yoksa, bu adla kurulan tümcenin gönderge’si (dolayısıyla doğruluk-değeri) nedir? Frege iki yoldan konuşur: Bir yandan, gönderge yoksa tümce doğruluk-değeri kazanamaz der; öte yandan, dolaylı bağlamlarda anlam üzerinden düşünceler ifade edildiğini savunur. Bu ikilik—metinlerdeki farklı vurgu ve bağlam farklarından da beslenerek—sonraki literatürde bir dizi yorum ayrışmasına yol açar.
Bertrand Russell bu açmazı, “betimlemeler kuramı” ile bambaşka bir yönden çözer. Ona göre “Fransa’nın şu anki kralı” gibi ifadeler, aslında varlık önvarsayımı yapmayan mantıksal biçimlere analiz edilebilir; böylece gönderge yokluğundan doğan sorun, nicelleme ile üstlenilir. Russell, Frege’nin Sinn/Bedeutung ayrımını benimsemek yerine, doğal dildeki pek çok adı mantıksal betimlemelere çözerek “boş ad” problemini sistem dışına taşır. Fregeci çizgi ise adların anlamını kısmen sunuluş tarzı üzerinden koruyarak, bilişsel değeri semantik düzeyde saklamanın peşindedir.
İndeksikaller, Göstericiler ve Kişisel İçerik
Frege’nin kuramı sabit adlar ve tümce içi bağlamlar için etkileyici ölçüde işler; ancak indeksikaller (ben, burada, şimdi) ve göstericiler için özel bir hassasiyet gerektirir. Bu tür ifadelerin anlamı, konuşma bağlamıyla birlikte belirlenir. Fregeci miras, daha sonra Kaplan’ın karakter–içerik ayrımı ve iki boyutlu (2D) semantik çerçevelerle zenginleştirilmiştir. Burada Frege’nin bağlam ilkesi ve bileşimcilik sezgisi yeniden devreye girer: parça anlamı + bağlam parametreleri → tümce anlamı; tümce anlamı → doğruluk koşulları.
Kripke’nin İtirazı: Doğrudan Gönderim ve Katı Göstericiler
- yüzyılın ikinci yarısında Saul Kripke, Naming and Necessity ile adların “örtük betimleme” (deskriptivist) olmadığını ileri sürer. Ona göre özel adlar katı göstericilerdir (rigid designators): mümkün dünyalar arasında hep aynı nesneyi gösterirler ve anlamları “sunuluş tarzı” ile özdeş değildir. “Aristoteles” adının “Platon’un öğrencisi, Metafizik’in yazarı…” gibi betimlemelerle tanımlanması zorunlu değildir; hatta bu betimlemeler yanlış çıksa bile ad yerinde durabilir. Bu doğrudan gönderimci yaklaşım, Fregeci anlam katmanını psikolojizm veya bilişsel kalıntı taşıdığı gerekçesiyle sınar.
Fregeci bir yanıt ise şunu vurgular: Kripke’nin eleştirdiği şey, daha çok betimlemeci isim kuramıdır; oysa Frege’nin Sinn’i, adın “tanım listesi” değil, bilişsel erişim yoludur. Kaldı ki inanış–bilgi bağlamları ve opağ yapılar, doğrudan gönderimle tek başına açıklanamaz; bir tür içerik düzeyine (sense/intension) ihtiyaç kalır. Güncel literatürde “iki-boyutlu semantik” ve “açıklayıcı bilgi değeri” tartışmaları, bu çatallanmanın rafine uzlaşılarını arar.
Düşünce (Gedanke) ve Nesnellik: Tümce Anlamı Nedir?
Frege’nin “Der Gedanke” (1918) metni, tümce anlamının “düşünce” (Gedanke) olduğunu ileri sürer. Düşünceler öznel yaşantılar değil, nesnel içeriklertir; bu yüzden kişiden kişiye aktarılabilir, iletişimin temelini oluştururlar. Bir tümce, bir düşünceyi ifade eder; bu düşüncenin doğruluğu ise tümcenin gönderge’si olan doğruluk-değeri ile ilişkilidir. Böylece Frege, psikolojizmi dışarıda bırakıp, düşünceyi mantığın nesnesi olarak konumlandırır: Mantık, insanların nasıl düşündüğünün değil, doğru düşünmenin yapısının bilimidir.
Bu yaklaşım, hem matematiksel doğruluk hem de bilimsel yasa önermelerinin “öznel duygu” olmadığını güvence altına alır. Düşünce nesneldir; anlaşıldığında hepimiz aynı içeriğe erişiriz. Frege’nin kırılma noktası burada tekrar belirir: Dil, yalnızca bireysel bilinçlerin taşıdığı işaretler değil, paylaşılan düşünceler evrenine açılan kapıdır.
Biçimsel Eskiz: İşlevsel Okuma ve Doğruluk-Değeri
Frege’nin işlev–argüman yaklaşımı, yalın bir şema ile görülebilir. “İnsan(—)” bir kavram işlevi olsun; bir nesneyi girdi olarak aldığında Doğru ya da Yanlış üretir. “Sokrates” bir nesnedir. “İnsan(Sokrates)” Doğru verir. Bir başka işlev “Ölümlü(—)” olsun; “Ölümlü(Sokrates)” da Doğru verir. “Bütün insanlar ölümlüdür” genellemesi, nesneler alanındaki her x için “İnsan(x) → Ölümlü(x)” biçimini alır. Tümce düzeyine çıktığımızda, bu cümlelerin gönderge’si Doğru/ Yanlış olarak belirlenir; çıkarımın geçerliliği, Doğru/ Yanlış değerleri üzerinde kurallı dönüşümlere indirgenir. Bu bakış, Frege’den Tarski’ye uzanan doğruluk-sal mantığın omurgasıdır.
Frege ve Russell: Yakınlık ve Ayrılık
Frege ile Russell birçok konuda aynı cephededir: psikolojizme karşı, mantığın özerkliği lehine; matematiğin mantıklaştırılması (logicism) fikrinde; dilin biçimsel analizinde. Fakat yöntem ayrılır. Russell, betimlemelerle “boş ad” sorununu çözerken, Frege bilişsel değeri Sinn katmanında saklı tutar. Russell’ın ünlü örneği “Fransa’nın şimdiki kralı keldir” Fregeci düzende gönderge yokluğu yüzünden sorun çıkarabilirken, Russell bunu nicelleme ile çözülür bir forma açar (“Fransa’nın şu an bir kralı vardır ve bu kişi keldir”). Her iki yaklaşım da modern semantik mimarisinde yer bulur; biri kavramsal içerik ve opağ bağlamlar için, diğeri nicelleme ve varlık yükümlülükleri için güçlü araçlar sunar.
Doğruluk, Anlam ve Kuramlar Arası Köprüler
Frege’nin tümce-gönderge = doğruluk-değeri görüşü, Tarski’nin T-doğruluk şemalarına uzanır (“‘Karı yağıyor’ cümlesi, karın yağması halinde ve ancak o halde doğrudur”). Montague semantiği, doğal dil tümcelerini lambda-kalkülüsle biçimselleştirerek Fregeci işlev–argüman fikrini diller arası bir cebire dönüştürür. Programlama dillerinin tip sistemlerinde ve mantıksal çıkarım motorlarında bugün hâlâ Fregeci miras hissedilir: ifade → anlam → değer zinciri.
Eleştiriler, Tamamlamalar ve Güncel Görünüm
Frege’nin modeli, üç yönden eleştiri alır ve üç yönden zenginleştirilir. Birincisi, doğrudan gönderimciler (Kripke, Kaplan) “anlam”ın adların sabitliği için gerekli olmadığını söyleyerek Sinn’i kısar; buna karşı Fregeciler, bilişsel değer ve opağ bağlamların açıklanması için Sinn’in kaçınılmaz olduğunu gösterir. İkincisi, pragmatik ve kullanımcı yaklaşımlar (Wittgenstein sonrası çizgi) anlamın salt zihinsel içerik değil, kullanım kuralları ve etkileşim pratikleriyle belirlendiğini vurgular; Fregeci semantik, bu itirazı bağlam parametreleri, göstericiler ve konuşma edimleriyle (Austin, Searle) tamamlamaya çalışır. Üçüncüsü, bilişsel bilim ve yapay zekâ çalışmaları, anlamın kodlanış biçimleri ve temsil düzeylerini Fregeci “sunuluş tarzı”yla akraba terimlerle yeniden yorumlar: zihinsel haritalar, konsept uzayları, dağıtımsal semantik.
Bugün ortaya çıkan resim şudur: Frege’nin Sinn/Bedeutung ayrımı, tek başına tüm dilleri açıklamaz; ancak zorunlu bir iskelet sağlar. Üzerine pragmatik, bilgi kuramı, gösterge bilim ve hesaplamalı modeller geldiğinde, resim tamamlanmaya yaklaşır.
Sonuç: Sunuluş Tarzı, Nesne ve Doğruluk Arasında
Frege’nin katkısını tek cümlede toplamak gerekirse: Dil, yalnızca nesneye gitmez; nesneye bir yoldan gider. Bu yolun adı Sinn’dir; vardığımız şey ise Bedeutung. Tümce düzeyinde vardığımız şey çoğu kez Doğru ya da Yanlıştır. Özdeşlik önermelerinin bilgi değeri, inanç cümlelerinin opaklığı, boş adların tuzakları ve betimlemelerin mantıksal yüzeyi bu çerçevede aydınlanır. Frege’nin sezgisi, bugün de sağlamdır: Anlam, göndergeye indirgenemez; gönderge, anlamdan bağımsız düşünülürse akıl yürütmenin en kritik noktalarında elimiz boş kalır. Mantık, bu ikisini birlikte tutan disiplindir.
