ПРЕДИКАТ
Предикат
логическое сказуемое, указывающее на свойство предмета. Предикатами в широком смысле называются также отношения.
Предикат
Все, что утверждается относительно того или иного субъекта. Например, в таких высказываниях, как «Сократ – человек» или «Сократ гуляет», «человек» и «гуляет» суть предикаты.
Источник: Философский словарь.
ПРЕДИКАТ
элемент простого атрибутивного суждения, обозначающий какой-либо признак (свойство) его субъекта, или то, что говорится о субъекте. Предикат обозначается латинской буквой Р.
Источник: Краткий курс логики: глоссарий
Предикат
от лат. prardicatum — сказуемое) — то, что высказывается о субъекте (т. е. о его свойстве) либо об отношении (о свойстве нескольких предметов); в языкознании — сказуемое, в основном в его содержательном аспекте, например, «материя протяженна».
Предикат
(от лат. praedicatum – сказанное) – признак, отражающий какое-либо свойство, которое, в свою очередь, фиксирует определенное соотношение одного сущего с другим. Непредикативный способ существования присущ только трансцендентной реальности, где соотношение с другим заменено соотношением с самим собой (самотождественностью).
ПРЕДИКАТ
лат. praedicatum) – в традиц. логике один из двух терминов суждения, а именно тот, что "сказывается" (говорится) о другом, о т.н. предмете речи (субъекте). О совр. трактовке понятия П. см. ст. Суждение. См. также ст. Функция, Предикатов исчисление, Предикатов классификации, Рекурсивные функции и предикаты и лит. к этим статьям.
Источник: Философская Энциклопедия. В 5-х т.
ПРЕДИКАТ
(лат. praedicatum — сказуемое) — в узком смысле: то же, что свойство; в широком смысле: отношение, т.е. свойство неск. предметов. В логике: пропозициональная функция, т.е. выражение с неопред. терминами (переменными), при выборе конкретных значений для этих терминов преобразующееся в осмысленное (истинное или ложное) высказывание. Исчисление П. — раздел матем. логики — совокупность логико-матем. исчислений, формализующих те разделы совр. логики, в к-рых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. Б.Н.Махутов
Источник: История и философия науки. Энциклопедический словарь
ПРЕДИКАТ
(Prädikat; лат.) — то, что высказывается о субъекте; предикативное высказывание — высказывание, содержащее предикат: «материя протяженна»; в логических формулах обозначается буквой Р Предикативное мышление — специфика рационального мышления, которое может схватывать не сам субъект, но только его предикаты. Так, например, определение есть перечисление принадлежащих вещи предикатов, но никогда не достигает самого носителя этих предикатов. В качестве аналогии с отношением субъекта и объекта рассматривают отношения Я и психических актов Я, народа и форм проявления объективного духа и т. д. Совокупность предикатов данного есть то, что может быть в рациональной форме высказано о данном. О предикаторах и исчислении предикатов см. Логистика.
Н. Rickert. Die Logik des P.s, 1930; F. v. Kutschera. Elementare Logik, 1967; F. v. Kutschera, A. Breitkopf. Einf. in die moderne Logik, 1970; W. Carl. Existenz und P.ion, 1974; E. Tamm. Leere und mehrdeutige Namen in der klassischen Prädikatenlogik, 1983; T. Bücher. Einf. in die angewandte Logik, 1987.
Н. Rickert. Die Logik des P.s, 1930; F. v. Kutschera. Elementare Logik, 1967; F. v. Kutschera, A. Breitkopf. Einf. in die moderne Logik, 1970; W. Carl. Existenz und P.ion, 1974; E. Tamm. Leere und mehrdeutige Namen in der klassischen Prädikatenlogik, 1983; T. Bücher. Einf. in die angewandte Logik, 1987.
Источник: Философский словарь [Пер. с нем.] Под ред. Г. Шишкоффа. Издательство М. Иностранная литература. 1961
ПРЕДИКАТ
от лат. praedicatum - сказанное)
- языковое выражение, обозначающее какое-то свойство или отношение. П., указывающий на свойство отдельного предмета (напр., "быть зеленым"), называется одноместным. П., обозначающий отношение, называется двухместным, трехместным и т. д., в зависимости от числа членов данного отношения ("любит", "находится между" и т. д.).
В традиционной логике П. понимался только как свойство, предикативная связь означала, что предмету (субъекту) присущ определенный признак. Это ограничение существенно ослабляло выразительные возможности языка логики. В частности, в системах аксиом математических теорий всегда имеются аксиомы, невыразимые посредством одноместных П.
В современной логике предикация рассматривается как частный случай функциональной зависимости. П. называются функции, значениями которых служат высказывания. Напр., выражение "... есть зеленый" (или "х есть зеленый") является функцией от одной переменной, "... любит..." ("х любит у") - функция от двух переменных, "...находится между... и..." ("х находится между у и z") ~ функция от трех переменных и т. д. Эти выражения превращаются в высказывания при соответствующей подстановке имен вместо переменных или при связывании переменных кванторами (см.: Логика предикатов).
- языковое выражение, обозначающее какое-то свойство или отношение. П., указывающий на свойство отдельного предмета (напр., "быть зеленым"), называется одноместным. П., обозначающий отношение, называется двухместным, трехместным и т. д., в зависимости от числа членов данного отношения ("любит", "находится между" и т. д.).
В традиционной логике П. понимался только как свойство, предикативная связь означала, что предмету (субъекту) присущ определенный признак. Это ограничение существенно ослабляло выразительные возможности языка логики. В частности, в системах аксиом математических теорий всегда имеются аксиомы, невыразимые посредством одноместных П.
В современной логике предикация рассматривается как частный случай функциональной зависимости. П. называются функции, значениями которых служат высказывания. Напр., выражение "... есть зеленый" (или "х есть зеленый") является функцией от одной переменной, "... любит..." ("х любит у") - функция от двух переменных, "...находится между... и..." ("х находится между у и z") ~ функция от трех переменных и т. д. Эти выражения превращаются в высказывания при соответствующей подстановке имен вместо переменных или при связывании переменных кванторами (см.: Логика предикатов).
Источник: Словарь по логике
ПРЕДИКАТ
от позднелат. praedicatum - сказанное), логич. сказуемое, указывающее - в узком смысле - на свойство отд. предмета (напр., «быть человеком»); в широком смысле - на свойство пары, тройки, вообще nки предметов, напр. «быть родственником». П. в широком смысле наз. также отношениями. В аристотелевской и в последующей традиц. логике П. понимался только в узком смысле как один из двух терминов суждения - тот, в к-ром нечто говорится о предмете речи - субъекте. Ограничение логикой свойств в узком смысле существенно ослабляло «выразит. возможности» традиц. логич. языка и служило препятствием для адекватной формализации связей между предметами, к-рые лежат в основе умозаключений об отношениях. Более общая совр. трактовка П. связана с рассмотрением предикации как частного случая функциональной зависимости (Г. Фреге, 1879). При этом основой для распространения функциональной т. зр. на повествоват. формы выражений в естеств. и искусств. языках является наличие в них неопредел. терминов - неопредел. имен предметов: переменных (параметров) или слов, играющих роль переменных. В совр. логике пропозициональные выражения, содержащие переменные, получили назв. пропозициональных функций, или П. Как и числовые функции, П. являются соответствиями, но в отличие от числовых функций значения аргументов здесь не обязательно числовые, а значениями самих функций служат высказывания. В общем случае, отвлекаясь от к.-л. определ. языка и сохраняя только функциональную форму записи, П. от n переменных (от n неопредел. терминов) выражают формулой P(x1 ..., хп), где п? 0. При n = 0 П. совпадает с высказыванием, при n = 1 П. будет свойством в узком смысле (1-местным П.), при n = 2 - свойством «пары» (2-местным П., или бинарным отношением), при n = 3 - свойством «тройки» (3-местным П., или тернарным отношением) и т. д. Выражения: «х- человек», «х любит у», «х - сын у и z» служат соответственно примерами 1-местного, 2-местного и 3-местного П. Они преобразуются в высказывания при надлежащей подстановке, напр. «Сократ - человек», «Ксантиппа любит Сократа», «Софрониск - сын Сократа и Ксантиппы», или при связывании переменных кванторами. Об исчислении П. см. Логика предикатов.
Источник: Советский философский словарь
ПРЕДИКАТ
лат. praedicatum) — в традиционной логике один из двух терминов суждения, а именно тот, в к-ром что-то говорится о предмете речи (субъекте). До конца 19 в. в логике субъект суждения, как правило, отождествлялся с грамматическим подлежащим, а П.— с именной частью грамматического сказуемого, выражаемого, напр., прилагательным. Т. обр., форма сказуемого (предикативная связь) сводилась к атрибутивной связи, т. е. обозначала, что предмету (субъекту) присущ определенный признак. Развитие математической логики привело к пересмотру этой т. зр. Новый взгляд характеризуется обобщением понятия “П.” на основе понятия особого рода функции—логической (или пропозициональной) функции, значениями к-рой служат высказывания (или их истинностные значения — “истина” и “ложь”). Напр., высказыванию “Сократ есть человек” в традиционном понимании соответствовала схема “S есть Р”. Если S и Р рассматривать как переменные, имеющие различные области значений: S — область “индивидуальных предметов”, а Р — область “понятий”, то, напр., при выборе понятия “человек” в качестве значения переменной Р получим выражение “S есть человек”, или выражение “...есть человек” (где точки заменяют букву S), т. е., по существу, функцию от одной переменной, к-рая становится высказыванием (принимает значения “истина” или “ложь”), когда на место точек (или переменной S) ставят имя нек-рого субъекта (напр., “Сократ”), играющее здесь обычную роль аргумента функции. Аналогично этому выражение “...больше чем...” есть функция от двух переменных, а выражение “...находится между... и...” — функция от трех переменных и т. п. В математической логике функции, значениями к-рых служат высказывания (или их истинностные значения “истина” и “ложь”), и называют П. Т. обр., совр. взгляд на логическую структуру суждения сводится к тому, что традиционные понятия П. и субъекта заменяются соответственно на точные математические понятия функции и ее аргументов. В соответствии с этим П. определяются на множествах (областях предметов), элементы к-рых служат аргументами, или значениями соответствующих переменных. Новая трактовка П. придает необходимую общность логическому рассуждению, к-рое объединяет не только силлогистические, но и несиллогистические умозаключения, а функциональная форма записи открывает широкие возможности для формализации высказываний любой научной теории (см. также Функция. Исчисление предикатов).
Источник: Философский энциклопедический словарь
