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