Введение
Семейство формализмов в синтаксисе естественного языка. Категориальная грамматика — это семейство формализмов в синтаксисе естественного языка, объединённых центральным допущением о том, что синтаксические компоненты комбинируются как функции и аргументы. Категориальная грамматика постулирует тесную связь между синтаксисом и семантическим составом, поскольку обычно рассматривает синтаксические категории как соответствующие семантическим типам. Категориальная грамматика была разработана в 1930-х годах Казимиром Айдукевичем, а в 1950-х годах — Иехошуа Бар-Хиллелем и Йоахимом Ламбеком. В 1970-х годах интерес к ней возродился благодаря работам Ричарда Монтегю, чья Монтегью-грамматика исходила из схожих представлений о синтаксисе. Она продолжает оставаться одной из основных парадигм, особенно в области формальной семантики.
Categorial grammar is a family of formalisms in natural language syntax that share the central assumption that syntactic constituents combine as functions and arguments. Categorial grammar posits a close relationship between the syntax and semantic composition, since it typically treats syntactic categories as corresponding to semantic types. Categorial grammars were developed in the 1930s by Kazimierz Ajdukiewicz and in the 1950s by Yehoshua Bar Hillel and Joachim Lambek. It saw a surge of interest in the 1970s following the work of Richard Montague, whose Montague grammar assumed a similar view of syntax. It continues to be a major paradigm, particularly within formal semantics.
Исторические примечания
Основные идеи категориальной грамматики восходят к работам Казимежа Айдукевича (в 1935 году) и других ученых польской традиции математической логики, включая Станислава Лесневского, Эмиля Поста и Альфреда Тарски. Формальный подход Айдукевича к синтаксису испытал влияние чистой логической грамматики Эдмунда Гуссерля, формализованной Рудольфом Карнапом. Она представляет собой развитие исторической идеи универсальной логической грамматики как лежащей в основе структуры всех языков. Ключевым понятием подхода является взаимозаменяемость синтаксических категорий, отсюда и название – категориальная грамматика. Принадлежность элемента (например, слова или фразы) к синтаксической категории (класс слова, тип фразы) определяется посредством коммутационного теста, а формальная грамматика конструируется на основе серии таких тестов. Термин «категориальная грамматика» был введен Ехошуа Бар-Хиллелем (в 1953 году). В 1958 году Йоахим Ламбек представил синтаксический исчисление, формализовавшее конструкторы функциональных типов вместе с различными правилами для комбинирования функций. Это исчисление является предшественником линейной логики, поскольку относится к субструктурным логикам. Грамматика Монтегю использует специальную синтаксическую систему для английского языка, основанную на принципах категориальной грамматики. Хотя работы Монтегю иногда рассматриваются как синтаксически неинтересные, они способствовали возрождению интереса к категориальной грамматике, связав ее с высокоэффективным формальным анализом семантики естественного языка. Более поздние исследования в области категориальной грамматики были сосредоточены на расширении синтаксического охвата. Одним из формализмов, получивших значительное внимание в последние годы, является комбинаторная категориальная грамматика Стидмана и Сабольчи, основанная на комбинаторной логике, изобретенной Мозесом Шенфинкелем и Хаскеллом Карри. В лингвистике существует ряд связанных формализмов этого типа, таких как типологическая грамматика и абстрактная категориальная грамматика.
Усовершенствование категорической грамматики
Для улучшения синтаксического охвата было предложено множество изменений в категориальной грамматике. Наиболее распространенные из них перечислены ниже.
Особенности и подкатегории
Большинство систем категориальной грамматики подразделяют категории. Наиболее распространенный способ сделать это — маркировать их признаками, такими как лицо, род, число и время. Иногда таким образом маркируются только атомарные категории. В грамматике Монтегю традиционно подразделяют функциональные категории, используя соглашение о множественном слэше, так что A/B и A//B будут двумя различными категориями функций, применяемых слева, которые принимают одни и те же аргументы, но могут быть различимы другими функциями, принимающими их в качестве аргументов.
Состав функций
Правила композиции функций включены во многие категориальные грамматики. Примером такого правила может служить правило, позволяющее конкатенацию компонента типа А/В с компонентом типа В/С для получения нового компонента типа А/С. Семантика такого правила заключается в простой композиции соответствующих функций. Композиция функций играет важную роль в категориальном анализе союза и вынесения, особенно в связи с такими явлениями, как поднятие правого узла. Введение композиции функций в категориальную грамматику приводит к возникновению различных видов производной неоднозначности, которые являются ложными, то есть не соответствуют семантической неоднозначности.
Соединение
Многие категориальные грамматики включают типичное правило конъюнкции, общей формы X CONJ X → X, где X – категория. Конъюнкция обычно применима к нестандартным составляющим, возникающим в результате повышения типа или функциональной композиции.
Непрерывность
Грамматика расширена для обработки лингвистических явлений, таких как разрывные идиомы, эллипсис и вынос.