Война Святослава с хазарами

Помимо рассмотренных подходов, в научном познании существуют и иные методологические образования в рамках конкретных наук, тоже имеющие междисциплинарное значение в том или ином объеме. Назовем некоторые из них. (Синонимы: конструктивно-генетический, генетический; однако здесь следует остерегаться путаницы с терми­ном «генетический» как синонимом исторического подхода. К сожалению, понятие «генетический метод» употребляется в двух разных значениях.) В общем смысле это способ построения научной теории, при котором осуществляется непосредственное конструирование теоретических объек­тов. Здесь теория структурируется явно видимыми связями, когда одни объекты в ходе содержательных рассуждений как бы возникают из других. При этом исходная база для конструирования выступает не как аксиомати­чески полагаемая (т.е. абстрактная и не предполагающая наглядности), а как действительно существующая, как непосредственно данная, доступ­ная исследователю. Поэтому конструктивный способ развертывания тео­рии гораздо более нагляден и естествен, чем аксиоматический. Методоло­гический идеал этого подхода состоит в том, что научная теория должна представлять собой упорядоченную совокупность теоретических объектов, ни один из которых не проник в нее произвольно, но все они были сконст­руированы с помощью доступных ученому операций.

Действительно, естественно-научные теории в процессе своего непосред­ственного неформального развития включают не только гипотетико-дедуктивные моменты, но и конструктивные (что наиболее ярко выступает в про­цедурах определений и введений новых понятий, а также в моделирующих действиях — подробнее см. §4.1). Например, важную роль играет конструк­тивный способ в математике. Его последовательной реализацией является т.н. конструктивная математика, ведущая роль в создании которой принадле­жит отечественным ученым (А.Н. Колмогорову, АА Маркову, НА Шани­ну). В этом направлении существующими признаются только такие матема­тические объекты, которые могут быть построены фиксированным набором операций; конструктивные объекты гораздо более реализуемы, чем объекты классической математики. Так, скажем, из конструктивного доказатель­ства возможно извлечь компьютерную программу; эта идея является основанием плодотворного взаимодействия в последние десятилетия программирования и методов математической логики.