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

- класс языковых выражений, взаимная замена которых в предложении сохраняет его граммати­ческий статус, т. Е. Предложение остается предложением. Если, напр., в предложении «Волга впадает в Каспийское море» слово «Волга» мы заменим словом «Нева», то получим хотя и ложное, но все-таки предложение. Это означает, что слова «Волга» и «Нева» принадлежат одной С.к. Но если вместо слова «Волга» мы поставим слово «мень­ше», то у нас окажется бессмысленный набор слов, следовательно, слова «Волга» и «меньше» принадлежат разным С. К. Наиболее известную систему С. К. Разработал польский логик К. Айдукевич (1890—1963). Исходными категориями его системы яв­ляются категории собственных имен (n) и высказыва­ний (s). Предполагается, что каждое правильно построенное выра­жение языка может быть расчленено на функтор и его аргументы.

Категория функтора определяется как дробь, в знаменателе которой стоят категории аргументов, а в числителе - категория выражения, образующегося в результате сочленения функтора с аргументами. Напр., к какой С. К. Принадлежит одноместный предикат «...бел». Его единственным аргументом является некоторое имя, категория которого помещается в знаменателе дроби. В результате соединения предиката с именем получается предложение, категория которого  . Помещается в числителе дроби, получается . С. К. Двухместного пре­диката, скажем, «больше», будет выглядеть так. Логические связ­ки можно рассматривать как функторы, применяемые к предложе­ниям, причем в результате опять получается предложение. Т. О., кате­гория бинарной связки, скажем, «или», «если, то» и т.

П., будет выглядеть так. Теория С. К. Служит основой для классификации формализованных языков и определения важных семантичес­ких понятий, например понятия истины..