ПРЕДИКАТ

ПРЕДИКАТ

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

Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.

ПРЕДИКАТ

        (от позднелат. praedicatum — сказанное), логич. сказуемое, указывающее — в узком смысле — на свойство отд. предмета (напр., «быть человеком»); в широком смысле — на свойство пары, тройки, вообще n-ки предметов, напр. «быть родственником». П. в широком смысле наз. также отношениями. В аристотелевской и в последующей традиц. логике П. понимался только в узком смысле как один из двух терминов суждения — тот, в котором нечто говорится о предмете речи — субъекте. Ограничение логикой свойств в узком смысле существенно ослабляло «выразит. возможности» традиц. логич. языка и служило препятствием для адекватной формализации связей между предметами, которые лежат в основе умозаключений об отношениях. Более общая совр. трактовка П. связана с рассмотрением предикации как частного случая функциональной зависимости (Г. Фреге, 1879). При этом основой для распространения функциональной т. зр. на повествоват. формы выражений в естеств. и искусств. языках является наличие в них неопредел. терминов — неопредел. имён предметов: переменных (параметров) или слов, играющих роль переменных. В совр. логике пропозициональные выражения, содержащие переменные, получили назв. пропозициональных функций, или П. Как и числовые функции, П. являются соответствиями, но в отличие от числовых функций значения аргументов здесь не обязательно числовые, а значениями самих функций служат высказывания. В общем случае, отвлекаясь от к.-л. определ. языка и сохраняя только функциональную форму записи, П. от n переменных (от n неопредел. терминов) выражают формулой P(x1..., хп), где п? 0. При n = 0 П. совпадает с высказыванием, при n = 1 П. будет свойством в узком смысле (1-местным П.), при n = 2 — свойством «пары» (2местным П., или бинарным отношением), при n = 3 — свойством «тройки» (3-местным П., или тернарным отношением) и т. д. Выражения: «х— человек», «х любит у», «х — сын у и z» служат соответственно примерами 1-местного, 2-местного и 3-местного П. Они преобразуются в высказывания при надлежащей подстановке, напр. «Сократ — человек», «Ксантиппа любит Сократа», «Софрониск — сын Сократа и Ксантиппы», или при связывании переменных кванторами. Об исчислении П. см. Логика предикатов.

        Клаус Г., Введение в формальную логику, пер. с нем., М., 1960; Марков А. А., О логике конструктивной математики, М., 1972; Новиков П. С., Элементы математич. логики, ?., 19732; Клини С. К., Математич. логика, пер. с англ М., 1973.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

ПРЕДИКАТ

(от лат. praedicatum)

то, что высказывается о субъекте; предикативное высказывание – высказывание, содержащее предикат: «материя протяженна»; в логических формулах обозначается буквой Р. Предикативное мышление – специфика рационального мышления, которое может схватывать не сам субъект, но только его предикаты. Так, напр., определение есть перечисление принадлежащих вещи предикатов, но оно никогда не достигает самого носителя этих предикатов. В качестве аналогии с отношением субъекта и объекта рассматривают отношения Я и психических актов Я, народа и форм проявления объективного духа. Совокупность предикатов данного есть то, что может быть в рациональной форме высказано о данном. О предикаторах и исчислении предикатов см. Логистика.

Философский энциклопедический словарь. 2010.

ПРЕДИКА́Т

(лат. praedicatum) – в традиц. логике один из двух терминов суждения, а именно тот, что "сказывается" (говорится) о другом, о т.н. предмете речи (субъекте). О совр. трактовке понятия П. см. ст. Суждение. См. также ст. Функция, Предикатов исчисление, Предикатов классификации, Рекурсивные функции и предикаты и лит. к этим статьям.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.

ПРЕДИКАТ

    ПРЕДИКАТ — см. Логика предикатов.

Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001.