В ряде частных случаев задача доказательства оказывается настолько сложной, что разрешение её требует от учёных огромных усилий на протяжении целых десятилетий или даже столетий. До сих пор не найдено доказательство теоремы Ферма о том, что уравнение xⁿ = yⁿ+zⁿ не может иметь решений для всех целых значений n больших дЕух. В течение почти двух с половиной тысячелетий оставалось недоказанным существование атома, пока успехи новейшей экспериментальной и теоретической физики не принесли, наконец, это доказательство. Гениальная догадка Джордано Бруно о существовании планет, обращающихся вокруг других звёзд, получила доказательное подтверждение только в последние десятилетия. Во всех этих случаях учёным пришлось приложить немало усилий для доказательства того, что могло быть доказано лишь при определённых условиях развития наблюдения, эксперимента и теоретического анализа.

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

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

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

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

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

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

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

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

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

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

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

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

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

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