قواعد اللغة من المستوى الأعلى

قواعد اللغة من الرتبة العليا (HOG) هي نظرية نحوية تستند إلى منطق الرتبة العليا . ^{[ 1 ] [ 2 ]} ويمكن النظر إليها في آن واحد على أنها توليدية -إحصائية (مثل قواعد اللغة الفئوية والمبادئ والمعايير ) أو نظرية نموذجية (مثل قواعد بنية العبارة الموجهة بالرأس أو قواعد اللغة الوظيفية المعجمية ).

• يوجد منطق افتراضي للأنواع ، والتي تدل على مجموعات من الكيانات اللغوية (الصوتية، أو النحوية، أو الدلالية). على سبيل المثال، يدل النوع NP على الفئة النحوية (أو فئة الشكل) للعبارات الاسمية .
• تحافظ HOG على تمييز هاسكل كاري بين البنية التكتوجرامية ( النحو المجرد ) والبنية الفينوجرامية (النحو الملموس).
• تُعرَّف الكيانات النحوية المجردة بأشكال حرة (كلمات وعبارات) بنيوية ( بلومفيلد - هوكيت ). على سبيل المثال، العبارة الاسمية " قطتك " تختلف عن علم الأصوات أو دلالاتها .
• يتم تعريف التركيب النحوي الملموس بعلم الأصوات ، والذي يتم تفسيره على نطاق واسع ليشمل ترتيب الكلمات.
• إن نمذجة الحواس الفريجية تشبه إلى حد كبير نمذجة مونتاجو ، ولكن مع استبدال النوايا بنوايا فائقة أكثر دقة .
• يوجد مصطلح برهان ( كاري-هوارد ) حساب التفاضل والتكامل ، الذي تشير مصطلحاته إلى الكيانات اللغوية (الصوتية أو النحوية أو الدلالية).
• إن مصطلح التفاضل والتكامل مضمن في منطق كلاسيكي من الدرجة العليا (HOL).
• يتم التعبير عن واجهات النحو-علم الأصوات والنحو -الدلالات كنظريات بديهية في HOL.
• يسمح HOL بالتصنيف الفرعي (على غرار الفصل) ، على سبيل المثال NPacc، وهو نوع من عبارات الاسم المنصوبة ، هو نوع فرعي من NP، ويشير إلى مجموعة فرعية من الفئة التي يشير إليها NP.

• قواعد اللغة العليا ، جامعة ولاية أوهايو