ПРЕДИКАТ

ПРЕДИКАТ (лат. praedicatum) — в традиционной логике один из двух терминов суждения, а именно тот, в к-ром что-то говорится о предмете речи (субъекте). До конца 19 в. в логике субъект суждения, как правило, отождествлялся с грамматическим подлежащим, а П.— с именной частью грамматического сказуемого, выражаемого, напр., прилагательным. Т. обр., форма сказуемого (предикативная связь) сводилась к атрибутивной связи, т. е. обозначала, что предмету (субъекту) присущ определенный признак. Развитие математической логики привело к пересмотру этой т. зр. Новый взгляд характеризуется обобщением понятия “П.” на основе понятия особого рода функции—логической (или пропозициональной) функции, значениями к-рой служат высказывания (или их истинностные значения — “истина” и “ложь”). Напр., высказыванию “Сократ есть человек” в традиционном понимании соответствовала схема “S есть Р”. Если S и Р рассматривать как переменные, имеющие различные области значений: S — область “индивидуальных предметов”, а Р — область “понятий”, то, напр., при выборе понятия “человек” в качестве значения переменной Р получим выражение “S есть человек”, или выражение “...есть человек” (где точки заменяют букву S), т. е., по существу, функцию от одной переменной, к-рая становится высказыванием (принимает значения “истина” или “ложь”), когда на место точек (или переменной S) ставят имя нек-рого субъекта (напр., “Сократ”), играющее здесь обычную роль аргумента функции. Аналогично этому выражение “...больше чем...” есть функция от двух переменных, а выражение “...находится между... и...” — функция от трех переменных и т. п. В математической логике функции, значениями к-рых служат высказывания (или их истинностные значения “истина” и “ложь”), и называют П. Т. обр., совр. взгляд на логическую структуру суждения сводится к тому, что традиционные понятия П. и субъекта заменяются соответственно на точные математические понятия функции и ее аргументов. В соответствии с этим П. определяются на множествах (областях предметов), элементы к-рых служат аргументами, или значениями соответствующих переменных. Новая трактовка П. придает необходимую общность логическому рассуждению, к-рое объединяет не только силлогистические, но и несиллогистические умозаключения, а функциональная форма записи открывает широкие возможности для формализации высказываний любой научной теории (см. также Функция. Исчисление предикатов).