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

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

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

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

Ссылки

  1. ^ Поллард, Карл . «Категориальная грамматика высшего порядка». Международная конференция по категориальным грамматикам, Монпелье, Франция. 2004.
  2. ^ Хана, Иржи. Чешская клитика в грамматике высшего порядка. Дисс. Университет штата Огайо, 2007.
  • Грамматика высшего порядка, штат Огайо
Взято с "https://en.wikipedia.org/w/index.php?title=Higher_order_grammar&oldid=1058377534"