предикат

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.