СЕМАНТИКА — дисциплина, изучающая знаки и знаковые системы с точки зрения их смысла

При описании семантики естественного языка лингвисты также прибегают к понятию функциональной зависимости, реализуя схему, очень похожую на схему интерпретации формальных языков. При этом используется аппарат семантических категорий, введенный К. Айдукевичем (см. Семантических категорий теория). Простейшими категориями являются имя и предложение. Первое имеет в качестве экстенсионала объект, второе — значение истины или лжи. Йнтенсиоиал языкового знака, принадлежащего к этим категориям, есть функция (в строгом, теоретико-множественном смысле —Д. Льюис, а еще раньше Р. Карнап), ставящая ему в соответствие его экстенсионал. Более сложные категории получаются из простейших согласно правилам синтаксиса и должны включать все возможные грамматические формы. Их семантика определяется построением интенсионалов, которые также являются функциями, но уже более сложными. Природа интенсионала часто определяется по-разному. Н. Хомский, напр., видит в них врожденные схемы действия, присущие человеческой психике. Р. Монтегю представляет их объективными идеальными сущностями, которые схватываются сознанием.

По существу в логике, описывающей формальные языки, и в лингвистике, изучающей естественный язык, вводятся одни и те же процедуры: установление функциональной связи между выражениями языка и «реальными» объектами и отношениями. Однако логика (а в еще большей мере математика) требует явного описания (опять же с помощью языка) как функций, так и областей интерпретации. В лингвистике же, когда речь идет об интерпретирующей функции (интенсионале), может подразумеваться некоторая когнитивная операция (вовсе не описанная явно), совершаемая носителем языка, который производит и интерпретирует знаки. Поэтому если логика сближает семантику с синтактикой, то лингвистика обращает ее в прагматику. Эта «потеря» семантики возникает в тех теориях, которые разделяют существенный элемент учения Фреге: язык рассматривается как средство для выражения неязыковых сущностей, т. е. для представления объективной реальности. В таких теориях пытаются установить
связь мысли с немыслимым, что порождает естественные трудности. Альтернативой фрегевского понимания семантики (помимо школы Соссюра, о которой сказано выше) является теория семантических примитивов (А. Вержбицка). Она прямо связана с учением Р. Декарта, о том, что всякая сложная идея сводима к простым, понятным интуитивно и не нуждающимся ни в каком прояснении. Еще большая зависимость обнаруживает теория семантических примитивов от философии Г. Лейбница, поскольку может быть представлена как развитие его попытки создания универсальной характеристики. По мысли Вержбицкой, всякий дискурс есть конструкция, построенная из достаточно простых элементов по известным правилам. Смысл любого языкового построения ясен в той мере, в какой прояснена процедура -построения, а также смысл этих элементов. Последние же, называемые семантическими примитивами, ясны интуитивно. Их описание не требует прибегать к особым приемам (напр., к введению интенсионалов И экстенсионалов), поскольку их смысл абсолютно прозрачен и не нуждается в каком-либо выражении. Важно, что число этих примитивов невелико и их нумерация легко достижима.

Лит.: ШрейдерЮ.А. Логика знаковых систем. М., 1974; Семиотика (сборник трудов; ред. Ю. С. Степанов). М., 1983; Смирнова Е. Д. Логика и философия. М., 1996; Соссюр Ф. Труды по языкознанию. М., 1977, с. 31—288; ТондлЛ. Проблемы семантики. М., 1975; Фреге Г. Избранные работы. М., 1997, с. 25—49; WientuckaA. Semantic Primitives. Fr./M., 1972.

Г. Б. Гутнер

СЕМАНТИЧЕСКИЕ ТАБЛИЦЫ -созданная Э. Бэтом формальная разрешающая процедура для формул логики высказываний и логики предикатов.

Семантическая таблица состоит из двух (сопряженных) столбцов: в левом столбце пишутся формулы, соответствующие высказываниям, принимаемым за истинные, а в правом — принимаемым за ложные. Рассуждение осуществляется «от противного» (см. Доказательство косвенное). Если необходимо выяснить, следует ли формула В из формул А\, ..., Ац, то в левом столбце таблицы пишут формулы А\,..., А„, а в правом — формулу В. Если устанавливается общезначимость формулы D, то в правом столбце таблицы пишут эту формулу. Если хотят установить, является ли формула противоречивой, то эту формулу пишут в левом столбце таблицы.

Правила редукции, позволяющие переходить от формул, содержащих я логических терминов, к формулам, содержащим меньше чем я логических терминов, являются правилами построения таблицы. Для формул языка логик« предикатов, содержащих знаки отрицания, конъюнкции, нестрогой дизъюнкции, материальной импликации, кванторы общности и существования, используются следующие правила редукции.

-Л. Если формула -ι А имеется в левом столбце таблицы (подтаблицы), то в правом столбце той же таблицы (подтаблицы) пишем А.

-ιΠρ. Если формула -ι А имеется в правом столбце, то в левом столбце пишем А

дЛ. Если формула ΑλΒ имеется в левом столбце таблицы (подтаблицы), то в том же столбце пишем формулы А и В. лПр. Если формула АлВ находится в правом столбце таблицы (подтаблицы), то в каждом из столбцов образуем две новые альтернативные подтаблицу этого столбца и в левой под-

vJI. Если формула А^В находится в левом столбце таблицы (подтаблицы), то в каждом из столбцов образуем две новые альтернативные подтаблицы и в левой из них (левого столбца) пишем ^4, а в правой (того же столбца) — А

νΠρ, Если формула А^В находится в правом столбце таблицы (подтаблицы), то в том же столбце пишем формулы А к В. зЛ. Если формула Аэ5 находится в левом столбце таблицы (подтаблицы), то в каждом из столбцов образуем две новые альтернативные подтаблицы и в правой подтаблице левого столбца пишем формулу В, а в левой подтаблице правого столбца пишем А

зПр. Если формула AziB находится в правом столбце таблицы (подтаблицы), то в левом столбце той же таблицы пишем формулу Л, а в правом — В.

УЛ. Если формула VoA(a) находится в левом столбце таблицы (подтаблицы), то в том же столбце помещаем формулу Α(β), где β — произвольная индивидная переменная или константа, Α(β) есть результат правильной подстановки β вместо a в А(а). Эвристический совет: в качестве β нужно взять индивидную константу, которая уже встречается в подтаблице, или переменную, которая имеет свободные вхождения в какую-то из формул подтаблицы; если таковых нет, то вводится произвольная индивидная константа.

νΠρ. Если формула VoA(a) находится в правом столбце таблицы (подтаблицы), то в тот же столбец помещаем формулу <4(β), где β — новая индивидная константа, т. е. константа, не встречающаяся еще ни в левом, ни в правом столбцах, а /4(β) есть результат правильной подстановки β в А(а) вместо а.

ЭЛ. Если формула ЭоА(а) находится в левом столбце таблицы (подтаблицы), то в тот же столбец помещаем формулу Аф), где β — новая индивидная константа; Α(β) — результат правильной подстановки индивидной константы β вА(а) вместо о.

ЗПр. Если формула 3αΑ(α) находится в правом столбце таблицы (подтаблицы), то в тот же столбец помещаем формулу Аф), где β — произвольная индивидная переменная или константа, а ^(β) — то же, что и в пояснении к правилу УЛ. Эвристический совет тот же, что описан при формулировке правила УЛ.

Альтернативная подтаблица (а если таковых нет, то таблица) является замкнутой, если некоторая формула входит в ее левый и правый столбцы. Таблица является замкнутой, если замкнуты все ее альтернативные подтаблицы.

Метод исследования рассуждений посредством логики предикатов, заданной семантическими таблицами, заключается в следующем. На первом шаге переводим на язык логики предикатов посылки и заключение рассуждения. Напр., рассуждение «Всякий, кто находится в здравом уме, может понимать логику Ни один из сыновей Крокса не может понимать логику Сумасшедшие не допускаются к голосованию. Следовательно, никто из сыновей Крокса не допускается к голосованию» на язык логики предикатов переводится так: первой, второй и третьей посылками являются соответственно формулы: ^/x(P(x)z>Q(x)), VxWx, a)^-iQ(x)), νχ(-ιΡ(χ) 3-i5'(x)), а заключением— формула Vx(J?(x, a) z>-TS(x)). Второй шаг состоит в построении семантической таблицы, в левый столбец которой пишем формулы, соответствующие посылкам, а в правый — формулу, соответствующую заключению. Далее применяются правила редукции.

Из рассмотренной таблицы видно, что все ее подтаблицы замкнуты, следовательно, и сама семантическая таблица замкнута. Можно сделать вывод, что анализируемое рассуждение является правильным. В силу неразрешимости логики предикатов возможны три результата: таблица оказывается замкнутой (в этом случае исследуемое рассуждение является правильным, а если анализировалось отдельное высказывание — это высказывание является логически истинным); все возможные правила применены, а таблица не замкнулась (рассуждение является неправильным, а если анализировалось отдельное высказывание — это высказывание не является логически истинным); процесс построения таблицы оказывается бесконечным (в этом случае задача не решена).

Описанная техника, с определенными модификациями, применяется для других логических систем, напр. для систем модальной логики.

Лит.: Бет Э. Метод семантических таблиц.— В кн.: Математическая теория логического вывода. М., 1967; КрипкеС. Семантический анализ модальной логики I. Нормальные модальные исчисления высказываний.— В кн.: ФейсР. Модальная логика. М., 1974; Целее Ю. В. Логика. М., 1996.

Ю. В. Целее

СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ - теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка.

Учение о семантических категориях восходит к Т. Фреге и особенно к Э. Гуссерлю (Bedeutungskategorien, категории значения). Наиболее интенсивную разработку это учение получило в польской школе логики. Очень близка к учению о семантических категориях теория типов Б. Рассела (см Логицизм). Но если у Рассела теория типов была введена как средство для предотвращения теоретико-множественных парадоксов, то в польской школе логики — у Ст. Лесневского, А. Тарского, К. Айдукевича, Т. Котарбиньского, А. Гжегорчика — эта теория связана с глубокими философскими и лингвистическими проблемами. Для них элиминация парадоксов не единственный и не главный стимул для введения теории семантических категорий.

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

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

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

Семантические категории образуют потенциально бесконечную и весьма разветвленную иерархию. Возможны различные системы семантических категорий в зависимости от того,
какие категории принимаются за исходные и всем ли синтаксическим категориям сопоставляются семантические. Айдукевич, следуя Лесневскому, в качестве основных, исходных категорий принимает категорию имен (сингулярных термов) — η и категорию предложений (пропозициональных формул) — s, над которыми надстраивается бесконечная иерархия функторных категорий, различающихся числом и категориями аргументных выражений, а также категориями выражений, получающихся в результате применения функторов к их аргументам. В методе индексации категорий функторных выражений, предложенном Айдукевичем, под чертой указываются категории аргументных выражений, над чертой — категория выражения, полученного в результате приложения функтора к его аргументам. Получаем соответственно бесконечную иерархию категорий функторных выражений: s/n, s/nn,..., s/s, s/ss,..., n/n, n/nn,..., s/n/s/n,... и т. д. s/s — категория унарной логической связки (напр., отрицания — «Неверно, что...») (см. Логические связки); s/ss — категория бинарных логических связок (напр., конъюнкции, дизъюнкции и т. д.); s/n — категория одноместного предикатора («четкий», «высокий», «быть матерью»), n/n — одноместные предметные функторы (напр., «мать», «король», «вес», «сила» в контекстах «мать Петра», «король Франции», «вес тела», «сила тока»); s/n/s/n — категория выражений «быстро», «очень», «громко» в контекстах вида «бежит быстро», «очень высокий», «говорит громко». Указанный подход позволяет анализировать и устанавливать категории достаточно сложных выражений и операторов. Можно рассматривать операции с отношениями и установить категорию, напр., относительного произведения (композиции) R*Q («мать жены», «сын сестры» и т. п.), в котором оператор относительного произведения * принадлежит категории s/nn/s/nn (в русском языке он репрезентируется родительным падежом, в немецком — предлогом и т. д.).

Метод индексаций Айдукевича дает простую процедуру установления категориальной структуры и правильной построенности (синтаксической связности) выражений языка. Вслед за категорией функтора пишутся категории его аргументов. Затем проводится последовательное «сокращение» справа налево. Выражение является синтаксически связным, если в результате сокращения остается одна дробь вида α/β ι... βι;, где k S» 0. Такое сокращение означает, что выражение до конца членится по схеме: функтор и его аргументы.

-.fo(cvr). s/ss s/ss s/ss ss = s; пропозициональная формула синтаксически связана.

(5+2)з7. s/ss n/nn im n— указанное сокращение не проходит, выражение не является синтаксически связанным, оно нарушает условие категориальной корректности.

Если в качестве исходной семантической категории принимать только категорию сингулярных термов (имен) — п, выражения категорий s/s, s/ss,... (логические связки) выступают как синкатегорематические термины, т. е. необозначающие выражения (номиналистический подход к истолкованию логических связок). Фактически такой подход имеет место, напр., у Г. Фреге в его трактовке логических связок.

Особую трудность представляет трактовка кванторов и операторов. Тип их значения (категория значения) выявляется, если наряду, с операцией приложения функторов к их аргументам в теории семантических категорий в качестве конструирующей операции вводится обратная ей операция абстракции (см. Смирнова Е. Д. Логика и философия. М., 1996, гл. 3).