Категориальная грамматика | это... Что такое Категориальная грамматика? (original) (raw)

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

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

В рамках КГ каждой синтаксической единице приписывается категориальное значение, или тип [2]:666. Насчитывается два простых типа: имя () и предложение (), — из которых в результате рекурсии могут быть получены сложные типы. Обозначение единицы сложного типа содержит обозначение некоторого более простого типа, а также указание на то, единицей какого типа следует дополнить данную единицу для получения единицы типа . Так, в КГ для английского языка непереходный глагол в личной форме, понимаемый как отношение между именем и предложением, получает сложный тип $S \backslash NP$ , что означает, что для получения предложения его следует дополнить подлежащим — именной группой (англ. noun phrase, NP)[2]:667; переходному глаголу присваивается тип $(S \backslash NP) / NP$ , поскольку для его дополнения до предложения требуется сначала присоединить к нему прямое дополнение, а потом подлежащее [2]:669. При этом скобки отражают порядок дополнения, а направление косой черты — линейный порядок следования элементов: если элемент с низшим положением в синтаксической структуре предшествует элементу, занимающему высшее положение, черта наклонена влево, если следует за ним — вправо.

Операции с типами

В варианте КГ, предложенном И. Ламбеком, имеется несколько операций, которые разрешается производить с типами. В их число входят[2]:668, 673—674:

аппликация () — замена сочетания двух соположенных типов на один тип, допустимая в том случае, если один тип является отношением, а второй соответствует правому элементу первого: $Y ~ X \backslash Y \to X$ , $X / Y ~ Y \to X$ ;
композиция () — приписывание единого сложного типа цепочке из двух сложных типов: $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, ) — присвоение единице, рядом с которой находится способное присоединить её выражение, типа, позволяющего ей самой присоединить названное выражение: ${\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].

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

Примечания

↑ Мельчук И. А. Грамматика формальная — статья из Большой советской энциклопедии
↑ 1 2 3 4 5 Казенин К. И. Категориальная грамматика // Введение в общий синтаксис / Тестелец Я. Г.. — М.: РГГУ, 2001. — С. 664—692. — 800 с. — 5000 экз. — ISBN 5-7281-0343-X
↑ Цветом выделена единица, не подвергающаяся преобразованию, но требуемая для его выполнения.

Синтаксис
Основные понятия	Предложение: простое, осложнённое, сложное (сложносочинённое, сложноподчинённое, бессоюзное) • Член предложения • Однородные члены предложения • Клауза • Грамматическая основа • Словосочетание • Зависимость • Синтаксическая связь: сочинительная, подчинительная (согласование, управление, примыкание) • Валентность • Нексус и юнкция • Актант • Сирконстант • Грамматика зависимостей • Грамматика составляющих • Поверхностная структура • Глубинная структура • Трансформация
Персоналии	А. М. Пешковский • Л. Теньер • Н. Хомский • Ч. Филлмор • И. А. Мельчук • Дж. Хокинс
Синтаксические теории	Категориальная грамматика • Теория «Смысл ⇔ Текст» • Генеративная грамматика: стандартная теория, теория принципов и параметров, минималистская программа
Связанные понятия	Уровни языка • Грамматика • Морфология • Грамматическая семантика • Семантическая роль • Переходность • Конгруэнтность
Фонетика и фонология • Морфология • Портал:Лингвистика