Грамматика высшего порядка

Грамматика высшего порядка (HOG) — это теория грамматик, основанная на логике высшего порядка . Ее можно рассматривать одновременно как порождающе -перечислительную (например, категориальную грамматику , принципы и параметры ) или теоретико-модельную (например, грамматику структуры фраз, управляемую головой , или лексическую функциональную грамматику ).

Ключевые особенности

• Существует пропозициональная логика типов . , которые обозначают множества лингвистических (фонологических, синтаксических или семантических) сущностей Например, тип NP обозначает синтаксическую категорию (или класс формы) именной группы .
• HOG поддерживает различие Haskell Curry между тектограмматической структурой (абстрактный синтаксис ) и фенограмматической структурой (конкретный синтаксис).
• Абстрактные синтаксические единицы отождествляются со структуралистскими ( Блумфилдом — Хокеттом ) свободными формами (словами и словосочетаниями). Например, NP вашей кошки отличается от ее фонологии или семантики .
• Конкретный синтаксис отождествляется с фонологией , которая в широком смысле включает порядок слов.
• Моделирование чувств Фреге во многом похоже на моделирование чувств Монтегю , но с заменой интенсионалов более детальными гиперинтенсионалами .
• Существует ( Карри-Ховарда ) термин «исчисление доказательств» , термины которого обозначают лингвистические (фонологические, синтаксические или семантические) сущности.
• Термин исчисление встроен в классическую логику высшего порядка (HOL).
• Интерфейсы синтаксис-фонология и синтаксис-семантика выражаются в HOL как аксиоматические теории.
• HOL допускает подтипирование (стиль разделения) , например NPacc, тип именных фраз винительного падежа , является подтипом NP и обозначает подмножество категории, обозначаемой NP.

Внешние ссылки

• Грамматика высшего порядка , штат Огайо