Философский энциклопедический словарь 2

3 А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я A B C D E F G H I J K L M N O P Q R S T U V X

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ


        одна из осн. абстракций (идеализации) классич. (теоретико-множеств.) математики и классич. математич. логики. Состоит в отвлечении от невозможности полного обозрения к.-л. бесконечного образования (бесконечной совокупности элементов к.-л. рода; знаковых конструкций, возникающих в ходе неограниченно продолжаемого конструктивного процесса; см. Конструктивное направление) и в рассмотрении его в качестве единого объекта — актуально бесконечного множества (напр., множества всех натуральных чисел, континуума точек отрезка, множества всех формул любой длины логич. исчисления), в применении к которому можно рассуждать по законам обычной (двузначной) логики и, в частности, применять исключённого третьего принцип и закон снятия двойного отрицания. А. а. б. не используется в интуиционистской математике и логике (см. Интуиционизм) и конструктивном направлении.
        Френкель А. А., Б а р - X и л л е л И., Основания теории множеств, пер. с англ., М., 1966; ? е т p о в Ю. А., Логич. проблемы абстракций бесконечности и осуществимости, М., 1967.
Вы можете поставить ссылку на это слово:

будет выглядеть так: АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ