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

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

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

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

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

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

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

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

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