Выберите букву, на которую начинается слово, значение которого Вы хотите узнать:

А Б В Г Д З И К Л М Н О П Р С Т У Ф Ц Ч Э Ю Я

[Конструктивная Логика]
а- одно из направлений современнной логики, изучающее рассуждения о конструктивных объекнтах и процессах. Конструктивные объекты представляют собой или отдельные, ясно отличаемые друг от друга знаки, или последовантельности таких знаков, получаемые посредством некоторого коннструктивного процесса, протекающего по четким дискретным пранвилам. Примером конструктивного объекта могут служить легко отождествляемые и различаемые буквы к.-л. алфавита; конструкнтивный процесс Ч построение из них слов по однозначно опреденленным правилам. В конструктивном процессе используется абнстракция потенциальной осуществимости, позволяющая отвлекаться от реальных конструктивных возможностей человека, связанных с ограниченностью его деятельности в пространстве и времени. Можно, напр., рассуждать о сколь угодно длинных, но коннечных формулах, которые реально никогда не смогут быть запинсаны. Вместе с тем в таком процессе не используется абстракнция актуальной бесконечности, когда невозможность   полного обозрения к.-л. бесконечного образования не учитываетнся. Бесконечное множество, напр. множество всех натуральных чинсел, нельзя рассматривать как единый, завершенный объект. Сущенствование конструктивного объекта считается доказанным лишь в том случае, если указан способ потенциально осуществимого его построения (конструирования). Ограничение рассуждений конструктивными объектами и пронцессами ведет к отказу от закона исключенного третьего в применнении к бесконечным множествам. Отвергаются также закон снянтия двойного отрицания (см.: Закон двойного отрицания), закон Клавия, некоторые варианты косвенного доказательства и др. Термином лК. л.

Вернуться в раздел Эзотерические и восточные энциклопедии.