Важно уметь не только доказать правильное положение, но и опровергнуть ошибочное. Операция опровержения столь же распространенна, как и операция доказательства, и является как бы зеркальным отображением последней.
Опровержение — это рассуждение, направленное против выдвинутого тезиса и имеющее целью установление его ложности или недоказанности.
Наиболее распространенный прием опровержения — выведение из опровергаемого утверждения следствий, противоречащих истине. Хорошо известно, что если даже одно-единственное логическое следствие некоторого положения ложно, то ложным является и само положение.
Другой прием установления ложности тезиса — доказательство истинности его отрицания. Утверждение и его отрицание не могут быть одновременно истинными. Как только удается показать, что верным является отрицание тезиса, вопрос об истинности самого тезиса автоматически отпадает.
Достаточно, скажем, показать одного белого медведя, чтобы опровергнуть убежденность в том, будто медведи бывают только бурыми. Если утверждается, что у каждой планеты во Вселенной есть спутники, стоит указать одну планету без спутников (скажем, Венеру), чтобы опровергнуть это утверждение.
Эти два приема применимы для опровержения любого тезиса, независимо от того, снабжен он какими-то поддерживающими его аргументами или нет. Выведя из тезиса ложное следствие или показав истинность антитезиса, мы тем самым доказываем ложность тезиса. И какие бы аргументы ни приводились в защиту последнего, они не составят его доказательства. Доказать можно только истинное утверждение; доказательств ложных утверждений не существует.
Если тезис выдвигается с каким-то обоснованием, операция опровержения может быть направлена также против обоснования. В этом случае нужно показать, что приводимые аргументы ложны или несостоятельны.
Ошибочность аргументов выявляется так же, как и ошибочность тезиса: выведением из них следствий, оказывающихся в итоге несостоятельными, или доказательством утверждений, противоречащих аргументам.
Следует иметь в виду, что дискредитация доводов, приводимых в поддержку какого-то положения, не означает еще неправильности самого этого положения. Утверждение, являющееся по сути дела верным, может отстаиваться с помощью случайных или слабых аргументов. Выявив это, мы показываем именно ненадежность предполагаемого обоснования, а не ошибочность опирающегося на него утверждения. Неопытный спорщик, как правило, отказывается от своей позиции, как только обнаруживается, что приводимые им в ее поддержку доводы не особенно убедительны. Нужно однако помнить, что правильная в своей основе идея иногда подкрепляется — особенно если она новая — не очень надежными, а то и просто ошибочными соображениями. Когда это выясняется, следует искать другие, более веские аргументы, а не спешить отказываться от самой идеи.
Опровержение может быть направлено, наконец, на саму связь аргументов и тезиса. В этом случае надо показать, что тезис не вытекает из доводов, приведенных в его подтверждение. Если между аргументами и тезисом нет логической связи, то нет и доказательства тезиса с помощью приводимых аргументов. Из этого не вытекает, конечно, ни то, что аргументы ошибочны, ни то, что тезис ложен.
...Юморист начала XX века В.Билибин так пародировал наивную веру в бескорыстие царских чиновников: "Если бы на свете не существовало солнца, то пришлось бы постоянно жечь свечи и керосин. Если бы пришлось постоянно жечь свечи и керосин, то чиновникам не хватало бы их жалованья и они брали бы взятки. Следовательно, чиновники не берут взяток потому, что на свете существует солнце".
Понятно, что это рассуждение логически несостоятельно, его заключение не вытекает из принятых посылок. Солнце действительно существует, но наивно обосновывать с помощью подобных фактов бескорыстие чиновников.
Таковы, вкратце, главные логические аспекты проблемы доказательства.
Логическая культура предполагает не только умение рассуждать последовательно и доказательно, с соблюдением требований логики, но и способность обнаруживать в рассуждении логические ошибки и подвергать их квалифицированному анализу.
Такие ошибки многообразны по сути. Рассмотрим наиболее характерные и часто встречающиеся.
Доказательство представляет собой логически необходимую связь аргументов и выводимого из них тезиса. Ошибки в доказательстве подразделяются на относящиеся к аргументам, к тезису и их связи.
Ошибки в отношении аргументов. Наиболее частой является содержательная ошибка — попытка обосновать тезис с помощью ложных аргументов (посылок). Законы логики гарантируют истинное заключение, только когда все принимаемые посылки верны. Если хотя бы одна из них ошибочна, уверенности в истинности выводимого тезиса нет, а значит нет и доказательства. Неверное положение делает несостоятельным всякое доказательство, в котором оно используется.
...Предположим, кто-то рассуждает так: "Если в системе образования упор следует делать на связь с практикой, с ее проблемами, на повышение практической отдачи от занятий, то мировоззренческие и теоретические компоненты образования отходят на второй план; упор действительно должен делаться на связи с жизнью; значит, теоретическим выводам и положениям можно не уделять особого внимания". Сходное рассуждение стоит, как кажется, за настроением тех, кто склонен прагматизировать содержание учебы, подчинять это содержание изложению только прикладных советов и рекомендаций. Но очевидно, что приведенное рассуждение несостоятельно: первая его посылка неверна, допущена ошибка "ложного основания". Усиление связи образования с практикой вовсе не умаляет значения теории, если, конечно, сама теория не грешит схоластическим теоретизированием, отдаленностью от жизни. Как известно, нет ничего более практичного, чем хорошая теория.