Предикат

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

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