Семантические категории
СЕМАНТИЧЕСКИЕ КАТЕГОРИИ - классы языковых выражений с одинаковым типом значений. Принятие той или иной системы С.к. соответствует допущению определенной теоретико-познавательной «сетки» логического анализа, которая определяет то, что называют «миром языка», его онтологией, указывает на то, о каком типе сущностей может идти речь в данном языке, какого рода абстракции и идеализации принимаются. Иерархия С.к., положенная в основу формализованного языка, обусловливает способ анализа логической формы его выражений и тем самым допустимые способы рассуждения. Теория С.к. может также служить базой для разработки определенной типологии самих языков.
Учение о С.к. восходит к Г. Фреге и особенно к Э. Гуссерлю, перекликается с теорией типов Б. Рассела. Наиболее интенсивную разработку это учение получило в польской школе логики (Ст. Лесневский, А. Тарский и др.). Систематическое построение теории С.к. было впервые осуществлено К. Айдукевичем.
С.к. образуют потенциально бесконечную и весьма разветвленную иерархию. Возможны различные системы С.к. в зависимости от того, какие категории принимаются за исходные и со всеми ли синтаксическими типами знаков сопоставляются С.к. Айдуке- вич в качестве исходных принимает категорию имен -пи категорию предложений — s, над которыми надстраивается бесконечная иерархия функторных категорий, различающихся числом и категориями аргументных выражений и категориями выражений, получающихся в результате приложения функторов к их аргументам. В методе индексации категорий функторных выражений, предложенном Айдукевичем, под чертой указываются категории аргументных выражений, над чертой — категория получаемого выражения. Так, s/s — категория унарной логической связки (например, отрицания), n/nn - кате-гория бинарного предметного функтора (например, «расстояние от... до...»), s/nnn — категория тернарного предикатора (например, «... находится между ... и ...»), (s/n)/(s/n) —
категория выражений «быстро», «очень» в контекстах вида «бежит быстро», «очень высокий». Метод индексации дает простую процедуру установления категориальной структуры и правильной построенности (синтаксической связности) выражений языка. Указанный подход позволяет анализировать и устанавливать категории достаточно сложных выражений и операторов.
При последовательном проведении номиналистического подхода в логике и логи-ческой семантике в качестве исходной выбирают только категорию имени. В этом случае логические связки трактуются как необозначающие (синкатегорематические) выражения.
В современной логической семантике проводится разграничение стабильных и контекстно зависимых значений языковых выражений. Для формализованных языков, где правила интерпретации приписывают заданным в синтаксисе категориям знаков определенные значения, справедлив так называемый основной принцип теории С.к.: достаточным условием принадлежности двух выражений к одной С.к. является наличие предложения, которое содержит одно из них и остается предложением при замене этого выражения на другое. Принятие данного принципа предполагает, что каждое выражение языка принадлежит к одной и только к одной С.к. независимо от контекстов употребления, тем самым выражения языка разбиваются на непересекающиеся классы.
В естественном языке, где приходится различать два плана значений — значения, связанные с референциальным аспектом языка, и контекстно зависимые значения, — принятие основного принципа теории С.к. представляется сомнительным. Одно и то же слово в разных контекстах употребления может репрезентировать разные типы сущностей (например, термин «мать» в предложении «Анна — мать Петра» естественно рассматривать как знак бинарного отношения, а в предложении «Анна — мать» — как знак свойства). Принятие основного принципа теории'С.к. означало бы рассмотрение этих терминов как двух различных языковых выражений. В противном случае принадлежность слова к различным С.к. в разных контекстах приводит к выводу о его семантической неоднозначности.
Новым этапом в разработке теории С.к. стало ее представление в виде особых логических исчислений (И. Ламбек), в которых процедуре установления категориальной структуры предложений сопоставляется логический вывод, а отдельным шагам выявления этой структуры — определенные правила вывода.
В настоящее время теория С.к. широко используется для анализа категориальной структуры выражений естественных языков (Р. Монтегю, И. ван Бентем, И. Лайонс, Д. Льюис, Р. Гич, И. Ламбек, М. Муртгат и др.).
Словарь философских терминов. Научная редакция профессора В.Г. Кузнецова. М., ИНФРА-М, 2007, с. 485-486.