Философский энциклопедический словарь

КОНСТРУКТИВНАЯ ЛОГИКА

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

  1. конструктивная логика—логика развиваемая в соответствии с принципами т. н. конструктивного направления См. Конструктивное направлениеem отличающимися требованием конструктивности возможности э...Большая Советская энциклопедия II
  2. конструктивная логика—раздел математической логики изучающий рассуждения о конструктивных объектахi и конструкциях. При таком понимании К. л. шире чем логика конструктивной математики. i Самое...Математическая энциклопедия
  3. конструктивная логика—constructive logic...Русско-английский технический словарь
  4. конструктивная логика—канструктыная логка...Русско-белорусский математический словарь
  5. конструктивная логика—logica costruttiva...Русско-итальянский политехнический словарь
  6. конструктивная логика—сындарлык логика...Русско-казахский терминологический словарь «Философия и политология»
  7. конструктивная логика—конструктивна логка...Русско-украинский политехнический словарь
  8. конструктивная логика—одно из направлений современной логики изучающее рассуждения о конструктивных объектах и процессах. Конструктивные объекты представляют собой или отдельные ясно отличаемы...Словарь логики
  9. конструктивная логика—КОНСТРУКТИВНАЯ ЛОГИКА одно из направлений современной логики изучающее рассуждения о конструктивных объектах и процессах. Конструктивные объекты представляют собой или о...Словарь по логике
  10. конструктивная логика—то же что и интуиционистская логика ветвь логики в крой изучаются финитные см. Финитизм рассуждения о конструктивных объектах и процессах см. Конструктивное направление ...Советский философский словарь
  11. конструктивная логика—КОНСТРУКТИВНАЯ ЛОГИКА то же что и интуиционистская логика ветвь логики в которой изучаются финитные см.em Финитизмem рассуждения о конструктивных объектах и процессах с...Философская энциклопедия
  12. конструктивная логика—от лат. constructio построение часть математич. логики соответствующая т.н. конструктивному направлению характерная особенность крого состоит в требовании конструктивно...Философская Энциклопедия (в 5 томах)
  13. конструктивная логика—КОНСТРУКТИВНАЯ ЛОГИКА от лат. constructio построение совокупность логических принципов признаваемых приемлемыми представителями конструктивизма emв математике. Предмето...Энциклопедия эпистемологии и философии науки