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

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

Ключевая особенность

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

использованная литература

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