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

Поиск по словарю

Философия: что такое конструктивная логика

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

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

Узнать значение "конструктивная логика" онлайн

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

Директ 1 блок