ОПРОВЕРЖЕНИЕ

 

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

Опровержение - это рассуждение, направленное против выдвинутого тезиса и имеющее целью установление его ложности или недоказанности.

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

Другой прием установления ложности тезиса - доказательство истинности его отрицания. Утверждение и его отрицание не могут быть одновременно истинными. Как только удается показать, что верным является отрицание тезиса, вопрос об истинности самого тезиса автоматически отпадает.

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

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

Если тезис выдвигается с каким-то обоснованием, операция опровержения может быть направлена также против обоснования. В этом случае нужно показать, что приводимые аргументы ложны или несостоятельны.

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

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

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

 

Юморист начала века В. Билибин так пародировал наивную веру в бескорыстие царских чиновников: «Если бы на свете не существовало солнца, то пришлось бы постоянно жечь свечи и керосин. Если бы пришлось постоянно жечь свечи и керосин, то чиновникам не хватало бы их жалованья и они брали бы взятки. Следовательно, чиновники не берут взяток потому, что на свете существует солнце».

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

 

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