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

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

1. Опровержение фактами - самый верный и успешный способ опровержения. Ранее говорилось о роли подбора фактов,

216

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

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

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

=a→F,

^Df

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

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

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

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

____________________

'По материкам и странам. М., 1981. С. 79.

217

суждение О. В силу закона исключенного третьего, если О -истинно, то А - ложно. Следовательно, тезис опровергнут.