Это определение включает два центральных понятия логики: истина и логическое следование. Оба эти понятия не являются в достаточной мере ясными, и значит, определяемое через них понятие доказательства также не может быть отнесено к ясным.
Многие наши утверждения не являются ни истинными, ни ложными, лежат вне «категории истины». К ним относятся требования, предостережения и т.п. Они указывают, какой данная ситуация должна стать, в каком направлении ее нужно преобразовать. От описаний мы вправе требовать, чтобы они являлись истинными. Но удачный приказ, совет и т.д. мы характеризуем как эффективный или целесообразный, но не как истинный.
В стандартном определении доказательства используется понятие истины. Доказать некоторый тезис — значит логически вывести его из других, являющихся истинными положений. Но, как мы видим, есть утверждения, не связанные с истиной. Очевидно также, что, оперируя ими, нужно быть и логичным, и доказательным.
Таким образом, встает вопрос о существенном расширении понятия доказательства. Оно должно охватывать не только описания, но и утверждения типа оценок и норм.
Задача переопределения доказательства пока не решена ни логикой оценок, ни логикой норм. В результате понятие доказательства остается не вполне ясным по своему смыслу[64].
Не существует, далее, единого понятия логического следования.
Это понятие определяется через закон логики: из утверждения (или системы утверждений) А логически следует утверждение В в том и только том случае, когда выражение «если А, то В» представляет собой закон логики.
Это определение — только общая схема бесконечного множества возможных определений. Конкретные определения логического следования получаются из нее путем указания логической системы, задающей понятие логического закона. Логических же систем, претендующих на статус закона логики, в принципе бесконечно много. Хорошо известны, в частности, классическое определение логического следования, интуиционистское его определение, определение следования в релевантной логике и др. Однако ни одно из имеющихся в современной логике определений логического закона и логического следования не свободно от критики и от того, что можно назвать «парадоксами логического следования».
В частности, классическая логика говорит, что из противоречия логически следует все, что угодно. Например, из противоречивого утверждения «Токио — большой город, и Токио не является большим городом» следуют, наряду с любыми другими, утверждения: «Математическая теория множеств непротиворечива», «Луна сделана из зеленого сыра» и т.п. Но между исходным утверждением и этими, якобы вытекающими из него утверждениями нет никакой содержательной связи. Здесь явный отход от обычного, или интуитивного, представления о следовании. Точно также обстоит дело и с классическим положением, что логические законы вытекают из любых утверждений. Наш логический опыт отказывается признать, что, скажем, утверждение «Лед холодный или лед не холодный» можно вывести из утверждений типа «Два меньше трех» или «Аристотель был учителем Александра Македонского». Следствие, которое выводится, должно быть как-то связано по своему содержанию с тем, из чего оно выводится. Классическая логика пренебрегает этим очевидным обстоятельством.
Указанные парадоксы, касающиеся логического следования, имеют место и в интуиционистской логике. Но в последней не действует закон исключенного третьего, несомненный д ля классической логики. Отбрасывается также ряд других логических законов, позволяющих доказывать существование объектов, которые нельзя построить или вычислить. В число отвергаемых попадают, в частности, закон снятия двойного отрицания и закон приведения к абсурду, дающий право утверждать, что математический объект существует, если предположение о его несуществовании приводит к противоречию. Это означает, что доказательство, проведенное с использованием классической логики не обязательно будет считаться также доказательством с точки зрения интуиционистской логики.
Более совершенное, чем классическое и интуиционистское, описание логического следования было дано релевантной логикой. Ей удалось, в частности, исключить стандартные парадоксы логического следования. Предложены также многие другие теории логического следования. С каждой из них связано свое понимание доказательства.
Образцом доказательства, которому в той или иной мере стремятся следовать во всех науках, является математическое доказательство. «Нигде нет настоящих доказательств, — писал Б.Паскаль, — кроме как в науке геометров и там, где ей подражают»[65]. Под «геометрией» Паскаль имел в виду, как это .было обычным в его время, всю математику.
64
О попытках распространения понятия доказательства на случай нормативных утверждений см.: Ивин А,А. Логика норм. — М., 1973. — Гл. 1.