Валентин Асмус - Учение логики о доказательстве и опровержении

То, что в аксиомах не следует видеть истины безусловно недоказуемые, было не раз показано классиками марксизма-ленинизма. Энгельс говорит, что, например, аксиомы математики «доказуемы диалектически, поскольку они не чистые тавтологии» [21] К. Маркс и Ф. Энгельс. Соч., т. XIV, стр. 398. . И точно также Ленин поясняет в конспекте «Науки логики» Гегеля, что фигуры силлогизма могли получить значение аксиом только после того, как значение это было доказано в миллиардах случаев опытом: «практическая деятельность человека миллиарды раз должна была приводить сознание человека к повторению разных логических фигур, дабы эти фигуры могли получить значение аксиом» [22] В. И. Ленин, Философские тетради, Госполитиздат, 1947, стр. 164. .

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

Все указанные выше требования, предъявляемые при выборе аксиом, имеют силу, разумеется, только в отношении тех наук, которые имеют в числе своих оснований аксиомы (постулаты) или, как говорят, допускают аксиоматическое построение. Таковы математика, теоретическая физика. Но существует обширный класс наук, в которых аксиоматическое построение неприменимо. В этих науках аксиомы (постулаты) не входят в число оснований науки» Такова, например, история.

В число оснований доказательств, кроме положений об удостоверенных фактах, на которые опирается доказываемый тезис, кроме определений основных понятий науки и аксиом, входят ещё доказанные ранее положения науки, необходимые для обоснования тезиса.

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

Рассматривая доказательство, нетрудно убедиться, что ранее доказанные положения, на которые опирается доказываемый тезис, используются в ходе доказательства либо непосредственным, либо опосредствованным образом.

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

Опосредствованным образом используются для доказательства те положения, на которые в самом ходе данного доказательства прямо не ссылаются, но при помощи которых были ранее доказаны непосредственные основания данного доказательства. Положения эти могут быть названы предшествующими основаниями доказательства. Так, для той же теоремы Пифагора одним из таких ранее доказанных, или предшествующих, оснований её доказательства будет 38-я теорема первой книги Евклида. Теорема эта утверждает, что треугольники, находящиеся на равных основаниях и между теми же параллельными, равны между собой. Эта теорема не входит в число непосредственных оснований доказательства теоремы Пифагора, так как в ходе этого доказательства Евклид на 38-ю теорему не ссылается. Но она входит в число оснований доказательства опосредствованным образом, будучи одним из оснований, при помощи которых была доказана 41-я теорема. А эта последняя есть, как мы уже знаем, одно из непосредственных оснований доказательства теоремы Пифагора.