Читать «Истина и доказательство» онлайн - страница 12

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

Вплоть до конца девятнадцатого столетия понятие доказательства имело главным образом психологический характер. Доказательство было некоторой интеллектуальной деятельностью, целью которой было убеждение самого себя и других в истинности обсуждаемого предложения. На аргументы, применяемые при доказательствах, не накладывалось никаких ограничений, за исключением того, что они должны быть интуитивно убедительными. Однако в какой-то период начала чувствоваться необходимость подвергнуть понятие доказательства более глубокому анализу, который имел бы результатом ограничение ссылок на интуитивную очевидность в данном контексте. Это было, вероятно, связано с развитием некоторых специфических направлений в математике, в частности с открытием неевклидовых геометрий. Такой анализ был осуществлён логиками, начиная с Г. Фреге, что привело к введению нового понятия — понятия формального доказательства, которое оказалось адекватной заменой и существенным усовершенствованием старого психологического понятия.

Первый шаг к обеспечению математической теории понятием формального доказательства состоит в формализации языка этой теории, в том смысле, который уже обсуждался в связи с дефиницией истины. В результате формализации получаются формальные синтаксические правила, позволяющие, в частности, просто по виду выражений отделить предложения от таких выражений, которые предложениями не являются. Следующий шаг ― формулирование немногих правил доказательства (или вывода). Число правил доказательства невелико, и их содержание несложно. Интуитивно все эти правила доказательства представляются непогрешимыми в том смысле, что предложение, которое непосредственным образом выводится из истинных предложений с помощью какого-либо из этих правил, должно быть истинным само по себе. В действительности же оказывается, что непогрешимость правил вывода может быть установлена на основе адекватной дефиниции истины. Наиболее известным и важным примером правил доказательства является правило отделения modus ponens. Согласно этому правилу (которое в некоторых теориях является единственным правилом доказательства), предложение q непосредственно выводимо из данных предложений, если одно из них есть условное предложение вида «если p, то q», тогда как другое есть р (здесь p и q являются, как обычно, сокращенными обозначениями любых предложений формализованного языка).