Основное меню

конструктивная логика - в словаре-справочнике по философии.

Что такое конструктивная логика в философии?

конструктивная логика:

конструктивная логика (лат. constructio — построение) — направление в математической логике. начало развитию к. л. положено работами л. брауэра, г. вейля, а. рейтинга. осн. идея к. л. состоит в запрещении переносить на бесконечные множества принципы, верные для конечных множеств (напр., положение о том, что целое больше части, исключенного третьего закон и др.). различны т. зр. классической и к. л. на понятие бесконечности: первая рассматривает бесконечность как актуальную, завершенную, вторая — как потенциальную, становящуюся. для к. л. характерно также индуктивное построение (конструирование) объектов и логико-математических теорий в целом. исходя из принципов к. л., делаются попытки пересмотреть осн. результаты совр. математической логики и математики. большой вклад в развитие к. л. внесли гёдель, с. кли-ни, тьюринг, советские ученые а. н. колмогоров. а. а. марков, н. а. шанин.

Благодаря нашему философскому онлайн словарю Вы можете узнать точное определение термина конструктивная логика.