Biçimsel anlambilim

Biçimsel anlambilim , yapay veya doğal dillerdeki terimlerin tam anlamıyla ilgilenir . Mevcut dillerdeki anlamlar incelenebileceği gibi yeni oluşturulan dillerdeki anlamlar da belirlenebilir. Genel anlamda anlambilimin aksine , esas olarak felsefe ve dilbilimde kullanıldığı için , biçimsel anlambilim, tamamen biçimsel, mantıksal-matematiksel yöntemlerle çalışır.

Biçimsel anlambilim mantık , bilgisayar bilimi ve dilbilimde uygulanmaktadır . Belirtilen üç disiplin için kesin anlam kuramlarının önemi ve farklı odak ve hedefler nedeniyle - kısmen de farklı yöntemler nedeniyle - bugün bu bilimlerin her birinin, biçimsel anlambilim olarak adlandırılan kendi alt alanı vardır. Mantıktaki biçimsel anlambilim, bilgisayar bilimindekiler ve dilbilimdeki biçimsel anlambilim pek çok yönden iç içe geçmiş durumdadır ve genellikle birbirine veya diğerinin sonuçlarına dayanır.

Modern biçimsel anlambilimin kökenleri Alfred Tarski , Richard Montague , Alonzo Kilisesi ve diğerlerinin çalışmalarına dayanır .

Mantık ve bilgisayar bilimlerinde biçimsel anlambilim

In mantık , dilde terimlerin tam anlamıyla semantik fırsatlar. Gelen bilgisayar bilimleri , bir bilgisayar programı sözdizimsel semantik ifade ve böylece matematiksel deliller erişilebilir yapmalıdır.

Dilbilimde biçimsel anlambilim

Olarak genel dil olan resmi anlam , bir anlambilim mantık ve matematik aracılığıyla çalıştırılır. Doğal bir dildeki cümlelerin anlamı, resmi bir üstdil yardımıyla yakalanır. Bina compositionality ilkesinin ait Gottlob Frege , araştırma bir cümlenin bireysel parçaların genel anlam katarlar neyi içine yapılır. Cümlenin tek tek bileşenlerinin etkileşimi, montaj dilbilgisi ve benzeri yöntemlerin yardımıyla doğal dilin resmileştirilmesiyle sağlanır .

Biçimsel anlambilim , minimalist program , kategori dilbilgisi veya işlevsel dilbilgisi gibi çeşitli sözdizimsel modellerle uyumludur.

Biçimsel anlambilimde, lambda soyutlaması, "bir formülden yüklemler oluşturmak, bireyleri genelleştirilmiş niceleyiciler olarak temsil etmek ve nicelik belirteçleri ve belirleyicilerin anlamlarını resmileştirmek için" kullanılır. Lambda soyutlamasının tersi lambda dönüşümüdür.

Edebiyat

  • Johannes Heinrichs : Dil, Cilt 2: Anlam boyutu (anlambilim) (Felsefi göstergebilim; Cilt 2). Baskı Steno, Münih 2008. ISBN 978-954-449-351-6 .
  • Irene Heim ve Angelika Kratzer: Üretken Dilbilgisinde Anlambilim (Blackwells Textbooks in Linguistics; Vol. 13). Blackwell, Oxford 1998, ISBN 0-631-19713-3 .
  • Horst Lohnstein: Biçimsel anlambilim ve doğal dil. Giriş ders kitabı . Westdeutscher Verlag, Opladen 1996. ISBN 3-531-12818-3 .
  • Monika Schwarz , Jeanette Chur: Giriş , sayfa 115-191. İçinde: Diess.: Anlambilim. Bir çalışma kitabı (aptal çalışma kitapları). 5. baskı Gunter Narr, Tübingen 2007. ISBN 978-3-8233-6296-8 .

Bireysel kanıt

  1. ↑ Monika Schwarz , Jeanette Chur: Anlambilim. Çalışma kitabı , s. 156.