Model-Kuramsal ve Montague Semantiği
Montague semantiği, doğal dili model-kuramsal olarak yorumlamakta, ifadelere tamamen bileşimsel bir şekilde denotasyonlar atamak için tipli intansiyonel mantık kullanmaktadır.
Tanım
Model-kuramsal semantik, ifadeleri biçimsel bir modele göre yorumlamaktadır; Montague semantiği ise, doğal dil için tipli intansiyonel mantık ve homomorfik bir sözdizimi-semantik eşlemesi kullanarak bunu yapmanın özel bir programıdır.
Kapsam
Bu konu, doğal dil için model-kuramsal semantiğin biçimsel aygıtını kapsamaktadır: birey alanları, olası dünyalar ve zamanlar içeren modeller; semantik tipler ve tipli lambda kalkülüsü; ve ifadelerin bu alanlar üzerindeki fonksiyonlar olarak yorumlanması. Montague'nun 'The Proper Treatment of Quantification in Ordinary English' (PTQ) adlı çalışmasına ve intansiyon ile ekstansiyonu ve isim öbeklerinin genelleştirilmiş niceleyiciler olarak analizini içeren, İngilizceyi biçimsel mantığın titizliğiyle ele alma konusundaki daha geniş programa odaklanmaktadır.
Temel sorular
- Bir doğal dilin ifadelerine biçimsel bir modelde denotasyonlar nasıl atanır?
- Semantik tipler ve lambda kalkülüsü, bileşimsel yorumlamada hangi rolleri oynamaktadır?
- İntansiyon ve ekstansiyon nasıl ayırt edilir ve olası dünyalara neden ihtiyaç duyulur?
- Montague'nun yaklaşımı niceleyici öbeklerini ve kapsamı nasıl ele almaktadır?
Anahtar kavramlar
- olası dünyalar
- intansiyon ve ekstansiyon
- semantik tip
- tipli lambda kalkülüsü
- genelleştirilmiş niceleyici
- homomorfik sözdizimi-semantik eşlemesi
- intansiyonel mantık
Temel kuramlar
- Nicelemenin Doğru İşlenmesi (PTQ)
- Montague'nun, sözdizimsel kuralların semantik yorumlama kurallarıyla birebir eşleştirildiği, isim öbeklerinin genelleştirilmiş niceleyicileri ifade ettiği ve intansiyonel mantığın opasite ve modaliteyi ele aldığı İngilizce parçası.
- Tip kuramı ve intansiyonel mantık
- İfadelere, temel tiplerden (varlıklar, doğruluk değerleri) ve muhtemelen dünyalardan/zamanlardan oluşturulmuş tipler atanmaktadır; intansiyonlar, olası dünyalardan ekstansiyonlara giden fonksiyonlardır ve opak ile modal bağlamların anlamını yakalamaktadır.
Tarihçe
Frege'nin, Carnap'ın intansiyon/ekstansiyon ayrımının ve Tarski'nin model kuramının üzerine inşa ederek, Montague 1970 civarında, en ünlüsü PTQ olmak üzere bir dizi makale yayımlamış ve İngilizcenin model-kuramsal bir semantiğe sahip biçimsel bir dil olarak ele alınabileceğini savunmuştur. Dowty, Wall ve Peters'ın ders kitabı, teknik aygıtı dilbilimcilere erişilebilir kılmış ve bu çerçeve, modern biçimsel semantiğin temeli haline gelmiştir.
Tartışmalar
- Olası-dünyalar intansiyonları ve ayrıntı düzeyi sorunu
- Anlamları olası dünyalardan ekstansiyonlara giden fonksiyonlar olarak ele almak, zorunlu olarak eşdeğer tüm ifadeleri yanlış bir şekilde eşitlemekte ve daha ince taneli, yapılandırılmış veya hiperintansiyonel anlam kavramları için önerilere yol açmaktadır.
Öne çıkan isimler
- Richard Montague
- Barbara Partee
- David Dowty
- Stanley Peters
İlgili konular
Temel eserler
- montague1974
- dowtywallpeters1981
Sıkça sorulan sorular
- İntansiyon ve ekstansiyon arasındaki fark nedir?
- Bir ifadenin ekstansiyonu, belirli bir dünyadaki denotasyonudur (örn. köpeklerin gerçek kümesi); intansiyonu ise her olası dünya için bir ekstansiyon veren fonksiyondur (kabaca, kavram), ki bu da modal ve opak bağlamları yorumlamak için gerekendir.