Тема 3.2. Логические основы аргументации: доказательство и опровержение.

Доказательство – это логическая операция по обоснованию истинности суждений с помощью других истинных суждений. Тезис – это выдвинутое пропонентом суждение, которое он обосновывает в процессе аргументации. Тезис является главным структурным элементом аргументации и отвечает на вопрос: что обосновывают. Аргументы – это исходные теоретические или фактические положения, с помощью которых обосновывают тезис. Они выполняют роль основания, или логического фундамента аргументации, и отвечают на вопрос: чем, с помощью чего ведется, обоснования тезиса? Демонстрация – это логическая форма построения доказательства, которое, как правило, имеет форму дедуктивного умозаключения. Аргументация всегда должна быть истинной, в то время как заключение не всегда. Существует два вида доказательств: Прямые – тезис логически следует из аргументов. Непрямые (косвенные) – это такие доказательства, в которых истинность выдвигаемого тезиса обосновывается путём доказательства ложности антитезиса, они делятся на два вида: Доказательства от противного, осуществляется путём установления ложности суждения противоречащего тезису. Предполагается истинности антитезиса и из него выводится следствие, если хотя бы одно из полученных следствий противоречит либо посылке, или другому следствию, истинность которого уже установлена, то данное следствие, а за ним и антитезис предполагается ложным. Разделительные доказательства, метод исключения. Устанавливается ложность всех членов дизъюнкции, кроме одного, который является обоснованным тезисом. Как было сказано выше в любом доказательстве имеется три компонента: тезис, аргументы и демонстрация. В принципе строение доказательства повторяет структуру умозаключения. Там тоже имеется тезис, получаемый в виде вывода из посылок-аргументов, а само умозаключение в целом есть аналог демонстрации. Только в доказательстве демонстрация может представлять собой длинную цепь умозаключений, из которых слагается более или менее пространное рассуждение или, может быть, большая теорема.

Итоговое оценочное умозаключение может не высказываться прямо, а всего лишь подразумеваться, как это часто бывает со многими другими компонентами рассуждений. Но, по существу, оно всегда представляет собой условно-категорический силлогизм, уже известный нам modus ponens. Его первая, условная, посылка: если аргументы являются истинными суждениями, а умозаключение построено правильно, то тогда его вывод есть истинное (доказанное) суждение; вторая, категорическая: аргументы истинны, умозаключение правильно. Отсюда вытекает вывод о непреложной истинности тезиса. Таким образом, весь процесс доказательства в соответствии с его структурой распадается на три стадии: формулировка тезиса, подыскание аргументов, удовлетворяющих ряду специальных требований, и затем построение демонстрации и ее проверка. Можно выделить и еще одну, четвертую - образование оценочного условно-категорического силлогизма. Но его подготовка в любом случае растворяется в первых трех стадиях. Сам же modus ponens настолько прост, что после завершения работы на предыдущих стадиях его отдельная формулировка делается излишней. Результат проверки, конечно, может оказаться и отрицательным. Ведь нельзя исключать того, что доказательство проведено с ошибками. Тогда мы будем иметь дело уже с каким-нибудь вариантом опровержения. Приведем пример доказательства. Поль С. Брэгг высказал такой тезис: «Купить здоровье нельзя, его можно только зарабо­тать своими собственными постоянными усилиями». Этот тезис он обосновывает так: «Только упорная и настойчивая работа над собой позволит каждому сделать себя энергичным долгожителем, наслаждающимся бесконечным здоровьем. Я сам заработал здо­ровье своей жизнью. Я здоров 365 дней в году, у меня не бывает никаких болей, усталости, дряхлости тела. И вы можете добиться таких же результатов!»

Различают несколько видов аргументов:1. Удостоверенные единичные факты. К такого рода аргумен­там относится так называемый фактический материал, т. е. статистические данные о населении, территории государства, выполнении плана, количестве вооружения, свидетельские пока­зания, подписи на документах, научные данные, научные факты. Роль фактов в обосновании выдвинутых положений, в том числе научных, велика. Ценой десятков тысяч проведенных опытов, сбора научных фактов И. В. Мичурин создал стройную систему выведения новых сортов растений. Сначала он увлекся работами по акклиматизации изнеженных южных и западноевропейских плодовых культур в условиях средней полосы России. Путем гибридизации он сумел создать свыше 300 сортов плодовых и ягодных культур. Это яркий пример того, как подлинный ученый собирает и обрабатывает огромный научный фактический материал.2. Определения как аргументы доказательства. Определения понятий обычно даются в каждой науке. 3. Аксиомы. В математике, механике, теоретической физике, математической логике и других науках, кроме определений, вводят аксиомы. Аксиомы — это суждения, которые принимаются в качестве аргументов без доказательства.4. Ранее доказанные законы науки и теоремы как аргументы доказательства.2. Понятие опровержения.Вполне допустимо вкладывать в термин "доказательство" расширенный смысл, так что опровержение станет его разновидностью. В определенной мере это оправдано и часто делается. Потому что в результате опровержения тоже появляются какие-то твердо установленные истины, пусть даже их содержанием являются не сама внешняя реальность, не предметы или явления, а чьи-то высказывания, которым дается новая оценка. Опровержение тоже имеет три обычных компонента всякого доказательства: тезис, аргументы и демонстрацию. Вместе с тем и их различие тоже нельзя игнорировать. Ведь в то время, как доказательство есть умозаключение об умозаключении, опровержение, в отличие от него, представляет собой умозаключение о доказательстве. Объектом внимания в этом случае являются положения, уже доказанные или кажущиеся таковыми. Опровержение имеет целью устранить их. С такой точки зрения доказательство и опровержение противонаправлены.

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

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

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

1) неправильно построено само доказательство (аргументы или демонстрация);

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

Первая группа - правила и ошибки по отношении к тезису.1. Тезис в ходе всего опровержения (или доказательства) должен оставаться одним и тем же. Если это правило нарушается, возникает ошибка, носящая название “подмены тезиса” (ignoratio elechi). Суть ее в том, что опровергается (доказывается) не тот тезис, который намеривались опровергнуть (доказать). Особое проявление подмены тезиса заключается в ошибке, носящей название: “Кто слишком много доказывает, тот ничего не доказывает” (Qui nimium probat, nihil probat). Она возникает тогда, когда стараются доказать вместо выдвинутого тезиса более сильное утверждение, могущее быть ложным.2. Тезис должен быть ясным, не допускающим двусмысленности. Неясный по содержанию тезис не имеет никакой ценности, и следует требовать, например, в дискуссии, его уточнения.

Вторая группа - правила и ошибки по отношению к аргументу
1. Аргументы должны быть истинными. Нарушение этого правила влечет за собой ошибку под названием “ложный аргумент” или “основное заблуждение” (error fundamentalis). Данное правило вытекает из того известного обстоятельства, что при ложных посылках заключение может получаться ложным.
2. При опровержении (или доказательстве) нельзя использовать не только ложные, но и недоказанные аргументы. Если для опровержения или подтверждения тезиса приводятся аргументы, хотя и не являющиеся заведомо ложными, но ранее не доказанные как истинные, то совершается ошибка, которая носит общее название “предвосхищение основания” (petitio principii). Такую ошибку содержит опровержение или доказательство, опирающиеся, например, на гипотезы, не проверенные на практике и поэтому не могущие рассматриваться, как вполне достоверные утверждения. “Предвосхищение основания” часто встречается в спорах, дискуссиях и даже в печатных исследованиях в таком виде: за аргумент принимается такое положение, которое хотя и не равнозначно тезису, но истинность которого прямо зависит от истинности самого тезиса. Особым случаем “предвосхищение основания” является ошибка называемая “круг в доказательстве”. Суть ее состоит в том, что за аргумент принимают положение, которое как раз и требуется доказать. Это означает, что или аргумент равнозначен тезису, но только выражен другими словами, или он является прямым логическим следствием тезиса.