Советский философский словарь - предикат
Связанные словари
Предикат
предикат
(от позднелат. praedicatum сказанное), логич. сказуемое, указывающее в узком смысле на свойство отд. предмета (напр., «быть человеком»); в широком смысле на свойство пары, тройки, вообще nки предметов, напр. «быть родственником». П. в широком смысле наз. также отношениями. В аристотелевской и в последующей традиц. логике П. понимался только в узком смысле как один из двух терминов суждения тот, в к-ром нечто говорится о предмете речи субъекте. Ограничение логикой свойств в узком смысле существенно ослабляло «выразит. возможности» традиц. логич. языка и служило препятствием для адекватной формализации связей между предметами, к-рые лежат в основе умозаключений об отношениях. Более общая совр. трактовка П. связана с рассмотрением предикации как частного случая функциональной зависимости (Г. Фреге, 1879). При этом основой для распространения функциональной т. зр. на повествоват. формы выражений в естеств. и искусств. языках является наличие в них неопредел. терминов неопредел. имён предметов: переменных (параметров) или слов, играющих роль переменных. В совр. логике пропозициональные выражения, содержащие переменные, получили назв. пропозициональных функций, или П. Как и числовые функции, П. являются соответствиями, но в отличие от числовых функций значения аргументов здесь не обязательно числовые, а значениями самих функций служат высказывания. В общем случае, отвлекаясь от к.-л. определ. языка и сохраняя только функциональную форму записи, П. от n переменных (от n неопредел. терминов) выражают формулой P(x1 ..., хп), где п? 0. При n = 0 П. совпадает с высказыванием, при n = 1 П. будет свойством в узком смысле (1-местным П.), при n = 2 свойством «пары» (2-местным П., или бинарным отношением), при n = 3 свойством «тройки» (3-местным П., или тернарным отношением) и т. д. Выражения: «хчеловек», «х любит у», «х сын у и z» служат соответственно примерами 1-местного, 2-местного и 3-местного П. Они преобразуются в высказывания при надлежащей подстановке, напр. «Сократ человек», «Ксантиппа любит Сократа», «Софрониск сын Сократа и Ксантиппы», или при связывании переменных кванторами. Об исчислении П. см. Логика предикатов.
Рейтинг статьи:
Вопрос-ответ:
Что такое предикат
Значение слова предикат
Что означает предикат
Толкование слова предикат
Определение термина предикат
predikat это
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1816 | |
2 | 1431 | |
3 | 1240 | |
4 | 1171 | |
5 | 1158 | |
6 | 1114 | |
7 | 922 | |
8 | 847 | |
9 | 808 | |
10 | 780 | |
11 | 765 | |
12 | 750 | |
13 | 726 | |
14 | 715 | |
15 | 714 | |
16 | 697 | |
17 | 695 | |
18 | 672 | |
19 | 670 | |
20 | 656 |