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