Грамматика Монтегю

Грамматика Монтегю — это формальная теория естественного языка, разработанная американским логиком и лингвистом Ричардом Монтегю в конце 1960-х — начале 1970-х годов. Она представляет собой подход к описанию синтаксиса и семантики естественных языков (таких как русский или английский) с помощью строгих математических методов, заимствованных из математической логики и теории моделей. Основная идея грамматики Монтегю заключается в том, что между синтаксической структурой предложения и его логическим значением существует принцип композициональности: значение целого выражения является функцией от значений его частей и способа их синтаксического соединения.

Исторический контекст и возникновение

Ричард Монтегю (1930–1971) был профессором Калифорнийского университета в Лос-Анджелесе. Его работа в области философии языка и математической логики привела к созданию теории, которая стала известна как «грамматика Монтегю». Основные труды, в которых изложены её принципы, — статьи «English as a Formal Language» (1970), «Universal Grammar» (1970) и «The Proper Treatment of Quantification in Ordinary English» (1973, опубликована посмертно). Монтегю стремился показать, что естественные языки не отличаются принципиально от формальных языков логики и математики и могут быть описаны с той же степенью строгости.

До Монтегю в лингвистике доминировали идеи Ноама Хомского, основанные на порождающих грамматиках и трансформационном анализе, где семантика часто рассматривалась как вторичная или интерпретативная. Монтегю, напротив, предложил модель, в которой синтаксис и семантика разрабатываются параллельно и неразрывно связаны. Его подход опирался на работы логиков Готлоба Фреге, Альфреда Тарского и Рудольфа Карнапа, а также на теорию типов и лямбда-исчисление Алонзо Чёрча.

Основные принципы

Композициональность

Центральный принцип грамматики Монтегю — принцип композициональности (принцип Фреге). Он утверждает, что значение сложного выражения (например, предложения) однозначно определяется значениями его непосредственных составляющих и правилом их соединения. Это позволяет строить семантику рекурсивно: начиная с базовых элементов (слов) и применяя правила, получать значения для фраз и предложений любой сложности.

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

Синтаксис в грамматике Монтегю строится на основе категориальной грамматики. Каждому слову или фразе приписывается синтаксическая категория, которая определяет, с какими другими категориями оно может сочетаться и какой результат даёт. Например, имя существительное (N) может сочетаться с детерминативом (D) для образования именной группы (NP). Переходный глагол (TV) — это категория, которая, соединяясь с именной группой (NP) слева, даёт глагольную группу (VP), а соединяясь с именной группой справа, даёт предложение (S). Категории записываются в виде дробей: например, TV = (S\NP)/NP, где «/» и «\» указывают направление соединения.

Интенсиональная логика

Для обработки таких явлений, как модальность, время и пропозициональные установки, Монтегю использовал интенсиональную логику. В отличие от экстенсиональной логики, где значение выражения — это его денотат (объект или истинностное значение), интенсиональная логика учитывает «смысл» или «интенсионал» — функцию от возможных миров и моментов времени к экстенсионалам. Это позволяет объяснить, почему, например, предложения «Утренняя звезда — это Вечерняя звезда» и «Утренняя звезда — это Утренняя звезда» имеют разное познавательное значение, хотя оба истинны и относятся к одному и тому же объекту (Венере).

Структура грамматики Монтегю

Грамматика Монтегю состоит из трёх взаимосвязанных компонентов:

1. Синтаксис: Набор правил, которые порождают все грамматически правильные выражения языка. Каждое правило имеет вид: если выражения X и Y принадлежат определённым категориям, то выражение Z, полученное их соединением, принадлежит категории C. Синтаксис не содержит трансформаций — все структуры являются поверхностными.
2. Семантическая интерпретация: Каждому синтаксическому правилу сопоставляется семантическое правило, которое определяет, как вычисляется значение результата из значений частей. Семантические правила записываются в виде лямбда-выражений или формул интенсиональной логики.
3. Перевод на логический язык: Вместо прямой интерпретации, Монтегю часто использовал промежуточный этап — перевод выражений естественного языка на язык интенсиональной логики. Этот логический язык, в свою очередь, интерпретируется в модели (наборе возможных миров, индивидов и т. д.). Таким образом, значение предложения — это его истинностное значение в каждом возможном мире.

Пример анализа

Рассмотрим предложение «Каждый студент читает книгу». В грамматике Монтегю:

• Синтаксис: «студент» (N) + «каждый» (D) → «каждый студент» (NP); «читает» (TV) + «книгу» (N) → «читает книгу» (VP); «каждый студент» (NP) + «читает книгу» (VP) → «Каждый студент читает книгу» (S).
• Семантика: Значение «каждый» — это квантор всеобщности (∀). Значение «студент» — свойство «быть студентом». Значение «читает» — отношение «x читает y». Значение «книга» — свойство «быть книгой». Композиционально получаем: ∀x (студент(x) → ∃y (книга(y) ∧ читает(x, y))). Это означает, что для каждого индивида x, если x является студентом, то существует индивид y, который является книгой, и x читает y.

Применение и влияние

Грамматика Монтегю оказала значительное влияние на развитие формальной семантики в лингвистике и философии языка. Она стала основой для многих современных теорий, таких как грамматика категориальных типов, динамическая семантика и теория репрезентации дискурса. Её методы используются для анализа сложных языковых явлений, включая:

• Квантификацию: Обработка кванторов («каждый», «некоторый», «большинство») и их взаимодействие.
• Анафору: Отношения между местоимениями и их антецедентами.
• Временные и модальные конструкции: Анализ времени, наклонения и модальных глаголов.
• Пропозициональные установки: Описание предложений типа «Мария считает, что...».

В компьютерной лингвистике идеи Монтегю применяются при создании систем понимания естественного языка, машинного перевода и логического вывода на естественном языке. Однако практическая реализация полной грамматики Монтегю для больших фрагментов языка сталкивается с вычислительными трудностями из-за высокой сложности и необходимости точного задания лексических значений.

Критика и ограничения

Несмотря на свою теоретическую элегантность, грамматика Монтегю подвергалась критике по нескольким направлениям:

• Психологическая нереалистичность: Критики, в частности сторонники генеративной грамматики Хомского, утверждали, что модель Монтегю не описывает реальные когнитивные процессы, происходящие в сознании носителя языка при понимании и порождении речи.
• Сложность и громоздкость: Для описания даже простых предложений требуется большое количество правил и лексических записей, что делает модель трудно масштабируемой.
• Проблема контекста: Грамматика Монтегю изначально была ориентирована на изолированные предложения и плохо справлялась с контекстно-зависимыми явлениями, такими как дейксис, эллипсис и прагматика. Позднее были разработаны расширения, учитывающие контекст (например, динамическая семантика).
• Ограниченность лексического охвата: Теория требует детального семантического описания каждого слова, что для полного лексикона естественного языка является чрезвычайно трудоёмкой задачей.

Источники

• Монтегю, Р. (1974). Formal Philosophy: Selected Papers of Richard Montague. Yale University Press.
• Парти, Б. (1975). «Montague Grammar and Transformational Grammar». Linguistic Inquiry, 6(2), 203–300.
• Даути, Д., Уолл, Р., и Питерс, С. (1981). Introduction to Montague Semantics. D. Reidel Publishing Company.
• Гамют, Л. Т. Ф. (1991). Logic, Language, and Meaning. University of Chicago Press.
• Крон, Э. (1993). The Proper Treatment of Quantification in Ordinary English. Oxford University Press.