Формально это можно описать, обозначив раскрываемые понятия малыми латинскими буквами в скобках. Приписываемое содержание (признаки) обозначим большой буквой перед скобкой. Например, суждение: «четные числа (а) делятся на два (Р)» можно изобразить так: Р(а).
Тогда суждения существования будут изображаться: Р. Суждения свойства: Р(а). Суждения отношения: Р(а,Ь) и т.д.
Значения по объему могут выражаться специальными приставками — кванторами. Для всеобщих суждений — это квантор у (все), для частных 3 (некоторые).
Например, «все положительные числа больше отрицательных»:
у(а,Ь)Р(а,Ь).
Отсюда, кстати, еще раз видно, что характер, объем и истинность отношения понятий в суждении не содержатся в самих понятиях, а обусловливаются их связью, т.е. формой суждения. Потому-то их можно выразить отдельно, независимо от содержания понятий, из которых состоит суждение.
Подробным анализом этих отношений между понятиями, формулировкой правил для установления таких отношений и т.д. занимается логика.
Нас же здесь интересует другая сторона дела: психологическая суть этих отношений. Нетрудно заметить, что они соответствуют определенным отношениям множеств и операциям над ними. Так, например, несовместимость понятий носит тот же характер, что и исключение множеств. Равнозначность понятий отвечает тождеству, т.е. совпадению множеств; подчинение —включению, перекрещивание — частичному совпадению.
Однако здесь, на абстрактном уровне, мы имеем дело не с множествами реальных элементов, а с понятиями, т.е. идеальными объектами. Они, как мы видели, единичны и неделимы. Поэтому они не могут совпадать, включаться друг в друга и т.п. Соответствующие отношения реальных множеств отражаются на этом уровне как отношение равнозначности, рода и вида, противоречия, противоположности и т.д.
Итак, отношения понятий, устанавливаемые в суждениях, суть идеальные отражения определенных реальных отношений, существующих между множествами. Здесь, на теоретическом уровне, они выступают как отношения значений (равнозначность, противоречивость и т.д.), а не как отношения элементов множеств (совпадение, включение и т.д.).
До сих пор мы оставались строго в рамках абстрактного уровня и рассматривали только возможные отношения самих понятий в суждениях. Но установление некоторого отношения понятий представляет лишь средство, чтобы выразить определенные закономерности действительности, определенные реальные отношения свойств у вещей и явлений.
Таким образом, суждение относится уже к действительности. Оно может утверждать или отрицать действительные или, наоборот, несуществующие связи вещей и явлений. Эти возможные отношения суждения к реальности закрепляются в понятиях его истинности или ложности (двузначная логика), истинности — ложности — неопределенности (трехзначная логика), разных степеней вероятности истинности или ложности (многозначная логика) и т.д.
Далее в суждении закрепляется еще определенная дополнительная информация о характере утверждаемых (отрицаемых) им реальных связей и закономерностей, отношений и свойств.
Во-первых, это — информация о характере самого утверждения (отрицания). Просто допускаются (отвергаются) в нем данные свойства (или связь) объектов как возможные («существование жизни на Марсе возможно»), или фиксируются как существующие («вода образуется соединением двух молекул водорода и одной — кислорода»), или постулируются как необходимые («сумма углов треугольника в эвклидовой геометрии равна 180°»). Соответственно, по модальности суждения могут быть подразделены на суждения возможности, суждения действительности и необходимости.
Во-вторых, суждение содержит дополнительную информацию о характере утверждаемых (отрицаемых) связей. А именно, известно ли о них только то, что они существуют. Или известно, что они являются свойствами определенных объектов. Или утверждается (отрицается), что они представляют отношения объектов. Этот признак называют экзистенциальной характеристикой суждений. С точки зрения этого признака суждения, как мы видим, можно подразделить на: а) суждения существования («трансцендентные числа существуют»), б) суждения свойства («трансцендентные числа не могут быть выражены конечной последовательностью цифр»), в) суждения отношения («падение напряжения на любом участке в цепи постоянного тока пропорционально сопротивлению этого участка»).
Далее, в суждении может содержаться информация о реальном объеме утверждаемой связи: относится она ко всем объектам, подпадающим под данные понятия, или только к части их. По этому признаку суждения можно подразделить на частные («некоторые металлы тяжелее воды») и общие («все металлы электропроводны»).
Читать дальше