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

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 201.