В принципе можно было бы все косвенные доказательства рассматривать как одну разделительную разновидность, потому что и апагогическое тоже представляет собой, по сути дела, процедуру ис-ключения одной из двух альтернатив. Однако делать это все-таки не следует, так как в доказательстве от противного тезис и антитезис регулируются законом исключенного третьего в качестве противоречащих суждений. Тем самым автоматически выполняются условия правильного разделительно-категорического умозаключения. Когда же просто обсуждаются две возможные альтернативы (скажем, преступление могли совершить А или В), то тут эти условия сами собой не гарантируются. 4. Опровержение и его виды В поисках истины порой неизбежна критика устоявшихся взглядов, проверка и уточнение того, что считалось доказанным. Также и в споре сталкиваются разные мнения, при этом одни из них утверждаются, другие отбрасываются как ложные. Опровержение направлено на разрушение уже проделанных доказательств. Оно показывает, что то или иное из них не удовлетворяет строгим требованиям логики. Поэтому они подлежат уточнению или полной замене.

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

Критика тезиса. Этот вид опровержения направлен на доказательство ложности тезиса уже имеющегося доказательства и представляет собой наиболее сильное средство достижения соответствующей цели. Мало того, что в итоге положение, считавшееся истинным, теперь признается ложным, одновременно с этим неминуемо признание и того, что у опровергнутого доказательства ложны либо посылки (аргументы), либо демонстрация. В самом деле. Доказательство, как мы помним, представляет собой умозаключение об умозаключении по схеме modus ponens: если аргументы верны и демонстрация построена правильно, то тезис - истинное суждение. Ну, а коль опровержение доказало ложность тезиса (следствия в modus ponens), то согласно правилам условно-категорического силлогизма это позволяет от ложности следствия перейти к ложности основания - признать ложным сложное составное высказывание об истинности аргументов и демонстрации. Это и означает, что либо аргументы ложны, либо демонстрация не соответствует правилам.

Существуют три способа доказать ложность тезиса - фактами, сведением к абсурду, доказательством антитезиса (несовместимого с ним утверждения). Само собой понятно, фактами можно опровергнуть только эмпирически проверяемые утверждения. И надо помнить, что содержание фактов нередко зависит от их интерпретации, от угла зрения на них. Представьте себе директора предприятия, который отказывается вносить платежи на том основании, что у него нет средств для этого, хотя твердо знает, что в банке на счету предприятия имеется необходимая сумма. И допустим, далее, он не ведает, что банк совсем недавно лопнул, так что средств и на самом деле нет. Можно ли назвать такого директора обманщиком, имел ли место факт обмана с его стороны? В житейской практике мы все скажем, что такому человеку нельзя доверять как лгуну. В юридическом же смысле факта обмана не было. И попробуйте разобраться с истинностью утверждений, когда дело касается большой политики. Скажем, перед началом Великой Отечественной войны британский премьер-министр Черчилль в течение примерно года присылал Сталину предупреждения о готовящемся нападении Германии на СССР. Позднее Гитлер в самом деле начал войну против нашей страны. Казалось бы, развитие событий подтвердило слова британского лидера. Но. Теперь выясняется, что в то время, когда Черчилль слал Сталину свои предупреждения, последний благодаря разведке одновременно получал из Лондона буквально тонны секретных документов, и из них следовало, что Объединенный разведывательный комитет Великобритании на самом деле не ждет такого нападения (и отвергал таковое до самого 11 июня 1941 года). Более того, не имея фактических аргументов в пользу своих утверждений, Черчилль распорядился, чтобы британские спецслужбы подсунули советской разведке сфабрикованные данные на этот счет. Так что среди более чем восьмидесяти предупреждений о готовящемся нападении Германии на нашу страну, полученных советской разведкой, есть и три британские фальшивки. Мы приводим данные из книги о разведывательных службах СССР, написанной бывшим советским разведчиком Гордиевским, который с 1974 года стал работать на Англию и теперь живет там. В данном случае нас этот эпизод истории интересует только как своеобразная проблема: как оценить имеющиеся исторические факты - являются ли упомянутые послания Черчилля Сталину предупреждениями или их надо рассматривать как дезинформацию? В науке иногда проверка фактами заставляет ставить эксперименты. В них явление освобождается от посторонних влияний, предстает в чистом виде. Тем самым обеспечивается однозначность основанных на них выводов. Есть существенная разница в опровержении общих и частных высказываний. Для отрицания общих суждений достаточно одного единственного опровергающего их факта. Так, общее утверждение о том, что все лебеди белы, было опровергнуто первым же увиденным европейцами в Австралии лебедем черного цвета, потому что этот факт сделал истинным частноотрицательное суждение "Некоторые лебеди не являются белыми", каковое находится в отношении противоречия к общеутвердительному суждению, выражавшему первоначальное, неполное представление об этих птицах. То же самое было бы, если эти же знания европейцев выражались бы в отрицательной форме: "Ни один лебедь не является черным". Противоречащим ему является частноутвердительное суждение "Некоторые лебеди черные", и оно доказывается обнаружением хотя бы одного из них. Опровергать же фактами частные суждения труднее, поскольку тут надо обосновывать противоречащие им общие суждения, следовательно, перебирать весь массив обсуждаемых предметов. Предположим, что кому-то вздумалось утверждать, что существуют белые вороны ("Некоторые вороны белые"). Для доказательного опровержения подобной мысли понадобилось бы обосновать общеотрицательное суждение ("Никакая ворона не является белой"). Дать такое обоснование эмпирическим путем вряд ли возможно. Сведение к абсурду в большей мере используется как теоретический прием. В нем много сходства с доказательством от противного: тезис, который собираются опровергать, сначала принимают за истинный и затем по правилам логики извлекают из него следствия, пока не обнаружат противоречия фактам или общеизвестным истинам. Достаточно получить одно абсурдное утверждение, вытекающее из тезиса, и это дает основание считать тезис опровергнутым. В споре можно показывать несоответствие извлеченных выводов другим словам автора опровергаемого тезиса, так как этим будет обнаружено, что говорящий противоречит сам себе. В художественно-публицистической литературе существует стиль изложения, называемый романтической (сократовской) иронией, который тоже представляет собой род опровержения в специфическом виде. Сократ относился к числу тех людей, которые до страсти любят спорить; он мастерски владел приемами спора, в том числе и сведением к абсурду утверждений оппонента. Соглашаясь на время со словами своего собеседника, он не забывает отметить, что они небезосновательны, порой отвешивает комплименты за умение выдвигать оригинальные идеи. Делается как бы его единомышленником. Потом приглашает вместе с ним сделать выводы, провести сопоставления. А когда обнаруживается, что они неминуемо приводят к несуразным положениям, то сам же разводит руками: до чего же, мол, мы с тобой неряшливые мыслители, договорились до таких нелепостей. Романтическая ирония представляет собой разновидность критики, хотя внешне все высказывания звучат как одобрение. Просто такое "одобрение" провозглашается в таких нарочито напыщенных выражениях, что на самом деле воспринимается как насмешка. Преувеличенно помпезные эпитеты по поводу заурядных, а то и карикатурных сторон жизни, однозначно показывают настоящее отношение автора к разбираемым взглядам. В таком стиле написана, например, известная "Похвала глупости" Эразма Роттердамского. У Ф. Ницше очень многие фрагменты его сочинений и даже сами его идеи могут быть правильно поняты только с учетом его романтически-бунтарских увлечений.