Виктор Канке - Философия

При аксиоматическом методе научная теория строится в виде системы аксиом и правил вывода, позволяющих путем логической дедукции получить утверждения (теоремы) данной теории. Аксиома — это положение, принимаемое без логического доказательства. Аксиомы не должны противоречить друг другу. Желательно, чтобы они не зависели друг от друга, что позволяет каждую аксиому анализировать отдельно и обстоятельно. Если аксиомы зависят друг от друга, то вся картина резко усложняется. Аксиоматическое построение теории кажется весьма привлекательным и строгим. Но и здесь есть трудности. К. Гедель доказал своими знаменитыми теоремами, что в непротиворечивой аксиоматической системе всегда находятся утверждения, которые не выводятся из аксиом. Чтобы эти утверждения доказать, необходимо ввести новые аксиомы и т. д. К тому же аксиоматический метод уж очень строг, его требования даже в математике, где он используется с наибольшим успехом, не всегда выполнимы. В теориях, степень математизации которых высока, обычно также стремятся к идеалам аксиоматического метода, но часто ограничиваются идеалами гипотетико-дедуктивного метода.

При гипотетико-дедуктивном методе построения теории исходят из гипотез обобщающей силы, из которых выводится все остальное знание. Разумеется, аксиоматический и гипотетико-дедуктивный методы очень похожи друг на друга. При желании аксиомы можно считать гипотезами, а гипотезы уподобить аксиомам. Тем не менее два рассматриваемых метода отличаются друг от друга Гипотетико-дедуктивный метод органичнее аксиоматического метода связан с эмпирическим уровнем исследования.

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

Что касается исторического хода событий, то для его понимания требуется развитая теория. Ссылка просто на исторический ход событий есть не более чем констатация эмпирических фактов, которые в научных исследованиях получают теоретическое обоснование. Историческое осмысливается теоретически. С другой стороны, развертка теории в соответствии с определенным методом часто дает указания на исторический ход событий. А. Фридман анализировал общую теорию относительности, и анализ показал, что Вселенная неустойчива и расширяется. Маркс выстраивал в последовательный ряд политэкономические понятия товар — деньги — капитал и не без оснований утверждал, что в истории развития экономических отношений капитал возник после денег, а деньги — после товара. Связь исторического с его теоретическим осмыслением в разнообразной литературе часто называют единством логического и исторического. Здесь не совсем кстати вместо термина "теоретическое" появился термин "логическое".

Логика — наука о способах доказательств, перехода от истинных суждений-посылок к истинным суждениям-следствиям. Логика изучает внутреннюю динамику развертывания теоретического знания. Можно сказать, что каждый теоретический метод имеет свою логику. Конечно же, теоретические методы не сводятся к логике, ведь логика фиксирует лишь правила перехода от одного знания к другому, но не природу самого этого знания. По крайней мере со времен Б. Рассела и Г. Фреге в науке то и дело безуспешно пытаются реализовать программу логицизма, сведения науки к логике. Значение логики трудно переоценить, особенно в наши дни, когда научное знание реализуется в разветвленной системе переходов. Эти переходы и описывают логицисты, стремясь в соответствии с известными идеалами современной науки к формализации и математизации логического знания. Само собой разумеется, что доказательства могут быть более или менее простыми, далеко не всегда они исчерпываются той логикой, которая характерна для аксиоматического, гипотетико-дедуктивного, конструктивистского методов. В самом широком плане доказательством является рациональное действие по обоснованию ценности одних высказываний с помощью других.