Что такое Конструктивная Логика? Значение и толкование слова konstruktivnaja logika, определение термина
Конструктивная Логика - - одно из направлений современной логики, изучающее рассуждения о конструктивных объектах и процессах. Конструктивные объекты представляют собой или отдельные, ясно отличаемые друг от друга знаки, или последовательности таких знаков, получаемые посредством некоторого конструктивного процесса, протекающего по четким дискретным правилам. Примером конструктивного объекта могут служить легко отождествляемые и различаемые буквы к.-л. алфавита; конструктивный процесс — построение из них слов по однозначно определенным правилам. В конструктивном процессе используется абстракция потенциальной осуществимости, позволяющая отвлекаться от реальных конструктивных возможностей человека, связанных с ограниченностью его деятельности в пространстве и времени. Можно, напр., рассуждать о сколь угодно длинных, но конечных формулах, которые реально никогда не смогут быть записаны. Вместе с тем в таком процессе не используется абстракция актуальной бесконечности, когда невозможность полного обозрения к.-л. бесконечного образования не учитывается. Бесконечное множество, напр. множество всех натуральных чисел, нельзя рассматривать как единый, завершенный объект. Существование конструктивного объекта считается доказанным лишь в том случае, если указан способ потенциально осуществимого его построения (конструирования). Ограничение рассуждений конструктивными объектами и процессами ведет к отказу от закона исключенного третьего в применении к бесконечным множествам. Отвергаются также закон снятия двойного отрицания (см.: Закон двойного отрицания), закон Клавия, некоторые варианты косвенного доказательства и др. Термином «К. л.» иногда обозначается интуиционистская логика. Чаще под К. л. понимается логическая теория, совпадающая по классу доказуемых формул с интуиционистской логикой, но не обращающаяся к представлению об «изначальной интуиции» и использующая при задании смысла логических операций понятие алгоритма и некоторые особые положения о конструктивных процессах (А. А. Марков, Н. А. Шанин и др.).
Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:
Контекст - (от лат. contextus — сцепление, соединение, связь) — относительно законченный по смыслу отрывок...Контекстуальное Определение - см.: Определение контекстуальное.Контрадикторная Противоположность - (от лат. contradictorius — противоречащий) — отношение между противоречащими друг другу...Контрапозиции Закон - - общее название для ряда логических законов, позволяющих с помощью отрицания менять местами...Контрарная Противоположность - (от лат. contrarius - противоположный) — отношение между противными, или противоположными,...Концепт - (от лат. conceptus— понятие) — содержание понятия, то же, что и смысл. В семантической концепции...Конъюнкция - (от лат. conjunctio - союз, связь) - логическая операция, с помощью которой два или более...Косвенное Доказательство - - доказательство, в котором истинность тезиса устанавливается путем показа ошибочности...Круг В Доказательстве - (лат. — circulus in demonstrando) — логическая ошибка в доказательстве, заключающаяся в том, что...Круг В Определении - — логическая ошибка, связанная с нарушением одного из правил определения и состоящая в том, что...