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