Формальная семантика

Формальная семантика — это раздел лингвистики и логики, изучающий значение языковых выражений с помощью формальных математических методов, в первую очередь аппарата математической логики и теории моделей. В отличие от неформальной или описательной семантики, которая опирается на интуитивные представления и контекст, формальная семантика стремится построить точные, непротиворечивые модели того, как значение предложения составляется из значений его частей и синтаксической структуры. Основная задача — объяснить, как носители языка понимают бесконечное множество новых предложений на основе конечного набора правил и лексики.

История

Формальная семантика как самостоятельная дисциплина сформировалась во второй половине XX века, хотя её корни уходят в античную философию и логику. Значительный вклад в её развитие внесли работы немецкого логика и математика Готлоба Фреге, который в конце XIX века ввёл различие между смыслом и значением (денотатом) выражения, а также разработал принцип композициональности: значение сложного выражения определяется значениями его частей и способом их соединения. Этот принцип стал краеугольным камнем формальной семантики.

В XX веке идеи Фреге были развиты в рамках аналитической философии (Бертран Рассел, Людвиг Витгенштейн, Альфред Тарский) и математической логики. Тарский создал семантическую теорию истины, которая легла в основу многих формальных моделей. В 1960-е годы американский лингвист Ричард Монтегю, опираясь на работы логиков и философов, разработал «грамматику Монтегю» — первую всеобъемлющую теорию, в которой синтаксис естественного языка описывался параллельно с семантикой, а значения интерпретировались в рамках теории типов и интенсиональной логики. Монтегю показал, что естественные языки (например, английский) могут быть формализованы с той же строгостью, что и искусственные языки логики. Его работа считается отправной точкой современной формальной семантики.

В 1970–1980-е годы дисциплина активно развивалась: были разработаны теории референции, кванторов, времени и аспекта, модальности, пресуппозиций и речевых актов. В этот период сформировались основные школы — в США (Массачусетский технологический институт, Стэнфордский университет) и в Европе (Нидерланды, Германия, Великобритания). В России формальная семантика начала развиваться позже, в 1990–2000-е годы, усилиями таких исследователей, как Б. Л. Иомдин, А. Е. Кибрик, Е. В. Падучева, В. А. Плунгян, а также группами в Институте языкознания РАН и Московском государственном университете.

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

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

Принцип композициональности (или принцип Фреге) гласит, что значение сложного выражения является функцией значений его непосредственных составляющих и синтаксического правила, по которому они соединены. Например, значение предложения «Собака бежит» складывается из значения слова «собака» (объект или класс объектов) и значения слова «бежит» (свойство), применённого к этому объекту. Этот принцип позволяет моделировать понимание новых предложений.

Денотат и смысл

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

Типы и категории

Значениям слов и фраз приписываются семантические типы, основанные на теории типов. Базовыми типами обычно считаются:

• e (entity) — сущности (индивиды, объекты).
• t (truth value) — истинностные значения (истина/ложь).

Производные типы строятся как функции: например, тип \<e,t\> — это свойство (функция от сущностей к истинностным значениям), тип \<e,\<e,t\>\> — двухместное отношение. Глаголы, существительные, прилагательные и другие части речи получают соответствующие типы.

Интенсиональность

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

Методы и формализмы

Логика предикатов первого порядка

Базовый инструмент для анализа простых утвердительных предложений. Субъекты и объекты переводятся в термы, предикаты — в предикатные символы, кванторы (например, «все», «некоторые») — в кванторы всеобщности и существования. Однако многие явления (например, кванторные выражения вроде «большинство», «многие») требуют более мощных средств.

Теория типов и лямбда-исчисление

Лямбда-исчисление позволяет формализовать композициональность: значения лексических единиц представляются как лямбда-термы (функции), а синтаксические правила — как операции аппликации (применения функции к аргументу). Это даёт возможность автоматически вычислять значение предложения по его синтаксическому дереву.

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

Классическая система, в которой синтаксис и семантика строятся параллельно. Каждому синтаксическому правилу соответствует семантическое правило, переводящее выражение в формулу интенсиональной логики. Монтегю также ввёл понятие «универсальной грамматики», утверждая, что естественные и искусственные языки подчиняются одним и тем же математическим законам.

Теория репрезентации дискурса (DRT)

Разработана Хансом Кампом в 1980-е годы для анализа текстов, выходящих за рамки одного предложения. DRT использует структуры репрезентации дискурса (DRS), которые моделируют анафору, временные отношения и другие дискурсивные явления. Эта теория особенно полезна для анализа местоимений и связности текста.

Динамическая семантика

Развивает идеи DRT, рассматривая значение предложения как изменение контекста (информационного состояния слушателя). Например, значение утверждения «Человек вошёл» — это не просто истинностное условие, а операция, добавляющая в контекст нового референта. Этот подход используется для анализа вопросов, отрицания и частиц.

Применение

Обработка естественного языка (NLP)

Формальная семантика лежит в основе многих систем понимания естественного языка, включая семантический анализ, извлечение информации, машинный перевод и ответы на вопросы. Она позволяет строить формальные репрезентации смысла предложений, которые затем могут обрабатываться компьютером. Например, в задачах семантического разбора (semantic parsing) текст преобразуется в логическую формулу, которая может быть исполнена в базе данных.

Лингвистическая типология

Формальные методы используются для сравнения семантических систем разных языков. Например, исследуется, как разные языки выражают кванторы, время, модальность, определённость. Это позволяет выявлять универсальные и уникальные черты человеческого языка.

Философия языка

Формальная семантика предоставляет инструменты для анализа классических философских проблем: природа истины, референция, пропозициональные установки, модальность, контекст. Она позволяет формулировать точные теории и проверять их на логическую непротиворечивость.

Когнитивная наука

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

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

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

Источники

1. Гамкрелидзе Т. В., Иванов Вяч. Вс. Индоевропейский язык и индоевропейцы. — Тбилиси, 1984. (Использовано для общего контекста лингвистики.)
2. Монтегю Р. Универсальная грамматика // Семиотика. — М.: Радуга, 1983. — С. 115–140.
3. Падучева Е. В. Высказывание и его соотнесённость с действительностью. — М.: Наука, 1985.
4. Плунгян В. А. Введение в грамматическую семантику: грамматические значения и грамматические системы языков мира. — М.: РГГУ, 2011.
5. Heim I., Kratzer A. Semantics in Generative Grammar. — Oxford: Blackwell, 1998.
6. Kamp H., Reyle U. From Discourse to Logic. — Dordrecht: Kluwer, 1993.
7. Partee B. H. Compositionality // Formal Semantics: The Essential Readings. — Oxford: Blackwell, 2002. — P. 261–281.