Что такое Предикат? Значение и толкование слова predikat, определение термина
Предикат - (от лат. praedicatum - сказанное) - языковое выражение, обозначающее какое-то свойство или отношение. П., указывающий на свойство отдельного предмета (напр., «быть зеленым»), называется одноместным. П., обозначающий отношение, называется двухместным, трехместным и т. д., в зависимости от числа членов данного отношения («любит», «находится между» и т. д.). В традиционной логике П. понимался только как свойство, предикативная связь означала, что предмету (субъекту) присущ определенный признак. Это ограничение существенно ослабляло выразительные возможности языка логики. В частности, в системах аксиом математических теорий всегда имеются аксиомы, невыразимые посредством одноместных П. В современной логике предикация рассматривается как частный случай функциональной зависимости. П. называются функции, значениями которых служат высказывания. Напр., выражение «... есть зеленый» (или «х есть зеленый») является функцией от одной переменной, «... любит...» («х любит у») — функция от двух переменных, «...находится между... и...» («х находится между у и z») ~ функция от трех переменных и т. д. Эти выражения превращаются в высказывания при соответствующей подстановке имен вместо переменных или при связывании переменных кванторами (см.: Логика предикатов).
Посмотреть значение слова Предикат в других словарях:
Что означает термин ПРЕДИКАТ?Словарь иностранных словТолкование слова ПредикатФилософский словарьЧто такое Предикат?Энциклопедический словарьВозможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:
Предложение - - соединение слов, имеющее самостоятельный смысл, т. е. выражающее законченную мысль. Логика...Предметная Область - или: Универсум рассуждения, область теории, — множество объектов, рассматриваемых в пределах...Предпочтений Логика - - логика сравнительных оценок, выражаемых при помощи понятий «лучше», «хуже», «равноценно»,...Предсказание - — вывод о существовании неизвестных ранее фактов, объектов или их свойств, связей между...Прескриптивное Высказывание - см.: Нормативное высказывание.Приведение К Абсурду - или: Редукция к абсурду, приведение к нелепости (лат. reductio ad absurdum), — рассуждение,...Пример - — факт или частный случай, используемый в качестве отправного пункта для последующего обобщения...Принцип Взаимозаменимости - - один из трех основных принципов теории отношения именования (обозначения) Фреге — Рассела....Принцип Многозначности - - положение, в соответствии с которым всякое высказывание имеет одно (и только одно) из трех или...Принцип Объемности - (экстенсиональности) (от лат. extentio — протяжение) — принцип теории множеств, суть которого в...