§ 30. Логическая истинность

§ 30. Логическая истинность

Суждение может иметь своим основанием другое суждение. Тогда его истинность логическая, или формальная. Имеет ли оно также и материальную истинность, остается нерешенным и зависит от того, обладает ли суждение, на которое оно опирается, материальной истинностью или сводится ли ряд суждений, на которое опирается это суждение, к суждению, обладающему материальной истиной.

Подобное обоснование суждения с помощью другого суждения происходит всегда посредством сравнения с ним; это совершается либо непосредственно, путем сопоставления, либо посредством противопоставления, либо, наконец, посредством привлечения третьего суждения, вследствие чего из отношения двух последних суждений друг к другу выясняется истина суждения, подлежащего обоснованию. Эта операция есть полное умозаключение. Оно достигается как противоположением, так и субсуммированием понятий. Поскольку умозаключение в качестве обоснования суждения с помощью другого суждения при посредстве третьего суждения всегда имеет дело только с суждениями, а они — только соединения понятий, которые есть единственный предмет разума, то построение умозаключений с полным основанием считается делом разума. Вся силлогистика — не что иное, как совокупность правил для применения закона основания к суждениям в их отношении друг к другу; следовательно, она — канон логической истинности.

Как обоснованные другим суждением следует рассматривать и те суждения, истинность которых явствует из четырех известных законов мышления; именно они — те суждения, из которых следует истинность первых суждений. Например, суждение «треугольник есть ограниченное тремя линиями пространство» имеет своим последним основанием закон тождества, т. е. выраженную им мысль. Суждение «нет тела непротяженного» имеет своим последним основанием закон противоречия. Суждение «каждое суждение либо истинно, либо не истинно» имеет своим последним основанием закон исключенного третьего. Наконец, суждение «никто не может принять что–либо за истину, не зная почему» имеет своим последним основанием закон достаточного основания познания. То, что при обычном использовании разума суждения, которые следуют из четырех законов мышления, признают истинными, не сводя их сначала к этим законам как их предпосылкам — ибо большинство людей никогда и не слышали об этих отвлеченных законах,— столь же не делает эти суждения независимыми от названных законов, как не становится независимым чье–либо суждение: «если отнять у этого тела опору, оно упадет» — от его предпосылки, т. е. от закона: «все тела стремятся к центру земли», только потому, что этот закон не присутствует в сознании выносящего данное суждение. Поэтому я не могу одобрить, что до сих пор в логике всем, основанным только на законах мышления, суждениям приписывалась внутренняя истинность, т. е. они объявлялись непосредственно истинными, и эту внутреннюю логическую истинность отличали от внешней логической истинности, которая якобы состоит в том, что основанием здесь служит другое суждение. Каждая истинность есть отношение суждения к чему–нибудь вне его, а внутренняя истинность — противоречие.