Словарь логики

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