конструктивный метод

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.