Предикат (Фролов, 1991)

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 359.