Bileşimsel ve Biçimsel Semantik
Biçimsel semantik, karmaşık bir ifadenin anlamının, parçalarının anlamlarından bileşimsel olarak inşa edildiği, kesin ve doğruluk koşullarına dayalı bir anlam açıklaması sunmaktadır.
Tanım
Bileşimsel ve biçimsel semantik, dilsel anlamın biçimsel mantık ve model kuramı kullanılarak incelenmesi olup, ifadelerin bileşimsel, doğruluk koşullarına dayalı yorumlanmasına odaklanmaktadır.
Kapsam
Bu alan, doğal dilin anlamının biçimsel, model-kuramsal incelemesini kapsamaktadır. Bileşimsel ilke, ifadelere gönderim (denotation) atamak için mantıksal ve küme-kuramsal araçların kullanımı, Montague'un doğal dili biçimsel mantığın titizliğiyle ele alma programı, niceleme ve kapsam analizi ile zaman, görünüş ve kiplik semantiği bu kapsamda yer almaktadır. Yol gösterici fikir, bir cümlenin anlamını bilmenin, onun doğruluk koşullarını bilmek olduğu ve bunların, bileşenlerinin anlamlarından ve birleşim biçimlerinden sistematik olarak hesaplandığıdır.
Alt konular
Temel sorular
- Karmaşık bir ifadenin anlamı, parçalarının anlamları ve sentaktik birleşimleri tarafından nasıl belirlenmektedir?
- Doğal dil ifadelerinin anlamları, biçimsel, model-kuramsal bir sistemde nasıl temsil edilebilmektedir?
- Niceleyiciler, kapsam ve bağlama nasıl analiz edilmelidir?
- Bağlama bağlı ve içlemsel olgular (zaman, kiplik) nasıl modellenmelidir?
Anahtar kavramlar
- bileşimsel ilke
- doğruluk koşulları
- gönderim (denotation) ve semantik tip
- lambda kalkülüsü
- model ve yorumlama fonksiyonu
- içlem (intension) ve kaplam (extension)
- fonksiyonel uygulama
Temel kuramlar
- Doğruluk koşullu, model-kuramsal semantik
- Bildirimsel bir cümlenin anlamı, Fregean ve Tarskian geleneğini takiben, temel ifadeleri yorumlayan bir modele göre hesaplanan doğruluk koşullarıyla özdeşleştirilmektedir.
- Montague dilbilgisi
- Doğal dil, biçimsel bir dil olarak ele alınabilmektedir: tip-odaklı lambda kalkülüsü ve içlemsel mantık kullanılarak ifadeleri bileşimsel olarak yorumlayan, bir homomorfizm aracılığıyla model-kuramsal bir semantikle eşleştirilmiş bir sözdizimi.
- Tip-odaklı bileşimsel yorumlama
- İfadelere semantik tipler atanmakta ve fonksiyonel uygulama gibi genel kurallarla birleştirilmektedir; böylece yorumlama, Heim ve Kratzer çerçevesinde sistemleştirildiği gibi, bileşenlerin tipleri tarafından yönlendirilmektedir.
Tarihçe
Biçimsel semantik, Frege'nin anlam ve gönderim (sense and reference) üzerine çalışmalarından ve Tarski'nin biçimsel diller için doğruluk tanımından gelmektedir. Belirleyici adım, 1970'lerin başında Montague'un doğal ve biçimsel diller arasında temel bir fark olmadığı ve İngilizce'ye model-kuramsal bir semantik verilebileceği iddiası olmuştur. Barbara Partee, Montague'un programını dilbilime aktarmada merkezi bir rol oynamış ve Heim ve Kratzer ders kitabı daha sonra tip-odaklı bileşimsel semantiği üretici dilbilgisinde standart hale getirmiştir.
Tartışmalar
- Doğrudan ve dolaylı (temsili) yorumlama
- Doğal dilin, Montague'un programında olduğu gibi doğrudan bir modelde mi, yoksa mantıksal form / zihinsel temsil düzeyine çeviri yoluyla mı yorumlanması gerektiği tartışılmaktadır.
Öne çıkan isimler
- Richard Montague
- Barbara Partee
- Irene Heim
- Angelika Kratzer
- Gottlob Frege
- Alfred Tarski
İlgili konular
Temel eserler
- montague1974
- heimkratzer1998
- partee1990
Sıkça sorulan sorular
- Semantiğin doğruluk koşullu olduğunu söylemek ne anlama gelmektedir?
- Bu, bildirimsel bir cümlenin anlamını belirtmenin, o cümlenin doğru olacağı koşulları belirtmek anlamına geldiği; anlamı bilmenin ise, cümlenin geçerli olması için dünyanın nasıl olması gerektiğini bilmek olduğu anlamına gelmektedir.