I. Опровержение тезиса (прямое и косвенное)

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

1. Опровержение фактами — самый верный и успешный спо­соб опровержения. Ранее подробно говорилось о роли подбора фактов, о методике оперирования ими; все это должно учитывать­ся и в процессе опровержения фактами, противоречащими тезису. Должны быть приведены действительные события, явления, ста­тистические данные, результаты эксперимента, свидетельские по­казания, научные данные, которые противоречат тезису, т. е. опровергаемому суждению. Например, чтобы опровергнуть тезис «На Венере возможна органическая жизнь», достаточно привести такие данные: температура на поверхности Венеры 470—480 гра­дусов Цельсия, а давление 95—97 атмосфер. Эти данные свиде­тельствуют о том, что жизнь на Венере в известных нам формах невозможна.

2. Установление ложности (или противоречивости) следствии, вытекающих из тезиса. Доказывается, что из данного тезиса вытекают следствия, противоречащие истине. Этот прием назы­вается «сведение к абсурду» (reductio ad absurdum).

Как уже отмечалось, в классической двузначной логике метод сведения к абсурду выражается в виде формулы где

F — противоречие или ложь.

В более общей форме принцип сведения (приведения) к абсур­ду выражается такой формулой:

3. Опровержение тезиса через доказательство антитезиса. По отношению к опровергаемому тезису (суждению а) выдвигается противоречащее ему суждение (т. е. не-а)и суждение не-а (ан­титезис) доказывается. Если антитезис истинен, то тезис ложен, третьего не дано.

Например, надо опровергнуть широко распространенный те­зис «Все собаки лают» (суждение А, общеутвердительное). Для суждения А противоречащим будет суждение О — частноотрицательное: «Некоторые собаки не лают». Для доказательства по­следнего достаточно привести несколько примеров или хотя бы один пример: «Собаки у пигмеев никогда не лают». Итак, до­казано суждение О. В силу закона исключенного третьего если О истинно, то А ложно. Следовательно, тезис опровергнут.