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

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

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

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

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

Прямое доказательство ведёт через рассмотрение оснований и через рассмотрение выводов, опирающихся на основания, к усмотрению истинности доказываемого тезиса. Схема этого вида доказательства: из данных оснований (а, b...) необходимо следуют положения (k, l...); из этих последних необходимо следует доказываемый тезис p. Так как все основания доказательства (а, b...) — истинны и так как логическая связь, ведущая от (а, b...) через (k, l...) к положению p, — правильная, то доказываемый тезис p — истинен.

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

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

Косвенное доказательство бывает или разделительным, или апагогическим.

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

Если, например, установлено, что имело место преступление, которое непосредственно могли совершить только лица А, В, С и D, и если, кроме того, установлено, что ни В, ни С, ни D непосредственно не совершили его, то тем самым доказано, что преступление непосредственно совершило лицо А.