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

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

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

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

В классической двузначной логике (как уже отмечалось) метод «сведе­ния к абсурду» выражается в виде формулы:

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

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

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

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

II. Критика аргументов

Подвергаются критике аргументы, которые были выдвинуты оппонен­том в обоснование его тезиса. Доказывается ложность или несостоятель­ность этих аргументов.

Ложность аргументов не означает ложности тезиса: тезис может оставать­ся истинным:

а —> b, a

Вероятно, b

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