Дедуктивная аргументация

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

Дедуктивная аргументация является универсальной, применимой во всех областях знания и в любой аудитории. «И если блаженство есть не что иное, как жизнь вечная, – пишет средневековый философ И.С.Эриугена, – а жизнь вечная – это познание истины, то блаженство – это не что иное, как познание истины». Это теологическое рассуждение представляет собой дедуктивное умозаключение, а именно силлогизм.

Удельный вес дедуктивной аргументации в разных областях знания существенно различен. Она очень широко применяется в математике и математической физике и только эпизодически в истории или эстетике. Имея в виду сферу приложения дедукции, Аристотель писал: «Не следует требовать от оратора научных доказательств, точно так же, как от математика не следует требовать эмоционального убеждения». Дедуктивная аргументация является очень сильным средством и, как всякое такое средство, должна использоваться узконаправленно. Попытка строить аргументацию в форме дедукции в тех областях или в той аудитории, которые для этого не годятся, приводит к поверхностным рассуждениям, способным создать только иллюзию убедительности.

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

Понятие дедукции является общеметодологическим понятием. В логике ему соответствует понятие доказательства.

 

Понятие доказательства

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

В доказательстве различаются тезис – утверждение, которое нужно доказать, и основание, или аргументы, – те утверждения, с помощью которых доказывается тезис. Например, утверждение «Платина проводит электрический ток» можно доказать с помощью следующих истинных утверждений: «Платина – металл» и «Все металлы проводят электрический ток».

Понятие доказательства – одно из центральных в логике и математике, но оно не имеет однозначного определения, применимого во всех случаях и в любых научных теориях.

Логика не претендует на полное раскрытие интуитивного, или «наивного», понятия доказательства. Доказательства образуют довольно расплывчатую совокупность, которую невозможно охватить одним универсальным определением. В логике принято говорить не о доказуемости вообще, а о доказуемости в рамках данной конкретной системы или теории. При этом допускается существование разных понятий доказательства, относящихся к разным системам. Например, доказательство в интуиционистской логике и опирающейся на нее математике существенно отличается от доказательства в классической логике и основывающейся на ней математике. В классическом доказательстве можно использовать, в частности, закон исключенного третьего, закон (снятия) двойного отрицания и ряд других логических законов, отсутствующих в интуиционистской логике.

По способу проведения доказательства делятся на два вида. При прямом доказательстве задача состоит в том, чтобы найти такие убедительные аргументы, из которых логически вытекает тезис. Косвенное доказательство устанавливает справедливость тезиса тем, что вскрывает ошибочность противопоставляемого ему допущения, антитезиса.

Например, нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из этих положений выводим, что сумма углов четырехугольника равна 360°. Еще пример. Нужно доказать, что космические корабли подчиняются действию законов космической механики. Известно, что эти законы универсальны: им подчиняются все тела в любых точках космического пространства. Очевидно также, что космический корабль есть космическое тело. Отметив это, строим соответствующее дедуктивное умозаключение. Оно является прямым доказательством рассматриваемого утверждения.

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

Поскольку косвенное доказательство использует отрицание доказываемого положения, оно является как говорят, доказательством от противного.

Допустим, нужно построить косвенное доказательство такого весьма тривиального тезиса: «Квадрат не является окружностью», Выдвигается антитезис: «Квадрат есть окружность», Необходимо показать ложность данного утверждения. С этой целью выводим из него следствия. Если хотя бы одно из них окажется ложным, это будет означать, что и само утверждение, из которого выведено следствие, также ложно. Неверным является, в частности, такое следствие: у квадрата нет углов. Поскольку антитезис ложен, исходный тезис должен быть истинным.

Другой пример. Врач, убеждая пациента, что тот не болен гриппом, рассуждает так. Если бы действительно был грипп, имелись бы характерные для него симптомы: головная боль, повышенная температура и т.п. Но ничего подобного нет. Значит, нет и гриппа.

Это опять-таки косвенное доказательство. Вместо прямого обоснования тезиса выдвигается антитезис, что у пациента в самом деле грипп. Из антитезиса выводятся следствия, но они опровергаются объективными данными. Это говорит, что допущение о гриппе неверно. Отсюда следует, что тезис «Гриппа нет» истинен.

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

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

Многие утверждения не являются ни истинными, ни ложными, лежат вне «категории истины», Оценки, нормы, советы, декларации, клятвы, обещания и т.п. не описывают каких-то ситуаций, а указывают, какими они должны быть, в каком направлении их нужно преобразовать. От описания требуется, чтобы оно соответствовало действительности. Удачный совет (приказ и т.п.) характеризуется как эффективный или целесообразный, но не как истинный. Высказывание, «Вода кипит» истинно, если вода действительно кипит; команда же «Вскипятите воду!» может быть целесообразной, но не имеет отношения к истине. Очевидно, что, оперируя выражениями, не имеющими истинностного значения, можно и нужно быть и логичным, и доказательным. Встает, таким образом, вопрос о существенном расширении понятия доказательства, определяемого в терминах истины. Им должны охватываться не только описания, но и оценки, нормы и т.п. Задача переопределения доказательства пока не решена ни логикой оценок, ни деонтической (нормативной) логикой. Это делает понятие доказательства не вполне ясным по своему смыслу.

Не существует, далее, единого понятия логического следования. Логических систем, претендующих на определение этого понятия, в принципе существует бесконечное множество. Ни одно из имеющихся в современной логики определений логического закона и логического следования не свободно от критики и от того, что принято называть «парадоксами логического следования».

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