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

одно из направлений современной логики, изучающее рассуждения о конструктивных объектах и процессах. Конструктивные объекты представляют собой или отдельные, ясно отличаемые друг от друга знаки, или последовательности таких знаков, получаемые посредством некоторого конструктивного процесса, протекающего по четким дискретным правилам. Примером конструктивного объекта могут служить легко отождествляемые и различаемые буквы к.-л. алфавита; конструктивный процесс - построение из них слов по однозначно определенным правилам. В конструктивном процессе используется абстракция потенциальной осуществимости, позволяющая отвлекаться от реальных конструктивных возможностей человека, связанных с ограниченностью его деятельности в пространстве и времени.Можно, напр., рассуждать о сколь угодно длинных, но конечных формулах, которые реально никогда не смогут быть записаны. Вместе с тем в таком процессе не используется абстракция актуальной бесконечности, когда невозможность

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

Ограничение рассуждений конструктивными объектами и процессами ведет к отказу от закона исключенного третьего в применении к бесконечным множествам. Отвергаются также закон снятия двойного отрицания (см.: Закон двойного отрицания), закон Клавия, некоторые варианты косвенного доказательства и др.

Термином "К. л." иногда обозначается интуиционистская логика. Чаще под К. л. понимается логическая теория, совпадающая по классу доказуемых формул с интуиционистской логикой, но не обращающаяся к представлению об "изначальной интуиции" и использующая при задании смысла логических операций понятие алгоритма и некоторые особые положения о конструктивных процессах (А. А. Марков, Н. А. Шанин и др.).

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