Наши партнеры
- языковое выражение, обозначающее какое-то свойство или отношение. П., указывающий на свойство отдельного предмета (напр., «быть зеленым»), называется одноместным. П., обозначающий отношение, называется двухместным, трехместным и т. д., в зависимости от числа членов данного отношения («любит», «находится между» и т. д.).
В традиционной логике П. понимался только как свойство, предикативная связь означала, что предмету (субъекту) присущ определенный признак. Это ограничение существенно ослабляло выразительные возможности языка логики. В частности, в системах аксиом математических теорий всегда имеются аксиомы, невыразимые посредством одноместных П.
В современной логике предикация рассматривается как частный случай функциональной зависимости. П. называются функции, значениями которых служат высказывания. Напр., выражение «... есть зеленый» (или «х есть зеленый») является функцией от одной переменной, «... любит...» («х любит у») — функция от двух переменных, «...находится между... и...» («х находится между у и z») ~ функция от трех переменных и т. д. Эти выражения превращаются в высказывания при соответствующей подстановке имен вместо переменных или при связывании переменных кванторами (см.: Логика предикатов).