Философский словарь
"КОНСТРУКТИВНАЯ ЛОГИКА"

Главная - Философский словарь - буква К - КОНСТРУКТИВНАЯ ЛОГИКА

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: КОНСТРУКТИВНАЯ ЛОГИКА

будет выглядеть так: Что такое КОНСТРУКТИВНАЯ ЛОГИКА

Философский словарь"КОНСТРУКТИВНАЯ ЛОГИКА"

Философский словарь
"КОНСТРУКТИВНАЯ ЛОГИКА"