Daha yüksek dereceli dilbilgisi - Higher order grammar
Yüksek mertebeden dilbilgisi (HOG), yüksek mertebeden mantığa dayalı bir dilbilgisi teorisidir . Aynı anda üretici - sayısal ( kategorik dilbilgisi ve ilkeler ve parametreler gibi ) veya teorik model ( kafa güdümlü tümcecik yapısı dilbilgisi veya sözcüksel işlevsel dilbilgisi gibi ) olarak görülebilir .
Ana Özellikler
- Bir yoktur önermeler mantığı ait türleri , hangi dilsel (fonolojik, sözdizimsel veya semantik) varlıkların anlamında olabildikleri setleri. Örneğin, NP türü, isim tamlamalarının sözdizimsel kategorisini (veya biçim sınıfını) belirtir .
- HOG, Haskell Curry'nin tektogrammatik yapı (soyut sözdizimi ) ve fenogrammatik yapı (somut sözdizimi) arasındaki ayrımını korur .
- Soyut sözdizimsel varlıklar yapısalcı ( Bloomfield - Hockett ) serbest formlarla (kelimeler ve deyimler) tanımlanır. Örneğin, kedinizin NP'si fonolojisinden veya semantiğinden farklıdır .
- Somut sözdizimi , genel olarak kelime sırasını içerecek şekilde yorumlanan fonoloji ile tanımlanır .
- Fregean duyularının modellenmesi büyük ölçüde Montague'inkine benzer , ancak yoğunlukların yerini daha ince taneli hiperintensiyonlar almıştır .
- Terimleri dilbilimsel (fonolojik, sözdizimsel veya anlamsal) varlıkları ifade eden bir ( Curry-Howard ) ispat terim hesabı vardır .
- Hesap terimi, klasik bir yüksek dereceli mantıkta (HOL) gömülüdür .
- Sözdizimi-fonoloji ve sözdizimi-semantik arayüzleri , HOL'de aksiyomatik teoriler olarak ifade edilir.
- HOL kabul etmektedir (ayırma tarzı) alt-tiplemesi , örneğin NPacc tipi, -i i ifadeler, NP bir alt-tipidir ve NP ile gösterilen kategori bir alt kümesini temsil eder.
Referanslar
Dış bağlantılar
- Yüksek Dereceli Dilbilgisi , Ohio Eyaleti