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