Учение логики о доказательстве и опровержении

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

Поэтому значение оснований доказательства факты получают только тогда, когда они берутся не изолированно, не поодиночке; такое значение факты могут иметь только при условии, если они рассматриваются в их связи и не сами по себе, а как носители общих законов, в этих фактах проявляющихся и ими управляющих.

б) Определения как основания доказательства

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

Но из того, что определения — в качестве определений — не доказываются, а просто формулируются, отнюдь не следует, будто определения принимаются произвольно или представляют простые «соглашения» относительно смысла тех или иных терминов. Чтобы определение было пригодным для науки, необходимо, чтобы определяемый предмет существовал в самой действительности. Поэтому и в математических науках, и в естествознании, и в науках общественных принятие определения всегда предполагает, что может быть доказано существование характеризованного посредством определения предмета. Условно лишь словесное обозначение предмета (свойства, явления, отношения), но не сам предмет как существующий в действительности. Существование же определяемого предмета может быть и должно быть доказано. Должно быть доказано также соответствие определения определяемому предмету.

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

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

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

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

Это правильное понимание задачи определения оснований доказательства хорошо сформулировал Паскаль. В небольшой работе «О геометрическом уме» (De l’esprit g'eom'etrique) Паскаль писал: «... порядок, совершеннейший у людей, состоит не в том, чтобы всё определять и всё доказывать, и не в том также, чтобы ничего не определять и ничего не доказывать; но в том, чтобы, держась среднего пути, не определять вещей, ясных и понятных всем людям, но определять все остальные, и не доказывать всех вещей, известных людям, но доказывать все остальные» [15] .

15

Blaise Pascalt Oeuvres compl`etes, tome troisi`eme, Paris 1903, p. 165.

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

в) Аксиомы и постулаты как основания доказательства

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

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

Так, доказательство теоремы евклидовой геометрии о равенстве суммы внутренних углов плоского треугольника двум прямым опирается не только на ранее доказанную теорему о равенстве суммы двух смежных углов двум прямым, но, кроме того, на теоремы о свойствах внутренних накрест лежащих и соответственных углов, которые в свою очередь опираются на положение, согласно которому через данную точку вне данной прямой в одной с ней плоскости можно провести одну — и притом только одну — прямую, которая ни при каком продолжении её в обе стороны от данной точки не пересечётся с данной прямой. Положение это уже не теорема, а аксиома (постулат). В «Началах» Евклида оно дано (в редакции, отличающейся от приведённой в тексте) в качестве 11-й аксиомы первой книги [16] .

16

Вот евклидовская редакция этой аксиомы: «И если прямая, падающая на две прямые, образует внутренние и по одну сторону углы, меньшие (в своей сумме.— В.А.) двух прямых, то продолженные эти две прямые неограниченно встретятся с той стороны, где углы (в своей сумме.— В. А.) меньшие двух прямых».

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

Аристотель, создавший не только науку логики в целом, но и разработавший, в частности, логическое учение о доказательстве, отличал аксиомы от другого вида недоказываемых наукой положений — от постулатов. Под аксиомами он разумел такие недоказываемые в данной науке положения, которые в сравнении с другими недоказываемыми положениями являются, во-первых, наиболее общими и, во-вторых, представляют необходимое условие доказательства. Так, в «Метафизике» (кн. III, гл. 2, 997а 5—13) Аристотель говорит, что «не может существовать доказательства для всего», что «все доказывающие науки применяют аксиомы» и что «аксиомы обладают наивысшей степенью общности и представляют начала всего» .

Под постулатами ( , буквально — «требования») Аристотель понимал такие положения, которые, безотносительно к их доказуемости, вводятся в начала науки без доказательства, хотя бы они представлялись учащемуся противными его мнению [17] . Именно потому, что постулат может быть противным мнению учащегося, он вводится в качестве требования: это — положение, которое должно быть принято для того, чтобы были приняты все вытекающие из него выводы.

Постулаты Аристотель отличал от аксиом, но не противопоставлял их аксиомам.

17

См. Аристотель, Аналитики Первая и Вторая, Госполитиздат, 1952, стр. 201.