Рассмотрим виды суждений.
Суждение о признаке предмета называется атрибутивным (категорическим), если в нем
отражается связь между предметом и его признаком, которая утверждается или отрицается.
Например: «Оплата труда зависит от качества работы», «Никто не может избежать ошибки».
Логическая схема атрибутивного суждения S — Р, где S — субъект суждения, Р — предикат
суждения, «—» — связка.
Существуют суждения, в которых предикат относится к нескольким субъектам, например: "Права
авторов, рационализаторов и изобретателей охраняются государством». Это суждение состоит их
трех простых: «Права авторов охраняются государством», «Права рационализаторов охраняются
государством», «Права изобретателей охраняются государством» (S1 есть Р, S2 есть Р, S3 есть Р).
Данные три суждения имеют один предикат, поэтому оно может рассматриваться как простое со
сложным субъектом: S (S1,S2, S3) есть Р.
Суждение об отношении между предметами называется суждением с отношением.
Как отношения здесь могут рассматриваться отношения равенства, неравенства, родства и др.
Например, «A равно В». Логическая схема суждения с отношениями: х R у (х находится в
отношении R к у), где х и у — члены отношения (понятия о предметах), R—отношение между
ними. Запись отрицательного суждения ~{хRу) (неверно, что х находится в отношении R к у).
Суждение с отношениями могут быть преобразованы в атрибутивные. Например, суждение «А
равно В» рассматривается как суждение, где А — субъект суждения, «равно В» — его предикат;
при этом равенство предмету В выступает как признак предмета А.
Выражение факта существования или несуществования предмета суждения отражается
в суждениях существования.
Например, «Нет жизни на Марсе», «Есть женщины в русских селеньях». Предикаты таких
суждений — понятия о существовании или несуществовании предмета.
По количественному показателю простые суждения делятся:
• на единичные;
• частные;
• общие.
Единичное суждение отражает единственный предмет
мысли.
Частное суждение отражает совокупность предметов, но
не всю, что подчеркивается квантором существования E:
«Некоторые S есть Р», «Встречаются такие S, которые есть Р». В количественном отношении
частные суждения неопределенны.