Опровержение – это рассуждение, устанавливающее ложность или необоснованность тезиса.
В силу закона противоречия, согласно которому для любого высказывания А не может быть истинным одновременно А и ùА, доказательство А означает одновременно опровержение ùА. В силу закона исключенного третьего, согласно которому истинно А или ùА, опровержение А есть доказательство ùА. Это приводит к возможности употребления термина «доказательство» в широком и узком смысле:
— в узком смысле мы доказываем А и при этом опровергаем ùА;
— в широком смысле и то и другое есть доказательство: в одном случае — истинности А, в другом — истинности ùА или, что то же, ложности А. Иначе говоря, употребляя термин «доказательство» в широком смысле, мы не различаем доказательство и опровержение.
Выделяют три вида опровержения:
— опровержение тезиса;
— опровержение аргументов;
— опровержение демонстрации.
Опровержение тезиса – это рассуждение, устанавливающее ложность тезиса.
Результатом опровержения тезиса является признание его ложности. Это самый эффективный и самый трудный способ опровержения.
Опровержение тезиса проходит двумя способами:
— прямое доказательство антитезиса;
— сведение к абсурду.
Опровержение аргументов – это рассуждение, устанавливающее необоснованность тезиса путем доказательства ложности аргументов.
Опровержение аргументов происходит путем обоснования их ложности, поскольку из ложных посылок даже при правильном дедуктивном выводе может следовать ложное заключение.
Результатом опровержения аргументов является признание не ложности тезиса, а только его необоснованности. Опровержение аргументов показывает только то, что данной системы аргументов недостаточно для обоснования тезиса. Однако, например, в судебной практике этого достаточно для оправдания обвиняемого в силу презумпции невиновности.
Опровержение демонстрации – это рассуждение, устанавливающее ошибки в выведении тезиса из аргументов.
Таким образом, термин «опровержение» употребляется в двух смыслах:
1) как полное обоснование ложности некоторого высказывания;
2) как процедура выявления ошибочности построения некоторого доказательства или подтверждения (обоснования вообще) истинности или ложности некоторого утверждения.
Иногда процедура выявления ошибочности некоторого обоснования (второй вариант) называется критикой. В этом случае возникает необходимость различать: критику некоторого процесса обоснования и критику тезиса, который подлежит обоснованию. Критика некоторого процесса обоснования — это выявление ошибок в его построении. Она сводится к разбору возможных ошибок в доказательстве по отношению к тезису, аргументам и форме доказательства.