ЛОГИКА

Смысл этой формулы следующий. Каков бы ни был предмет нашей мысли (А), предмет этот либо обладает известным свойством (В), либо не обладает им. Невозможно, чтобы ложным было как то, что предмет А обладает свойством В, так и то, что предмет А не обладает этим свойством. Истина непременно в одном из двух противоречащих высказываний. Никакое третье высказывание об отношении А к В и к не-В не может быть истинным.

Закон достаточного основания

§ 24. Четвёртый логический закон мышления — закон достаточного основания. Закон этот выражает то качество логического мышления, которое называется доказательностью. Согласно этому закону для того, чтобы признать высказывание о предмете истинным, должно быть указано достаточное основание. Напротив, не удовлетворяющим закону достаточного основания будет всякое высказывание, в котором утверждение выставляется без указания достаточного основания, в силу которого утверждаемое утверждается.

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

Доказательность — очень важное условие правильного логического мышления. Огромное большинство истин, составляющих содержание науки, суть истины, обоснованные посредством доказательств. Даже такие истины, которые кажутся очевидными, «сами собой разумеющимися», математика всегда стремится, насколько это возможно, доказать, т. е. привести нас к непреложному сознанию их необходимости и истинности, связать эти истины логической связью с истинами, уже ранее ею доказанными или просто принятыми в качестве исходных положений (аксиом, постулатов). Так, например, геометр не просто утверждает, что всякий круг делится диаметром на две равные части: геометр доказывает это своё утверждение. Казалось бы, что тут доказывать? Достаточно взглянуть на круг, начерченный на доске с прямой, проходящей через его центр, чтобы убедиться в очевидной истинности этой теоремы. Но геометр не доверяет этой очевидности, так как он знает, что очевидность иногда нас обманывает. Если мы станем на полотно железной дороги и будем глядеть вдаль, то мы увидим, что по мере отдаления от нас к горизонту рельсы как будто сходятся в одну точку. Это очевидно, но обманчиво. На самом деле рельсы остаются параллельными на всём протяжении пути. Но если очевидность обманула нас в одном случае, где гарантия, что она не обманет нас и в других? Именно поэтому наука стремится, не полагаясь на простую очевидность, доказать, насколько это возможно, все свои положения. Наука не есть простая сумма истинных положений. Наука есть сумма истин, достаточно обоснованных, необходимо связанных между собой.

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

Название рассматриваемого четвёртого логического закона мышления — «закон достаточного основания» — не свободно от возражений. В философской литературе указывалось, что закон этот следовало бы называть проще — законом основания. В самом деле: обычное название противопоставляет достаточное основание основанию недостаточному. Однако недостаточное основание не есть, строго говоря, основание. Таким может быть только основание достаточное. Поэтому выражение «достаточное основание» заключает в себе плеоназм, т. е. неоправданное употребление в названии излишнего слова.