Добро
пожаловать
на наш сайт
посвященный
философии
 
Философик

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

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