Основы теории аргументации: Учебник.

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

На этом основании античные математики, а вслед за ними и античные философы настаивали на исключительном использовании дедуктивных рассуждений.

Средневековые философы и теологи также переоценивали значение дедуктивной аргументации. Их интересовали самые общие истины, касающиеся бога, человека и мира. Но чтобы убедить кого-то, что бог есть в своей сущности доброта, что человек — его подобие и что в мире царит божественный порядок, дедуктивное рассуждение, отправляющееся от немногих общих принципов, подходит гораздо больше, чем индукция и эмпирическая аргументация. Характерно, что все предлагавшиеся доказательства существования бога замышлялись их авторами как дедукции из самоочевидных посылок.

Вот как, к примеру, звучал у Фомы Аквинского «аргумент неподвижного двигателя». Вещи делятся на две группы — одни только движимы, другие движут и вместе с тем движимы. Все, что движимо, приводится чем-то в движение, и, поскольку бесконечное умозаключение от следствия к причине невозможно, в какой-то точке мы должны прийти к чему-то, что движет, не будучи само движимо. Этот неподвижный двигатель и есть бог. Фома Аквинский приводил еще четыре доказательства существования бога, носившие опять-таки явно дедуктивный характер: доказательство первой причины, покоящееся снова на невозможности бесконечного умозаключения от следствия к причине; доказательство того, что должен существовать конечный источник всякой необходимости; доказательство того, что мы обнаруживаем в мире различные степени совершенства, которые должны иметь свой источник в чем-то абсолютно совершенном; доказательство того, что мы обнаруживаем, что даже безжизненные вещи служат цели, которая должна быть целью, установленной неким существом вне их, что лишь живые существа могут иметь внутреннюю цель [63] . Логическая структура всех этих доказательств очень неясна. И тем не менее в свое время они представлялись чрезвычайно убедительными.

63

См.: Рассел Б. История западной философии. — М., 1993. — T. 1. — С. 473.

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

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

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

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

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

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

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

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

Задача переопределения доказательства пока не решена ни логикой оценок, ни логикой норм. В результате понятие доказательства остается не вполне ясным по своему смыслу [64] .

Не существует, далее, единого понятия логического следования.

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

64

О попытках распространения понятия доказательства на случай нормативных утверждений см.: Ивин А,А. Логика норм. — М., 1973. — Гл. 1.

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

В частности, классическая логика говорит, что из противоречия логически следует все, что угодно. Например, из противоречивого утверждения «Токио — большой город, и Токио не является большим городом» следуют, наряду с любыми другими, утверждения: «Математическая теория множеств непротиворечива», «Луна сделана из зеленого сыра» и т.п. Но между исходным утверждением и этими, якобы вытекающими из него утверждениями нет никакой содержательной связи. Здесь явный отход от обычного, или интуитивного, представления о следовании. Точно также обстоит дело и с классическим положением, что логические законы вытекают из любых утверждений. Наш логический опыт отказывается признать, что, скажем, утверждение «Лед холодный или лед не холодный» можно вывести из утверждений типа «Два меньше трех» или «Аристотель был учителем Александра Македонского». Следствие, которое выводится, должно быть как-то связано по своему содержанию с тем, из чего оно выводится. Классическая логика пренебрегает этим очевидным обстоятельством.

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

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

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

Долгое время считалось, что математическое доказательство представляет собой ясный и бесспорный процесс. В нашем веке отношение к математическому доказательству изменилось. Математики разбились на группировки, каждая из которых придерживается своей версии доказательства. Причиной этого послужили несколько обстоятельств. Прежде всего, изменились представления о лежащих в основе доказательства логических принципах. Исчезла уверенность в их единственности и непогрешимости. Возникли также разногласия по поводу того, сколь далеко простирается сфера логики. Логицисты были убеждены, что логики достаточно для обоснования всей математики; по мнению формалистов, одной лишь логики для этого недостаточно и логические аксиомы необходимо дополнить чисто математическими; представители теоретико-множественного направления не особенно интересовались логическими принципами и не всегда указывали их в явном виде; интуиционисты из принципиальных соображений считали нужным вообще не вдаваться в логику. Подводя итог этому пересмотру понятия доказательства в математике, Р.Л.Уайлдер пишет, что математическое доказательство есть не что иное, как «проверка продуктов нашей интуиции... Совершенно ясно, что мы не обладали и, по-видимому, никогда не будем обладать критерием доказательства, не зависящим ни от времени, ни от того, что требуется доказать, ни от тех, кто использует критерий, будь то отдельное лицо или школа мышления. В этих условиях самое разумное, пожалуй, признать, что, как правило, в математике не существует абсолютно истинного доказательства, хотя широкая публика убеждена в обратном» [66] .

65

Pascal В. Oeuvres completes. — Paris, 1963. — Р. 358.

66

Wilder R.L. The Nature of Mathematical Proof / American Mathematical Monthly.
– 1944.
– V. 51.
– P. 320.

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

Математик не полагается на строгое доказательство в такой степени, как обычно считают. «Интуиция может оказаться более удовлетворительной и вселять большую уверенность, чем логика, — пишет М.Клайн. — Когда математик спрашивает себя, почему верен тот или иной результат, он ищет ответа в интуитивном понимании. Обнаружив непонимание, математик подвергает доказательство тщательнейшему критическому пересмотру. Если доказательство покажется ему правильным, то он приложит все силы, чтобы понять, почему интуиция подвела его. Математик жаждет понять внутреннюю причину, по которой успешно срабатывает цепочка силлогизмов... Прогрессу математики, несомненно, способствовали главным образом люди, наделенные не столько способностью проводить строгие доказательства, сколько необычайно сильной интуицией» [68] .

67

Клайн M. Математика. Утрата определенности. — M., 1984. — С. 361.

68

Там же.
– С. 362-363.

Таким образом, даже математическое доказательство не обладает абсолютной убедительностью и гарантирует только относительную уверенность в правильности доказанного положения. Как пишет К.Айдукевич, «сказать, что в дедуктивных науках обоснованными считаются такие утверждения, для которых приведено дедуктивное доказательство, значит мало что сказать, поскольку мы не знаем ясно, что представляет собой то дедуктивное доказательство, которое делает правомочным в глазах математика принятие доказанного утверждения или которое составляет его обоснование» [69] .

69

Аjdukiewicz К. Zagadnienie uzasadniania // Jjzyk a poznanie. — Warszawa, 1965.
– T. 1.
– S. 378-379.

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