Словари

Главная / Словарь логики / С / Семантическая Категория

Что такое Семантическая Категория? Значение и толкование слова semanticheskaja kategorija, определение термина

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Семантическое Понятие Истины -  - классическое поня­тие истины, уточненное с помощью технических средств логичес­кой семантики....
Семиотика -  - общая теория знаковых систем, к числу кото­рых относятся как естественные языки, так и...
Силлогизм - (от греч. sillogismos) категорический  - дедуктив­ное умозаключение, в котором из двух суждений,...
Символ - (от греч. symbolon — знак, опознавательная приме­та)  - идея, образ или объект, имеющий...
Символика Логическая -  - система знаков (символов), ис­пользуемая в логике для обозначения термов, предикатов, выска-...
Символическая Логика -  - одно из названий современного этапа в развитии формальной логики. Символы применял в ряде...
Символы Собственные И Несобственные -  - символы, получающиеся в результате разложения предложения или иного языкового выражения на...
Синкатегорематическое Выражение - см.: Символы соб­ственные и несобственные.
Синонимия -  — одно из важнейших понятий логической семан­тики, выражающее тождество значений языковых...