Akademik

        (от позднелат. 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.

(от лат. praedicatum)

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

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

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