Высказывание (логика): различия между версиями

75 байт добавлено ,  4 года назад
м (+шаблон: некорректные викиссылки в сносках)
 
== Формы высказываний ==
ВысказывательнойВ [[Логика предикатов|логике предикатов]] высказывательной формой (формой высказывания, [[предикат]]ом{{sfn|Войшвилло, Дегтярёв|2001|с=58—66}}) называется неполное логическое высказывание, в котором один из объектов заменён предметной переменной. При подстановке вместо такой переменной какого-либо значения высказывательная форма превращается в высказывание{{sfn|Чупахин, Бродский|1977|c=200—203}}. В качестве предметных переменных в естественном языке выступают [[Имя (логика)|общие имена]], представляющие [[Класс (логика)|классы]] предметов и заменяемые в формализованных языках специальными символами. Форма сходна с высказыванием, однако она не истинна и не ложна (неопределенно-истинна), поскольку неизвестно, к чему относится утверждение или отрицание{{sfn|Войшвилло, Дегтярёв|2001|с=58—66}}.
 
Форма высказывания требует дополнения, относится ли утверждение или отрицание в суждении ко всем или не ко всем предметам того класса, который представляет данное общее имя. Функцию таких указателей выполняют явно выраженные или подразумеваемые [[квантор]]ы. Нельзя оценивать как истинное или ложное такую высказывательную форму, как ''Человек — справедлив''. Приведенная фраза аналогична выражению ''y — справедлив''. Из указанной формы можно получить высказывание, заменив общее имя единичным: ''Иванов — справедлив'', или введя кванторы: ''Некоторые люди справедливы''. Высказывания, использующие кванторы, выражают множественные — общие и частные — суждения{{sfn|Войшвилло, Дегтярёв|2001|с=58—66}}.
Анонимный участник