GreatPhilosophy

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

Объектом внимания в этом случае являются положения, уже доказанные или кажущиеся таковыми. Опровержение имеет целью устранить их. С такой точки зрения доказательство и опровержение противонаправлены.

Правда, можно было бы учесть то обстоятельство, что когда опровержение является правильным, когда в итоге его проведения открывается ложность тех истин, которые считались доказанными, то в таком случае одновременно открывается, что и само прежнее доказательство не являлось таковым на деле. Значит и опровержение тогда надо признавать не умозаключением о доказательстве, а умозаключением об умозаключении, ошибочно принятом за доказательство. Опровержение как логическое действие с учетом таких обстоятельств полностью подпадает под определение доказательства и могло бы рассматриваться какой-то разновидностью его проверки. И оно вдобавок может подразделяться на те же виды, что и доказательства.

Опровержение - вид доказательного процесса, направленного на уже существующие доказательства для того, чтобы показать их несостоятельность.

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

Опровержение должно показать, что: 1) неправильно построено само доказательство (аргументы или демонстрация); 2) выдвину­тый тезис ложен или не доказан.

Суждение, которое надо опровергнуть, называется тезисом опровержения. Суждения, с помощью которых опровергается тезис, называются аргументами опровержения.

Существуют три способа опровержения: I) опровержение те­зиса (прямое и косвенное); II) критика аргументов; III) выявле­ние несостоятельности демонстрации.

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

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

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

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

В классической двузначной логике (как уже отмечалось) метод «сведения к абсурду» выражается в виде формулы: а = а -» F, где F — противоречие или ложь.

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

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

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