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

Поэтому первое условие, необходимое для безупречности доказательства, есть истинность тезиса по существу его содержания [10] . Разумеется, истинность тезиса до того, как он доказан, не видна, не усматривается нашей мыслью, но само соответствие тезиса действительности, пусть ещё не дошедшее до уяснения, непременно должно существовать, для того чтобы тезис вообще мог быть доказан.

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

10

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

Например, многие доказательства предложений, разработанные античными геометрами, оказались впоследствии недостаточно строгими. Особенно интересно то, что больше всего неточностей оказалось в доказательствах самых первых, элементарнейших предложений. Факт этот легко объясняется. Дело в том, что при доказательстве первых предложений античные геометры в ряде случаев полагались на наглядное представление (или, как иногда называют наглядное представление, на «интуицию»). Так, уже при доказательстве первого предложения первой книги «Начал» (о построении равностороннего треугольника на данной ограниченной прямой) Евклид прибегает для доказательства к построению двух пересекающихся окружностей. Однако, вместо того чтобы строго доказать возможность этой пересекаемости, он просто предполагает эту возможность, опираясь при этом на наглядное представление и не допуская, что оно может быть ошибочным. Пример этот у Евклида — не исключение. Согласно замечанию советского комментатора «Начал» Евклида профессора Д. Д. Мордухай-Болтовского, античные геометрические доказательства имеют настолько явный «полуинтуитивный характер», что из всех составных частей, на которые расчленяется античное геометрическое доказательство, «только один член относится к логической операции, все другие относятся к словесной форме или к чертежу» [11] .

11

Начала Евклида, книги I—VI, М.—Л. 1948, стр. 255.

Неудивительно поэтому, что в новое время, когда было выяснено, что не всякое наглядное представление безусловно истинно, для теорем, которые доказывались в античной геометрии ссылками на очевидность или наглядность, пришлось разработать более строгие и точные способы доказательства.

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

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

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

12

В. И. Ленин, Соч., т. 5, стр. 91.

2. Основания доказательства (аргументы)

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

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

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

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

а) Положения об удостоверенных фактах как основания доказательства

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

И напротив, доказать ложность положения во множестве случаев — значит удостовериться в фактах, противоречащих этому положению.

О значении фактов для доказательства не раз говорили корифеи мировой науки. «Факты.— писал академик И. П. Павлов,— это воздух учёного. Без них вы никогда не сможете взлететь. Без них ваши «теории» — пустые потуги» [13] .

И в этом же смысле В. И. Ленин говорил: «Точные факты, бесспорные факты — ...вот что особенно необходимо, если хотеть серьезно разобраться в сложном и трудном вопросе... Факты, если взять их в их целом, в их связи, не только «упрямая», но и безусловно доказательная вещь» [14] .

13

И. П. Павлов, Избранные произведения, Госполитиздат, 1949, стр. 50—51.

14

В. И. Ленин, Соч., т. 23, стр. 266.

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

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