Семантика как раздел лингвистики и теории информации¶

Семантика (от др.-греч. σημαντικός — «выражающий значение», от σημαῖνω — «обозначаю») — раздел лингвистики, изучающий значение языковых единиц (слов, словосочетаний, предложений), а также раздел логики и теории информации, исследующий интерпретацию знаков, символов и формальных конструкций. Термин «семантика» в современном употреблении охватывает как естественный язык, так и формальные системы — языки программирования, логические исчисления, базы данных.

¶История

¶Античные предпосылки

Проблема соотношения знака и значения обсуждалась ещё в античности. Платон в диалоге «Кратил» рассматривал вопрос о том, существует ли естественная связь между словом и обозначаемым предметом или она установлена по договорённости. Аристотель в трактате «Об истолковании» заложил основы учения о предложении как носителе истинности — важнейшего понятия для формальной семантики.

¶Формирование как дисциплины

Термин «семантика» в научный оборот ввёл французский семиотик Мишель Бреаль, опубликовавший в 1897 году книгу «Семантика: исследования о значении слов». Бреаль рассматривал семантику как науку о законах развития значений слов и предсказал, что она станет самостоятельной областью знания.

В XX веке семантика разделилась на несколько направлений. Структурная лингвистика (Н. С. Трубецкой, Р. О. Якобсон) изучала значение через систему оппозиций и дифференциальных признаков. Американский лингвист Леонард Блумфилд ограничивал семантику пределами строгого описания, считая её наименее разработанной частью языкознания.

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

Решающий вклад в развитие формальной семантики внёс польский математик и логик Альфред Тарский, который в 1930-е годы разработал теорию истинности для формальных языков (семантическую концепцию истины). Его работа «Истинность в формальных языках» (1936) показала, как определяется истинность утверждений относительно моделей.

В 1950–1960-е годы Рихард Монтегю построил формальную семантику естественного языка, показав, что математическая логика применима к грамматике английского. Монтегю-грамматика стала основой для дальнейших исследований. В СССР развитие семантики связано с работами В. А. Звегинцева, А. В. Бондарко, Ю. Д. Апресяна, разработавшего компонентный анализ и теорию лексических полей.

¶Основные понятия

Семантика оперирует рядом ключевых понятий:

¶Виды семантики

¶Лексическая семантика

Исследует значение слов и его изменения. Основные методы — компонентный (семантический) анализ, выделяющий значения на составляющие признаки (например, «девочка» = [+женский род, +человек, +малолетство]), и анализ лексических полей, изучающий слова в системе парадигматических отношений.

¶Синтаксическая семантика

Изучает значение грамматических конструкций и синтаксических отношений. К ней относятся вопросы о значении порядка слов, падежных конструкций, видо-временных форм.

¶Прагматика

Рассматривает значение в контексте употребления: как интерпретация зависит от ситуации речи, намерений говорящего, знаний адресата. Прагматика изучает также феномены импликатуры (скрытого смысла), иллокутивных актов, дейктических средств.

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

Строит математические модели интерпретации формальных языков. Ключевые подходы — модельно-теоретическая семантика (Тарский, Тарский-Карнап), возможностная семантика (Сол Крипке, Ричард Монтегу), ситуационная семантика (Дэвид Льюис, Джон Перри).

¶Семантика и смежные дисциплины

Семантика граничит с семиотикой (учением о знаках), изучающей знак в целом, и с семиотикой Чарлза Пирса, где значение — лишь один из аспектов знаковой деятельности. Семантика информационных технологий (семантика данных, семантический веб) переносит лингвистические идеи на формальные системы: в онтологиях и базах знаний значения понятий фиксируются явно, что позволяет машинам интерпретировать данные.

В теории программирования семантика языков программирования определяет, каким образом программа интерпретируется исполнителем. Различают операционную семантику (поведение через последовательности шагов), денотационную (сопоставление программ математическим функциям) и аксиоматическую (описание через пред- и постусловия).

¶Применение

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

¶Литература

• Бреаль М. Семантика: исследования о значении слов. — М., 2002.
• Апресян Ю. Д. Избранные труды. Т. I: Лексическая семантика. — М., 1995.
• Тарский А. Введение в логику и методологию наук. — М., 2008.
• Монтегю Р. Формальная семантика естественного языка. — М., 2020.
• Вежбицка А. Семантика универсальных концептов и межкультурная коммуникация. — М., 2001.