Виды косвенных доказательств

 

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

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

Ещё один путь – анализ самой логической структуры следствий антитезиса. Если в числе следствий встретились и утверждение, и отрицание одного и того же, можно сразу заключить, что антитезис неверен. Ложным будет он и в том случае, если из него выводится внутренне противоречивое высказывание о тождестве утверждения и отрицания.

Например, для косвенного доказательства тезиса «Феодализм РЅРµ обеспечивает подлинной справедливости РІ отношениях между людьми» выдвигается антитезис: «Феодализм обеспечивает реальную справедливость». Из последнего выводится как то, что РїСЂРё феодализме имеется равенство реальных политических Рё юридических прав, так Рё то, что такое равенство оказывается РІ значительной мере формальным, РЅРµ РіРѕРІРѕСЂСЏ уже Рѕ коренном неравенстве людей РїРѕ отношению Рє средствам производства. Раз РёР· антитезиса вытекают утверждение Рё отрицание РѕРґРЅРѕРіРѕ Рё того же, значит, РѕРЅ неверен, Р° правильным является противоположное утверждение – тезис.

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

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

Р’ романе И.РЎ.Тургенева В«РСѓРґРёРЅВ» есть такой диалог.

– Стало быть, по-вашему, убеждений нет?

– Нет – и не существует.

– Это ваше убеждение?

– Да.

– Как же вы говорите, что их нет? Вот вам уже одно на первый случай.

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

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

С помощью разделительного доказательства можно, к примеру, показать, что из всех латиноамериканских стран только в Бразилии господствующим языком является португальский. В качестве альтернатив выдвигаем утверждения, что в Аргентине говорят по преимуществу на португальском, что в Эквадоре говорят главным образом на этом языке, что в Венесуэле дело обстоит так же и т.д., перечисляя все государства Латинской Америки. Убеждаемся затем, что фактически в Аргентине, Венесуэле, Эквадоре и во всех других странах Южной Америки, исключая Бразилию, господствующим языком является испанский, а не португальский. Опровергнув все альтернативы, кроме одной, получаем доказательство исходного тезиса. Нужно заметить, что в ходе этого доказательства рассматриваются и по очереди опровергаются предположения, касающиеся всех латиноамериканских стран, исключая Бразилию. Вопрос, на каком языке говорит большинство бразильцев, вообще не поднимается. Ответ на него получается не прямо, а косвенным образом: путём показа того, что ни в одной другой стране рассматриваемого региона португальский язык не является господствующим. Это доказательство оказалось бы несостоятельным, если бы, допустим, выяснилось, что были перечислены не все латиноамериканские страны.

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

Опровержение

 

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

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

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

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

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

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

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

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

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

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

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

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

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