Абстракция актуальной бесконечности

АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ, одна из основных абстракций (идеализации) классической (теоретико-множественной) математики и классической математической логики. Состоит в отвлечении от невозможности полного обозрения какого-либо бесконечного образования (бесконечной совокупности элементов какого-либо рода; знаковых конструкций, возникающих в ходе неограниченно продолжаемого конструктивного процесса; см. Конструктивное направление) и в рассмотрении его в качестве единого объекта — актуально бесконечного множества (например, множества всех натуральных чисел, континуума точек отрезка, множества всех формул любой длины логического исчисления), в применении к которому можно рассуждать по законам обычной (двузначной) логики и, в частности, применять исключённого третьего принцип и закон снятия двойного отрицания. Абстракция актуальной бесконечности не используется в интуиционистской математике и логике (см. Интуиционизм) и конструктивном направлении.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

Литература:

Френкель А. А., Бар-Xиллел И., Основания теории множеств, пер. с англ., М., 1966;

Πетpо в Ю. А., Логич. проблемы абстракций бесконечности и осуществимости, М., 1967.