БЕСКОНЕЧНОЕ

философское понятие, обозначающее безграничность и беспредельность как в бытийственном, так и в познавательном смысле. Вопрос о бесконечном возникает на всем протяжении истории культуры в самых разнообразных формах. Одна из самых непосредственных—проблема бесконечности (или конечности) мирового пространства, времени, количества вещей в мире. Сюда же относится и вопрос о возможности бесконечного деления континуума, выделения в нем точек. Наконец, более изощренной логической техники требует обсуждение вопроса о существовании разных «типов» бесконечного. Вопрос о логической и онтологической природе бесконечности, о ее статусе в Боге и в тварном мире получал разные решения и обоснования в философии, истории науки и теологии.
АКТУАЛЬНАЯ И ПОТЕНЦИАЛЬНАЯ БЕСКОНЕЧНОСТЬ. Русское слово «бесконечное» имеет смысл отрицания: бес-конечное есть не конечное (аналогично и лат. infinitum). Но это отрицание можно брать двояко: или как частичное отрицание—то, что может превзойти любое конечное, или как полное отрицание—то, что актуально. превосходит любое конечное. Уже в схоластике 13—14 вв. (В. Шервуд, В. Хейтесбери) это различие осознается и обозначается (как синкатегорематическая и категорематическая бесконечность соответственно). Из схоластики же (Григорий из Римини) идет и другое наименование этих двух разных подходов к бесконечному — потенциальная и актуальная бесконечность. Это различение было исходным пунктом и у создателя теории множеств Г. Кантора. Бесконечность, по Кантору, можно брать или как процесс—как увеличение, напр. натуральных чисел, удвоение длины отрезка, либо, наоборот, как уменьшение, деление данного отрезка на все более мелкие части,—или как актуально данное законченное множество (или величину). Бесконечность как процесс не является, по Кантору, бесконечностью в собственном смысле: в каждой фазе этого процесса, хотя и безграничного, мы имеем дело лишь с конечной величиной, а в целом—с переменной конечной величиной. Эта «несобственная бесконечность» и называется потенциальной бесконечностью. Если же мы берем бесконечное множество как нечто целое, актуально данное, не связанное ни с каким процессом, как, напр., в случае, если мы рассматриваем множество всех натуральных чисел или когда мы рассматриваем завершенный результат бесконечного деления отрезка на более мелкие части (как бы ни парадоксально было предположение подобного рассмотрения), в этом случае имеем дело с собственно бесконечным, или с актуальной бесконечностью. Заслугой Кантора была его критика имеющих тысячелетнюю историю аргументов против существования бесконечности, основанных нередко на смешении актуальной и потенциальной бесконечности.
Таковы были прежде всего аргументы, восходящие к Аристотелю. Так, напр., когда говорилось, что понятие бесконечности противоречиво, т. к., с одной стороны, оно должно представлять собой определенное количество, а с другой —любое количество превосходить, то, как объяснял Кантор, здесь налицо было смешение понятий актуально и потенциально бесконечного. Именно последнее, рассматриваемое как процесс, превосходит любое конечное количество. Если же мы рассматриваем актуально бесконечное множество, то вопрос о его количественной мере и его соотношении с конечными числами должен уже решаться специальным образом.
БЕСКОНЕЧНОЕ В ИСТОРИИ ФИЛОСОФИИ. Античная мысль в основном рассматривает бесконечное как неоформленное, как не ставшее и, следовательно, несовершенное. В пифагорейском списке противоположностей бесконечное стоит на стороне дурного (злого). Бытие в античной мысли связано с категорией меры и предела. Бесконечное выступает как беспредельное, безграничное, почти не существующее и потому есть нечто близкое к хаосу, а иногда и отождествляется с ним. Бесконечное сближается у Платона и Аристотеля с категорией материи как бесформенным и в силу этого как бы несуществующим. Бытие вещи доставляется идеей (или формой), которая ограничивает бесконечное, осуществляя «вписывание» веши в упорядоченное единство Космоса.
В то же время в античной философии были мыслители, которые более позитивно используют категорию бесконечного. Прежде всего к ним относится Анаксимавдр, у которого главным началом космологии служит алейрон (греч. йие1роу—букв. без-граничное), из которого возникают и в который возвращаются все вещи (однако по известным фрагментам не совсем ясно, является ли алейрон высшим бытийственным началом иди только хаотической смесью основных элементов). Кроме того, здесь нужно назвать атомистов Левкиппа и Демокрита, у которых бесконечное пустое пространство содержит бесконечное количество атомов, образующих бесконечное количество миров. Однако господствующее отношение к бесконечному в античности все же иное, В окончательном виде оно было выражено Аристотелем. Для Аристотеля бесконечное существует только Потенциально как возможность безграничного изменения: «Вообще говоря, бесконечное существует таким образом, что всегда берется иное и иное, а взятое всегда бывает конечным, но всегда разным и разным. Так что бесконечное не следует брать как определенный предмет, например, как человека или дом, а в том смысле, как говорится о дне или состязании, бытие которых не есть какая-либо сущность, а всегда находится в возникновении и уничтожении, и хотя оно конечно, но всегда разное и разное» (Физика 206 а, 28—35). Не существует ни актуально бесконечного тела (конечен сам космос), ни бесконечной последовательности причин (т. к. в противном случае, по Аристотелю, отсутствовала бы первоначальная истинная причина движения). Актуально бесконечное не дано ни чувствам, ни уму. Потенциальная бесконечность реализуется у Аристотеля для чисел в направлении возрастания—натуральный ряд, а для величин—в направлении убывания: потенциально бесконечное деление данного отрезка. Античная математика тоже мыслит свои «прямые» и «плоскости» как конечные, хотя и произвольно большие отрезки или куски плоскостей (в отличие от новоевропейской математики, в которой уже с 17 в. начинают рассматривать бесконечные прямые, напр. в проективной геометрии).
В неоплатонизме не без влияния восточной мистики пробивает себе дорогу новое положительное понимание бесконечного. Переходной ступенью служили здесь философские взгляды Филона Александрийского, давшего эллинистическую транскрипцию библейского понимания Божества. Единое у Плотина, стоящее выше Ума и, следовательно, выше всякой определенности и формы, в частности числа, не может быть названо бесконечным. Но Ум Плотин уже называет бесконечным в следующих смыслах: в смысле его бесконечного могущества, его единства и его самодостаточности. Все сущее оказывается тем самым между двумя бесконечностями: актуальной бесконечностью Ума и потенциальной бесконечностью мэональной материи, лишенной границ и формы и получающей свои определения только через «отражения» совершенств высшего бытия.
Существенный перелом в отношении бесконечного происходит с утверждением в европейской культуре христианства. Не только христианский Бог в себе оказывается актуально бесконечным, но и творение, в особенности человек как «образ Божий», несет на себе (в различной мере) отпечаток совершенств Творца. Однако это понимание утверждается не сразу. У Оригена еще налицо сильнейшая зависимость от основных постулатов греческой мысли: даже Бог не сможет быть бесконечным, т. к. бесконечное не имеет формы и не мыслимо. По Оригену, высшее совершенство Бога и его конечность необходимо связаны. Но уже Августин задает вопрос: неужели Бог не может мыслить всех чисел (натуральный ряд) разом? Конечность Бога несовместима, по Августину, с божественным достоинством. В отношении же тварного мира сдвиг происходит еще позднее. У Альберта Великого и Фомы Аквинского еще полностью господствуют аристотелевские запреты: в мире не может существовать актуальная бесконечность. Даже точки континуума существуют в нем только потенциально. «Легализация» актуальной бесконечности в тварном мире исторически была связана с обсуждением природы человеческой души, сотворенной по образу Божьему. В какой степени божественные совершенства отразились в человеческой душе? Дунс Скот настаивал, что человеческая душа по своей природе превосходит ту конечность, которая характерна для всего тварного: ведь человеческая душа способна воспринимать божественную благодать, т. е. самого бесконечного Бога. Значит, ей дарована адекватная предмету восприятия бесконечная воспринимающая способность. Еще дальше идут мистики. Экхарт прямо учит, что в глубине человеческой души имеется нетварная божественная «искорка». Как соприродная Богу, эта «искорка», естественно, актуально бесконечна. Подобное понимание образа Божьего прокладывало дорогу пантеизму и не раз осуждалось Католической церковью. Кардинал Николай Кузанский развивает учение о совпадении абсолютного максимума и абсолютного минимума. В рамках этого учения бесконечное, абсолютный максимум становится «адекватной мерой» всех конечных вещей. Понимание соотношения бесконечного и конечного принципиально меняется по отношению к античному толкованию: если для последнего все конечное было актуальным, а бесконечное выступало лишь как потенциальное, то для Кузанца, наоборот, любая конечная вещь выступает как потенциальное ограничение актуально бесконечной божественной возможности — бытия (possest). Аналогично и в рамках пантеизма Спинозы оказывается, что omnis detenninatio est negatio (каждое определение есть отрицание): не через предел, не через ограничение бесформенной материи получают вещи свое бытие, а именно от подлежащей бесконечной божественной субстанции, внутри которой самоопределение выступает как частичная негация. Божественная субстанция-природа имеет бесконечные атрибуты, в т. ч. протяженность и длительность. Время же, число и мера являются только конечными, или потенциально бесконечными средствами воображения. В анализе проблемы бесконечного Спиноза предвосхищает подходы к бесконечному у создателя теории множеств Г. Кантора.
Спекулятивная теология Николая Кузанского служит также основанием представлений и о бесконечности Вселенной. Бог является «основанием» мира: то, что содержится в Боге «в свернутом виде», мир «разворачивает» в пространстве и времени. Пространственная протяженность мира и время его существования не могут быть конечными, потому что они «выражают» бесконечность Бога. Хотя мир не является бесконечным в том же смысле, как и Бог,—мир не есть все, что может быть,—тем не менее его привативная бесконечность (не infinitum, a Indetenninatum) включает в себя бесконечность пространства и времени. Пересмотр Коперником геоцентрической системы и полемический талант Бруно помогают этому тезису Кузанца стать в высшей степени популярным к 18 в.
Декарт также поддерживал идею беспредельности мира: хотя и «недопустимо рассуждать о бесконечном, но следует просто считать беспредельными вещи, у которых мы не усматриваем никаких границ,—такова протяженность мира, делимость частей материи, число звезд и т. д.» (Первоначала философии, ч. I). Кроме того, по Декарту, бесконечна человеческая воля, являющаяся существенным признаком образа Божьего в человеческом существе. Именно несоответствие конечности человеческого разума и бесконечности воли служит, по Декарту, причиной ложных суждений.
На фоне других философов 17 в. Лейбниц выступает как наиболее убежденный защитник существования актуальной бесконечности. Тема бесконечности обсуждалась Лейбницем в разных аспектах. Актуально бесконечно прежде всего количество субстанций—монад—в универсуме. Каждая часть материи представляет собой также актуально бесконечную совокупность монад. Устойчивость агрегатов этих монад связана с особыми принципами их подчинения и с законом предустановленной гармонии. «Всякую часть материи можно представить наподобие сада, полного растений, и пруда, полного рыб. Но каждая ветвь растения, каждый член животного, каждая капля его соков есть опять такой же сад или такой же пруд» (Монадология, 67). В свою очередь каждая монада представляет в своих восприятиях весь бесконечный универсум, бесконечный как в пространстве, так и во времени. Это понимание ведет Лейбница в психологии к формулировке концепции бесконечно-малых («подсознательных») восприятий. В математике же это приводит к особому пониманию структуры пространственного континуума и, наконец, к созданию дифференциального и интегрального исчислений. Лейбницевские идеи в отношении актуальной бесконечности остаются в высшей степени действенными и по существу непревзойденными все последующие три столетия.
Несмотря на то что молодой Кант еще всецело разделял лейбницевскую точку зрения в отношении актуальной бесконечности, позже его взгляды резко меняются. В «Критике чистого разума» в силу кантовской философии математики оказываются невозможны ни бесконечное число, ни бесконечная величина. Мир же в отношении своих пространственных и временных характеристик выступает ни как конечный, ни как бесконечный, а как indefmitum — неопределенный. У Фихте, по-своему разрабатывавшего идею Экхарга о причастности человеческого духа к божественной сущности, вся природа выступает уже как бледное отражение истинной бесконечности, заключенной в абсолютном «Я». Фихте учил о становлении нового мира, точнее, целой последовательности миров, но не через катастрофический онтологический разрыв христианской теологии («Второе пришествие»), а в результате органически развивающегося процесса деятельности абсолютного «Я». В этой от века сущей потенциально бесконечной деятельности божественная природа абсолютного «Я» все яснее приходит к осознанию своей актуальной бесконечности. У Гегеля конечное и бесконечное являются лишь двумя терминами в его диалектической триаде. Простое отрицание конечного дает лишь «дурную бесконечность»: никогда не завершающийся переход от одного конечного к другому и представляет собой лишь «долженствование бесконечного». Истинная бесконечность должна диалектически снять оба соотнесенных момента, быть некоторым становлением, которое одновременно есть и самораскрытие. Истинно бесконечен у Гегеля, собственно. Абсолютный дух, который одновременно и актуально бесконечен, и осуществляет свое развитие через мир конечных духов.
В 1851 вышла работа Больцано «Парадоксы бесконечного», в которой делается попытка опровергнуть традиционные возражения против актуально бесконечного. В ней обсуждались понятия, ставшие в дальнейшем главными и для Кантора: различение потенциальной и актуальной бесконечности, трансфинитного и абсолютного и ряд других.
В 20 в. философские дискуссии вокруг проблем бесконечности соотносятся с теорией множеств и проблемой оснований математики. Таковы, напр., феноменологический подход к проблемам теории множеств у О. Беккера (Becher O. Mathematische Existenz. Halle, 1927); интерпретация проблем теории множеств как выражения классического конфликта между аристотелевским концептуализмом и платонистской традицией в математике у Л. Брюнсвика (Brunschvicg L. Les etapes de la philosophie mathematique. P., 1922); рассмотрение канторовской иерархии бесконечного на фоне концепции всеединства у Б. П. Вышеславцева (Вышеславцев Б. П. Этика преображенного эроса. М., 1994).
БЕСКОНЕЧНОСТЬ В МАТЕМАТИКЕ И ЛОГИКЕ. Использование актуальной бесконечности в математике настойчиво стремятся легализовать со 2-й пол. 19 в. В этом процессе большую роль сыграли труды Б. Больцано, К. Вейерштрасса, Р. Дедекинда и в особенности Г. Кантора. В их работах было систематизировано употребление понятия бесконечности в европейской традиции, выделены его основные аспекты и была предложена (Кантором) беспрецедентно дерзкая конструкция «шкалы бесконечностей», ведущая от самых простых типов бесконечности до бесконечности в Боге. Несмотря на то что конструкции Кантора, ставшие основанием всей современной математики, привели к перманентному кризису этого основания, продолжавшемуся весь 20 в., теория множеств представляется зрелым плодом взаимодействия центральных философских тем европейской культурной традиции. Трагические коллизии мысли, связанные с историей т. н. парадоксов теории множеств, представляют собой своеобразное раскрытие и саморазоблачение тех титанических импульсов, которые сыграли существенную роль в становлении новоевропейской науки и цивилизации в 15—17 вв.
ТЕОРИЯ МНОЖЕСТВ КАНТОРА. Кантор развил определенную технику оперирования с актуально бесконечными множествами и построил определенный аналог понятия количества для бесконечных множеств. Основой этой техники служит понятие взаимно-однозначного соответствия между элементами двух множеств. Говорят, что элементы двух множеств можно поставить во взаимно-однозначное соответствие, если каждому элементу первого множества можно поставить в соответствие элемент второго множества, разным—разные, и при этом каждый элемент второго множества будет соответствовать какому-то элементу первого. Про такие множества говорят, что они эквивалентны, что они имеют одинаковую мощность, или одинаковое кардинальное число. Если же можно доказать, что элементы множества А можно поставить во взаимно-однозначное Соответствие с элементами подмножества В множества В, а элементы множества В нельзя поставить во взаимнооднозначное соответствие с элементами А, то тогда говорят, что мощность множества В больше мощности множества А. Эти определения применимы и к конечным множествам. В этом случае мощность представляет собой аналог конечных чисел. Но бесконечные множества имеют в этом смысле парадоксальные свойства. Бесконечное множество оказывается эквивалентным своей части, напр. так, как это происходит в т. н. «парадоксе Галилея»: 1. 2, 3, 4, ..., n, I, I, I, I, I, I 2. 4, 6, 8, ..., 2n, ...Эти парадоксы были известны давно, и именно они, в частности, служили препятствием для рассмотрения актуально бесконечных множеств. То, что здесь просто сказывается специфика актуально бесконечного, объяснял в «Парадоксах бесконечного» Больцано. Дедекинд считал это свойство актуально бесконечных множеств характеристическим.
Кантор развивает арифметику кардинальных чисел. Суммой двух кардинальных чисел является мощность объединения соответствующих им множеств, произведением— мощность т. н. множества-произведения двух данных множеств и т. д. Важнейшим оказывается переход от данного множества к множеству-степени, т. е., по определению, к множеству всех подмножеств исходного множества. Кантор доказывает основополагающую для его теории теорему: мощность множества-степени больше мощности исходного множества. Если мощность исходного множества записать через а, то в соответствии с арифметикой кардинальных чисел мощность множества-степени будет 2", и мы имеем, следовательно, 2° >а.
Значит, переходя от некоторого бесконечного множества, напр. от множества всех натуральных чисел, имеющего мощность) (обозначение Кантора) к множеству всех подмножеств этого множества, к множеству всех подмножеств этого нового множества и т. д., мы будем получать ряд множеств все более возрастающей мощности. Есть ли какой-то предел этому возрастанию? Ответить на этот вопрос можно, только введя в рассмотрение некоторые дополнительные понятия.
Оперировать с бесконечными множествами, лишенными всякой дополнительной структуры, вообще говоря, невозможно. Поэтому Кантор ввел в рассмотрение упорядоченные множества, т. е. множества, для любых двух элементов которых определено отношение «больше» > (или «меньше»