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