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