Конструктивный

 (генетический) метод — один из способов дедуктивного построения научных теорий (дедуктивный метод). Идея К. м. возникла и была разработана (в работах Д. Гильберта, Л. Брауэра, А. Гейтинга, А. Н. Колмогорова, А. А. Маркова, П. Лоренцена и др.) как попытка преодоления трудностей аксиоматического обоснования математики и логики (напр., в целях ликвидации парадоксов теории множеств и т. д.). В отличие от аксиоматического метода при конструктивном построении теории пытаются свести до минимума исходные, недоказуемые в рамках этой теории, утверждения и неопределяемые термины. Осн. задача, к-рую должен выполнить К. м., состоит в последовательном конструировании (реально осуществляемом или возможном на основании имеющихся средств) рассматриваемых в системе объектов и утверждений о них. Задание исходных объектов теории и построение новых осуществляется с помощью совокупности специальных правил и определений. Все остальные утверждения системы получаются из исходного базиса с помощью специфической для конструктивных теорий техники вывода, основанной на принципе математической индукции. В настоящее время К. м. находит применение лишь в области формальных наук — с его помощью строятся конструктивные математика и логика. По-видимому, однако, нет оснований отвергать возможность приложения этого метода к построению и естественнонаучного знания.