Форма категорических суждений
Согласно традиционной логической теории, все суждения можно разложить на субъект, предикат и связку, как с точки зрения их содержания, так и с точки зрения их объема. С одной стороны, может показаться, что в суждении «все вишни являются сладкими» признак «являться сладким» относится к группе признаков, определяющих природу вишен. С другой стороны, данное суждение означает, что объекты, называемые вишнями, включены в денотацию термина «сладкий»[12].
В традиционном подходе также выделяются и другие формы суждений, именуемые условными. Их обычно пытаются сводить к категорической форме. Ниже мы рассмотрим условные формы, равно как и прочие способы анализа суждений. На данном же этапе мы лишь отметим, что, согласно традиционному подходу, все суждения следует рассматривать в субъектно-предикатной форме, и только в ней[13].
Суждения, очевидным образом не выражающие субъектно-предикатную форму, в таком случае должны быть изменены так, чтобы эта форма в них проявилась. Суждение «Германия проиграла войну» должно быть выражено как «Германия есть проигравшая в последней войне», где субъектом является «Германия», предикатом – «проигравшая в последней войне», а связкой, разумеется, «есть». При анализе суждения «десять есть больше пяти» «десять» будет субъектом, «число большее, чем пять» – предикатом, а «есть» – связкой[14].
Вполне несложно выразить вербально в субъектно-предикатной форме любое суждение. Однако такое вербальное отождествление зачастую скрывает фундаментальные логические различия. Основой критики традиционной логики со стороны современной явилось указание на то, что традиционный подход приписывает единую (категорическую) форму суждениям, существенно различающимся по форме.
Читателю может быть невдомек, в чем значимость подобного спора о подходах к анализу суждений. Ответ прост. Анализ суждений осуществляется с целью выявления того, какие выводы можно обоснованно сделать, исходя из тех или иных суждений. Следовательно, если имеет место множественность форм суждений, а любая форма или структура детерминирует обоснованность умозаключения, то соответствующее усовершенствование анализа суждений может позволить нам достигнуть более точного понимания области возможных умозаключений.
Еще одна причина важности анализа структуры суждений заключается в стремлении выработать некие стандартные или канонические способы демонстрации того, что мы хотим утверждать. Мы хотим отыскать некие канонические формулировки суждений определенного типа, с тем чтобы ускорить процесс вывода. Так, в элементарной алгебре крайне удобно записать квадратное уравнение 5х2 = Зх – 5 в стандартной форме: 5х2