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

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

Доказательства делятся на виды в зависимости от: 1) цели доказательства, 2) способа доказательства и 3) роли опытных данных как оснований доказательства.

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

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

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

Так, если американская пропаганда силится доказать, будто США стоят за мир, то это лживое утверждение опровергается указанием на факты, противоречащие ему. Такими известными всему миру фактами являются: создаваемые американцами во всех частях света военные базы; отказ правительства США от встречи глав великих держав с целью обсуждения всех спорных вопросов, имеющих значение для ослабления международного напряжения; поддержка правящими кругами США реакционных сил во всех странах; засылка шпионов и диверсантов в страны демократического лагеря и т. д. и т. п. Здесь опровержение достигается путём сопоставления опровергаемого положения с положением об удостоверенных фактах.

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

Следует заметить, что опровержение того или иного суждения не зависит от того, будет ли противопоставляемое ему противоположное истинное суждение противоречащим или противным (контрарным)[23]. Так, положение о том, что «ни одно растение не питается животными», опровергается противопоставлением ему истинного положения о существовании растений, которые питаются или насекомыми, или рачками, личинками комаров, инфузориями и т. д. Здесь ложность опровергаемого общего суждения выводится из истинности противоречащего ему частного суждения.

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