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

Нет описания правки
Логическое подлежащее — то, о чём говорится в предложении (высказывании){{sfn|Розенталь|1976|loc=статья «Логическое подлежащее»}}, то, к чему относятся содержащиеся в предложениях утверждения или отрицания{{sfn|Войшвилло, Дегтярёв|2001|с=58—66}}. Логическое сказуемое — содержащаяся в предложении (высказывании) информация о логическом подлежащем{{sfn|Розенталь|1976|loc=статья «Логическое сказуемое»}}.
 
Роль логических подлежащих играют простные и сложные [[Имя (логика)|имена]], роль логических сказуемых — [[Предикатор (логика)|предикаторы]] (или предикаты{{sfn|Бродский|1972|c=54}}). К последним относятся [[Свойство (логика)|свойства]] и [[Отношение (логика)|отношения]]{{sfn|Войшвилло, Дегтярёв|2001|c=58—66}}. Предикаторы выполняют роль предметно-истинностного отображения, давая предметам определенного класса оценку «истина» или «ложь». При этом свойства являются одноместными предикаторами, характеризуя один отдельный предмет, а отношения — многоместными, характеризуя пару, тройку и т.д. предметов{{sfn|Бродский|1972|c=54}}{{sfn|НФЭ|2010|loc=статья «Логика предикатов»}}. Само высказывание в случае с многоместным предикатором содержит несколько логических подлежащих{{sfn|Войшвилло, Дегтярёв|2001|с=68}}.
 
== Формы высказываний ==
 
Форма высказывания требует дополнения, относится ли утверждение или отрицание в суждении ко всем или не ко всем предметам того класса, который представляет данное общее имя. Функцию таких указателей выполняют явно выраженные или подразумеваемые [[квантор]]ы. Нельзя оценивать как истинное или ложное такую высказывательную форму, как ''Человек — справедлив''. Приведенная фраза аналогична выражению ''y — справедлив''. Из указанной формы можно получить высказывание, заменив общее имя единичным: ''Иванов — справедлив'', или введя кванторы: ''Некоторые люди справедливы''. Высказывания, использующие кванторы, выражают множественные — общие и частные — суждения{{sfn|Войшвилло, Дегтярёв|2001|с=58—66}}.
 
Формы высказываний могут содержать две и более предметные переменные. Такие формы высказываний определяют классы упорядоченных пар, троек, четвёрок и т.д. предметов, которые удовлетворяют или не удовлетворяют условиям формы высказывания. Например, с помощью формы ''x старше y'' из множества всех людей можно выделить класс упорядоченных пар, которые связаны [[Отношение (логика)|отношением]] ''старше''{{sfn|Чупахин, Бродский|1977|c=200—203}}. Высказывания, получающиеся из таких форм высказываний, выражают так называемые суждения об отношениях. Само высказывание в таком случае содержит несколько логических подлежащих{{sfn|Войшвилло, Дегтярёв|2001|с=68}}.
 
== См. также ==