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

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

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

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

Рекомендации

  1. ^ Поллард, Карл. "Категориальная грамматика высшего порядка. »Международная конференция по категориальным грамматикам, Монпелье, Франция. 2004.
  2. ^ Хана, Иржи. Чешские клитики в грамматике высшего порядка. Дисс. Государственный университет Огайо, 2007.

внешняя ссылка