Конструктивная логика (Фролов, 1991)

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

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