Словарь по логике

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

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


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