<<
>>

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

,

одна из осн. абстракций (идеализации) классич. (тео-ретико-множеств.) математики и классич. математич. логики. Состоит в отвлечении от невозможности полного обозрения к.-л. бесконечного образования (бесконечной совокупности элементов к.-л.

рода; знаковых конструкций, возникающих в ходе неограниченно продолжаемого конструктивного процесса; см. Конструктивное направление) и в рассмотрении его в качестве единого объекта — актуально бесконечного множества (напр., множества всех натуральных чисел, континуума точек отрезка, множества всех формул любой длины логич. исчисления), в применении к к-рому можно рассуждать по законам обычной (двузначной) логики и, в частности, применять исключённого третьего принцип и закон снятия двойного отрицания. А. а. б. не используется в интуиционистской математике и логике (см. Интуиционизм) и конструктивном направлении.

• Френкель А. А., Б а р - X и л л е л И., Основания теории множеств, пер. с англ., М., 1966; ? е т p о в Ю. А., Логич. проблемы абстракций бесконечности и осуществимости, М., 1967.

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ: