Основы теории аргументации

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

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

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

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

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

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

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

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

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

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

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

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