13. Распределенность терминов в суждении.

Формальнологический анализ этих суждений позволяет выявить некоторые структурные закономерности их, не зависящие от содержания суждений. Исходя из структуры общих (как утвердительного, так и отрицательного) суждений («Все S есть Р», «Все S не есть Р», или, что одно и то же, «Ни одно S не есть Р»), можно, не зная содержания, сказать, что их субъекты взяты в полном своем объеме (для отрицательного случая - в полном объеме исключаются из рассмотрения). В логике, понятие, взятое в полном своем объеме или в полном объеме исключающееся из рассмотрения, называется распределенным. Таким образом, общее закономерного характера положение для этих суждений формулируется так: субъекты общих суждений всегда распределены. Ясно, что субъекты частных суждений будут всегда нераспределены, ибо речь в них идет лишь о «некоторых S».

Что касается предикатов отрицательных суждений, то, раз они в полном объеме исключаются из рассмотрения - «не есть Р», «не суть Р», значит они всегда распределены. Предикаты же утвердительных суждений свою объемную характеристику проявляют нечетко. Учитывая своеобразие утвердительной связки, могущей выражать как тождество (когда S равно Р), так и подчинение, частичное совпадение (когда S есть только часть Р и когда Р есть только часть S), — приходится заключить: предикаты утвердительных суждений, как правило, нераспределены (взяты только в части своего объема). В тех же особых случаях, когда предикат подчиняется субъекту, т.е. объем его полностью входит в объем субъекта, или когда они тождественны по объему, тогда предикат утвердительных суждений может быть распределенным. Например. «Все квадраты — это ромбы с прямыми углами» или «Некоторые учащиеся — студенты».

14. Деление суждений по модальности.

Будем рассматривать необходимость, возможность и действительность. Необходимость безотносительна ко времени (прошлому, настоящему и будущему) и выразима в языке операторами "обязательно", "необходимо" и др. Действительность соответствует настоящему времени и подчеркивается связками "есть", "не есть", "суть", "не суть" и др. Возможность (проблематичность) допустима в любом времени и выразима операторами "возможно, было", "возможно, есть", "возможно, будет". Для интерпретации модальностей часто используют систему "возможных миров", один из которых соответствует действительности.

Суждения действительности — те, которые адекватно или неадекватно, но все равно категорично (что и выражается связками «есть», «не есть», «суть», «не суть» и др.) отражают настоящее. Суждения необходимости могут отражать прошлое, настоящее и будущее. Они выражаются оператором «необходимо», включенным в структуру суждения: «Необходимо, что S есть Р», «Необходимо, что кислород способствует горению», или «Кислород необходимо способствует горению», «Необходимо, что сумма внутренних углов треугольника на плоскости равна двум прямым» и т.п. Суждения возможности тоже отражают то, что могло быть в прошлом, может быть в настоящем или в будущем. Они выражаются с помощью оператора «возможно», «вероятно» и пр.: «Возможно, что S есть Р», «Вероятно, что завтра будет дождь», «Возможно, что он был обманут». Особую группу составляют суждения существования (экзистенциальные суждения), утверждающие существование того или иного предмета (явления, процесса): "Жизнь существует", "Солнце есть" и т.п.