Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки




А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

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

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


Источники:

  1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.





© Алексей Злыгостев, дизайн, подборка материалов, разработка ПО 2001–2017
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'
Сайт создан при помощи Богданова В.В. (ТТИ ЮФУ в г.Таганроге)