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