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

Есть существенная разница в опровержении общих и частных высказываний. Для отрицания общих суждений достаточно одного единственного опровергающего их факта. Так, общее утверждение о том, что все лебеди белы, было опровергнуто первым же увиденным европейцами в Австралии лебедем черного цвета, потому что этот факт сделал истинным частноотрицательное суждение "Некоторые лебеди не являются белыми", каковое находится в отношении противоречия к общеутвердительному суждению, выражавшему первоначальное, неполное представление об этих птицах. То же самое было бы, если эти же знания европейцев выражались бы в отрицательной форме: "Ни один лебедь не является черным". Противоречащим ему является частноутвердительное суждение "Некоторые лебеди черные", и оно доказывается обнаружением хотя бы одного из них.

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

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

В художественно-публицистической литературе существует стиль изложения, называемый романтической (сократовской) иронией, который тоже представляет собой род опровержения в специфическом виде. Сократ относился к числу тех людей, которые до страсти любят спорить; он мастерски владел приемами спора, в том числе и сведением к абсурду утверждений оппонента. Соглашаясь на время со словами своего собеседника, он не забывает отметить, что они небезосновательны, порой отвешивает комплименты за умение выдвигать оригинальные идеи. Делается как бы его единомышленником. Потом приглашает вместе с ним сделать выводы, провести сопоставления. А когда обнаруживается, что они неминуемо приводят к несуразным положениям, то сам же разводит руками: до чего же, мол, мы с тобой неряшливые мыслители, договорились до таких нелепостей. Романтическая ирония представляет собой разновидность критики, хотя внешне все высказывания звучат как одобрение. Просто такое "одобрение" провозглашается в таких нарочито напыщенных выражениях, что на самом деле воспринимается как насмешка. Преувеличенно помпезные эпитеты по поводу заурядных, а то и карикатурных сторон жизни, однозначно показывают настоящее отношение автора к разбираемым взглядам. В таком стиле написана, например, известная "Похвала глупости" Эразма Роттердамского. У Ф. Ницше очень многие фрагменты его сочинений и даже сами его идеи могут быть правильно поняты только с учетом его романтически-бунтарских увлечений.

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

Критика аргументов направлена на то, чтобы показать их несоответствие правилам, разработанным в логике для этого компонента доказательства (см. раздел "Правила по отношению к аргументам и их возможные нарушения"). Значит в ходе опровержения надо показать, что в доказательстве имеется либо логический круг, либо оно содержит ошибку предвосхищения основания, либо, когда аргументы ложны, оно впадает в основное заблуждение. Повторять то, что сказано в предыдущем разделе, нет необходимости. Можно лишь добавить, что доказательство ложности аргументов осуществляется теми же способами, которые используются при опровержении тезиса. Но поскольку аргументов может быть несколько, то к тем способам добавляется еще и проверка на совместимость их между собой - противоречат они друг другу или нет.

Критика демонстрации имеет целью выявить нарушения правил умозаключений, положенных в основу опровергаемого доказательства. Такая критика показывает, что тезис вовсе не вытекает из посылок (аргументов) и значит его нельзя признать доказанным.

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

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