Читать «Введение в философию ненасильственного развития» онлайн - страница 27
Игорь Николаевич Острецов
Основным методом познания до конца девятнадцатого века был метод эмпирических индуктивных обобщений. Однако индукция, приводящая к формулировке закона природы или общества, неполна как в отношении исходных посылок, так и в отношении проверяемости вытекающих из него следствий. Практически в каждом случае «индуктивного открытия» основа индукции неадекватна реальности, находящейся за пределами эксперимента. Этот огрех основного материалистического метода прошлого этапа развития науки покрывается верой в то, что мир «в принципе» познаваем в результате бесконечного индуктивного процесса. Я прошу обратить внимание на то, что именно здесь, что называется, в логове матерого материализма, мы вынужденно столкнулись с термином «вера», с термином, в котором фиксируется последняя логическая возможность замкнуть построения обессилевшего рационального разума. Несмотря на уверенную браваду отцов-основателей и на упрямое начетничество современных последователей, мы имеем дело все-таки с
Перейдем теперь к
Под аксиомой понимается некоторое положение или ряд положений рассматриваемой теории, которые при ее дедуктивном построении не доказываются, а принимаются за исходные, используемые для доказательства других положений теории, называемых теоремами. Следовательно, аксиоматический метод так же построен на вере в некие истины, которые не могут быть доказаны рациональным способом. Главными областями применения аксиоматических методов сегодня являются математика и современная физика. Поскольку все остальные естественные науки, изучающие неживой мир, в конце концов, сводятся к двум названным, то можно говорить о том, что в основе современного естествознания лежит аксиоматический метод.
Этот метод с точки зрения его логической замкнутости обоснован гораздо лучше, нежели метод классического материализма, поскольку именно вопрос самодостаточности и полноты различных систем аксиом всегда, вот уже более двух тысяч лет, был его центральным пунктом. Первый принципиальный результат в этом направлении был получен Н. Лобачевским, когда ему удалось сформулировать логически последовательную геометрическую систему, отличную от геометрии Евклида. В полном виде проблема была решена в 1931 году Куртом Геделем, установившим, что всякая формальная непротиворечивая система рациональных утверждений неполна. Так называемая