Hans Kamp: Günlük Konuşmada Gizli Mantık

Klasik mantık bir cümleyi harika bir şekilde ele alır. Ancak "o" veya "bu" diyen ve dikkat ettiğinizi varsayan ikinci cümle ile her zaman boğuşmuştur. 1981 yılında, Londra'da ders veren Hollandalı bir mantıkçı, anlam biriminin cümle değil söylem olduğunu ve dili anlamanın bir temsil inşa edip onu sürekli güncellemek anlamına geldiğini savunan bir makale yayımladı. O günden beri biçimsel anlambilim onun gölgesinde çalışmaktadır. Kamp kendisini şöyle tanımlar: "tam bir dilbilimci değil", "tam bir filozof değil", "tam bir mantıkçı değil."

Texel, Leiden, Amsterdam

Johan Anthony Willem Kamp, 5 Eylül 1940'ta Hollanda'nın kuzey sahilindeki Texel adasında yer alan Den Burg'da doğdu. 1952-1958 yılları arasında Alkmaar'daki Murmellius Gymnasium'a gitti ve ardından 1958-1961 yılları arasında Leiden Üniversitesi'nde fizik ve matematik okudu. Sonrasında yaşananlar kariyerinin rotasını belirledi: mantığa tutuldu ve 1961-1965 yılları arasında mantık, matematik temelleri ve deneysel bilimler felsefesi alanında doctorandus derecesi için Amsterdam Üniversitesi'ne geçti. Amsterdam ekolünden E. W. Beth'i düşünceleri üzerinde en güçlü etkiye sahip üç kişiden biri olarak tanımlamıştır.

Montague'nun Öğrencisi

1965'te UCLA'ya gitti ve bu seçim belirleyici oldu. Danışmanı, doğal dili mantık dilleriyle aynı model teorik işleme tabi tutulabilir biçimsel bir dil olarak ele alan programı inşa eden Richard Montague idi. Doktora komitesinde Chen Chung Chang, David Kaplan, Yiannis Moschovakis ve Jordan Howard Sobel gibi öğrencilerin karşısına çıkabileceği en yoğun mantıkçı grubu bulunuyordu. 1968 yılında, sürekli doğrusal sıralamalar üzerinde since (beri) ve until (kadar) zamansal işleçlerinin diğer tüm işleçleri tanımlamaya yettiğini kanıtladığı işlevsel tamlık sonucunu içeren Tense Logic and the Theory of Linear Order (Zaman Mantığı ve Doğrusal Sıra Teorisi) başlıklı teziyle felsefe doktorasını aldı. Montague ve Beth'in yanı sıra, modern zaman mantığının kurucusu Arthur Prior'ı da metodolojik titizlik ve entelektüel dürüstlük açısından şekillendirici bir etki olarak görür.

Şimdi

1971 tarihli "Formal Properties of 'Now'" (Şimdi'nin Biçimsel Özellikleri) adlı makalesi küçük bir klasiktir. Şimdi (now) kelimesi standart model teorik anlambilim için baş belasıdır: referansı konuşma anına bağlıdır, ancak değerlendirme zamanını değiştiren işleçlerin içine gömülebilir ve iki indeks birbirinden ayrılır. Kamp'ın çözümü olan çifte indeksleme (ifadeleri aynı anda iki zamansal koordinata göre değerlendirme), dizinsel sözcükler ve kiplik anlambiliminde standart ekipman haline geldi.

O tarihlerde sürekli hareket halindeydi: 1968'de UCLA'da eğitmen, 1968-1970 arası Cornell'de yardımcı doçent, 1970-71'de Amsterdam, ardından 1971-1984 yılları arasında University College London ve Bedford College'da on üç yıllık öğretim üyeliği, 1983'te Massachusetts Üniversitesi, Amherst'te ve 1984-1988 yılları arasında Texas Üniversitesi, Austin'de profesörlük yaptı.

Söyleme Dönüş

1981 yılında yayımlanan "A Theory of Truth and Semantic Representation" (Doğruluk ve Anlamsal Temsil Teorisi), Söylem Temsili Teorisi'ni (Discourse Representation Theory, DRT) tanıttı. Merkezindeki hamle bir tersine çevirmedir. Montague anlambilimi doğruluk koşullarını cümle cümle atarken; DRT, metin ilerledikçe dinleyicinin kademeli olarak inşa ettiği, konuşulan şeyler için işaretleyiciler ve koşullar getiren ve ardından bir modele karşı yorumlanan bir temsil seviyesi -bir söylem temsil yapısı- araya sokar. On yıllardır birleşimsel anlambilimi utandıran cümle sınırları ötesindeki anaforlar (göndermeler) doğal hale gelir: ikinci cümledeki zamir, ilk cümlenin panoya koyduğu işaretleyiciyi alır.

Sonuç olarak anlam dinamik hale gelir. Cümle artık sabit bir doğruluk koşulları paketi değil, bir temsili güncelleme talimatıdır ve bağlam sabit bir arka plan değil, söylemin kendisinin sürekli inşa ettiği bir şeydir. Kamp aynı yıl bulanıklık ve sorites üzerine "The Paradox of the Heap" (Yığın Paradoksu) adlı makalesini yayımladı; 1981 tarihli bu iki makale, onu biçimsel işlemin en zor olduğu yerlere çekilen bir mantıkçı olarak işaretler.

Söylemden Mantığa

1988'de Stuttgart Üniversitesi Doğal Dil İşleme Enstitüsü'nde biçimsel mantık ve dil felsefesi profesörü olarak görev yaptı ve orada kaldı. 1993'te Uwe Reyle ile birlikte, DRT'yi etkileyici bir makaleden bilgisayarlı dilbilimcilerin uygulayabileceği kadar kapsamlı bir çalışma sistemine dönüştüren tam teşekküllü eser From Discourse to Logic'i (Söylemden Mantığa) yayımladılar. Bu teorinin etrafında büyük iş birliği projeleri yürüttü; 1989-1995 arası Avrupa Dyana girişimi, 1989-2000 arası bilişimsel dilbilim yöntemleri üzerine SFB 340 Alman özel araştırma merkezi, 1995-1997 arası FraCaS ve 2000-2002 arası DFG mantık grubu gibi. Bir çerçevenin bir nesil kullanıcıyı bu şekilde kazandığını görüyoruz.

Araştırma alanı genişlemeye devam etti: zamansal referans, önvarsayım, bağlam bağımlılığı, prototipler ve kompozisyonellik (Barbara Partee ile, 1995) ve biçimsel bir anlambilimci için sıra dışı bir bölge olan mecaz ve düzdeğişmece gibi edebi olmayan dil kullanımı. Jean Nicod Dersleri (Jean Nicod Lectures) MIT Press tarafından Thinking and Talking about Things (Şeyler Hakkında Düşünmek ve Konuşmak) adıyla yayımlandı ve seçme yazılarından oluşan bir cilt Meaning and the Dynamics of Interpretation (Anlam ve Yorumlama Dinamikleri) olarak çıktı.

Hans Neden Dahi Olarak Adlandırılır

İddia, tek bir yapısal içgörüye ve onu çalışır kılacak disipline dayanır. Kamp, cümlenin yanlış birim olduğunu gördü; insanların birbirine bağlı metinleri nasıl anladığını açıklamak istiyorsanız, söylem büyüdükçe büyüyen bir ara temsile ihtiyacınız olduğunu ve bu temsile psikolojiye atıfta bulunmak yerine sıkı bir model-teorik yorum verilebileceğini fark etti. İki parçayı da elde etmek işin zor kısmıydı. Birçok insanın söylem ve bağlam üzerine sezgileri vardı; ancak asıl başarı, kanıtlanabilir ve bilgisayarda uygulanabilir olacak kadar biçimsel olan, aynı zamanda dinleyicinin yaptığı işin bir modeli olarak tanınabilir kalan bir şeyi inşa etmekti.

Destekleyici nitelik ise kapsam genişliğidir. Zaman mantığında işlevsel tamlık kanıtı, sorites paradoksu analizi, önvarsayım teorisi ve mecazın çalışma hesabını tek bir kariyerde toplayan çok az insan vardır ve Kamp'ın kendi tanımı -tam bir dilbilimci, filozof veya mantıkçı değil- herhangi biri tarafından evcilleştirilmeyi reddederek üç alanda da gerçekten faydalı olmuş birinin doğru raporudur.

Karşı tarafın argümanını açıkça belirtmekte fayda var. 2024 Rolf Schock Ödülü, Irene Heim ile birlikte Kamp'a verildi ve birden fazla kişi aynı sonuca ulaştığında ödüller paylaşılır; 1980 civarında anlambilimdeki dinamik dönüş zaten havadaydı ve DRT mümkün olan tek çözüm değil, birkaç çözümden sadece biridir. Ayrıca notasyonel olarak ağırdır ve rakip dinamik çerçeveler pazar payı kazanmıştır. Kamp'ın itibarı tamamen teknik bir disiplinin içine hapsolmuştur: kamuoyu profilinin olmaması, popüler kitabının bulunmaması veya genel kültüre sızmış bir fikrinin olmaması gibi. Biçimsel anlambilim içinde konumu sorgulanamaz düzeydedir. Bunun dışında ise onu duyan neredeyse kimse yoktur.

Miras

Onurlar sürekli birikti: 1996'da Jean Nicod Ödülü, 1997'de Hollanda Kraliyet Sanat ve Bilimler Akademisi'ne ilgili üyelik, fahri doktora, 2015'te Amerikan Sanat ve Bilim Akademisi üyeliği ve 2024'te Rolf Schock Mantık ve Felsefe Ödülü. Daha derin miras ise soruların biçim değiştirmesidir. DRT'den önce anlambilim cümlenin ne anlama geldiğini sorardı; sonrasında ise standart soru cümlenin bağlama ne yaptığı, yani süregiden bir yorumlama durumunu nasıl güncellediğidir. Teorik dilbilimde veya hesaplamalı dil işlemede cümleler arası söylem referanslarını takip eden her sistem, Kamp'ın 1981'de "o"nun kim olduğunu nasıl bildiğimize dair yazdığı makaleden başlayan bir gelenek içinde çalışmaktadır.