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