Категоріальна граматика

Категоріальна граматика (К-граматика, КГ) - формальна граматика розпізнає типу [1], що виникла завдяки діяльності К. Айдукевича, І. Бар-Хіллела і І. Ламбека.

Система типів

У рамках КГ кожній синтаксичної одиниці приписується категоріальне значення, або тип [2] : 666 . Налічується два простих типу: ім'я ( N ) І пропозицію ( S ), - З яких в результаті рекурсії можуть бути отримані складні типи. Позначення одиниці складного типу містить позначення деякого більш простого типу, а також вказівку на те, одиницею якого типу варто доповнити дану одиницю для отримання одиниці типу S . Так, у КГ для англійської мови неперехідний дієслово в особовій формі, що розуміється як відношення між ім'ям і пропозицією, отримує складний тип S \ backslash NP , Що означає, що для отримання пропозиції його слід доповнити підметом - іменний групою ( англ. noun phrase , NP) [2] : 667 ; Перехідному дієслову присвоюється тип (S \ backslash NP) / NP , Оскільки для його доповнення до пропозиції потрібно спочатку приєднати до нього пряме доповнення, а потім підмет [2] : 669 . При цьому дужки відображають порядок доповнення, а напрямок косою риси - лінійний порядок проходження елементів: якщо елемент з нижчим становищем в синтаксичній структурі передує елементу, що займає вище положення, риса нахилена вліво, якщо слід за ним - вправо.


Операції з типами

У варіанті КГ, запропонованому І. Ламбеком, є кілька операцій, які дозволяється виробляти з типами. В їх число входять [2] : 668, 673-674 :

  • аплікація ( A ) - Заміна поєднання двох Соположеніе типів на один тип, допустима в тому випадку, якщо один тип є відношенням, а другий відповідає правому елементу першого: Y ~ X \ backslash Y \ to X , X / Y ~ Y \ to X ;
  • композиція ( C ) - Приписування єдиного складного типу ланцюжку з двох складних типів: A / B ~ B / C \ to A / C , A / B ~ B \ backslash C \ to A \ backslash C , B / C ~ A \ backslash B \ to A / C , B \ backslash C ~ A \ backslash B \ to A \ backslash C ;
  • підйом типу ( англ. type raising , T ) - Привласнення одиниці, поряд з якою знаходиться здатне приєднати її вираження, типу, що дозволяє їй самій приєднати назване вираз: {\ Color {OliveGreen} A / B} ~ B \ to {\ color {OliveGreen} A / B} ~ A \ backslash (A / B) , B ~ {\ color {OliveGreen} A \ backslash B} \ to A / (A \ backslash B) ~ {\ color {OliveGreen} A \ backslash B} [3].

Отримання в результаті застосування допустимих операцій символу пропозиції S означає, що аналізоване пропозицію граматично правильно. Так, аналіз грамматічного пропозиції John came 'Джон прийшов', що має вигляд \ Frac {NP ~ S \ backslash NP} {\ mathbf S} \ mathrm A , Закінчується отриманням S , А неграмматічное пропозицію * John came Bill 'Джон прийшов Білла' не може бути успішно проаналізований: \ Frac {NP ~ S \ backslash NP} {\ mathbf S} \ mathrm A ~ \ begin {matrix} NP \ \ \ mathbf {NP} \ end {matrix} [2] :668-669 .


Примітки

  1. Мельчук І. А. Граматика формальна - slovari.yandex.ru/dict/bse/article/00020/19600.htm - стаття з Великої радянської енциклопедії
  2. 1 2 3 4 5 Казенін К. І. Категоріальна граматика / / Введення в загальний синтаксис - testelets.narod.ru / cover.htm / Тестелец Я. Г.. - М .: РДГУ, 2001. - С. 664-692. - 800 с. - 5000 екз. - ISBN 5-7281-0343-X
  3. Кольором виділена одиниця, не піддається перетворенню, але необхідна для його виконання.


Перегляд цього шаблону Синтаксис
Основні поняття Пропозиція : просте, ускладнене, складне ( складносурядне, складнопідрядне, безсполучникового) Член пропозиції Однорідні члени речення Клауза Граматична основа Словосполучення Залежність Синтаксичний зв'язок : сочінітельная, підрядності ( узгодження, управління, примикання) Валентність Нексус і юнкція Актант Сірконстанта Граматика залежностей Граматика складових Поверхнева структура Глибинна структура Трансформація
Персоналії А. М. Пєшковський Л. Теньєр Н. Хомський Ч. Філлмор І. А. Мельчук Дж. Хокінс
Синтаксичні теорії Категоріальна граматика Теорія "Сенс ⇔ Текст" Генеративна граматика : стандартна теорія, теорія принципів і параметрів, мінімалістська програма
Пов'язані поняття Рівні мови Граматика Морфологія Граматична семантика Семантична роль Перехідність Конгруентність
Фонетика і фонологія Морфологія Портал: Лінгвістика