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