категории бесконечности).
Ясно, что здесь мы сталкиваемся с понятиями бесконечно–малого и бесконечно–большого. В математике бесконечно–малым и называется переменная величина, имеющая своим пределом нуль. Но переменная величина ? стремится к пределу и тогда, когда[87 — В рукописи: если. ] абсолютная величина разности х — а будет меньше положительного числа ?, как бы мало это последнее ни было. Следовательно, бесконечно–малое есть такая величина, которая все время стремится к нулю, делаясь меньше любой заданной величины и не будучи в состоянии когда–нибудь слиться с этим нулем. (Соответственно бесконечно–большое может быть определено как величина, обратная бесконечно–малому.)
c) Бесконечно–малое есть уже новая форма вне–числовой определенности, мало похожая на конечную определенность. В диалектическом смысле оно есть прямая антитеза конечности, являясь не только инобытием ее вообще, но именно алогическим ее становлением. Бесконечно–малое есть вне–числовая определенность, данная как алогическое становление. Это и есть синтез конечности и ее инобытия, но не синтез вообще, а очень специфический синтез, именно тот первейший синтез, когда инобытие взято во всей своей иррациональной текучести и когда ее предел по своей субстанции находится на недостаточной высоте по сравнению с нею.
Итак, философская сущность бесконечно–малых есть не что иное, как чистое алогическое становление.
5. Не мы виной того, что становление может мыслиться остановившимся. Ведь можно же, идя по улице, в конце концов где–нибудь остановиться. Я думаю, этой возможности нельзя отрицать, не будучи психически больным. Но если остановиться можно, то сейчас же бесконечно–малое и бесконечно–большое преподнося! нам сюрприз, которому многие математики не обрадуются.
а) Именно, когда остановилось бесконечно–большое, это значит, что предел, бывший на необъятном от него расстоянии, уже достигнут, т. е. само алогическое становление оказывается одновременно и идеальной устойчивостью. Тут тоже синтез конечности с ее инобытием, но синтез уже дальнейший, второй, когда чистый алогизм отождествился с едино–раздельным идеальным не в порядке примата чистого алогизма, но в порядке примата идеального едино–раздельного. Это и есть, вообще говоря, трансфинитное число.
От бесконечно–большого оно отличается устойчивостью, идеальной законченностью, которая в то же время нисколько не удерживает реального потока становления. Когда мы обозначаем мощность первого трансфинитного числа через «алеф–прим» («алеф–нуль» — мощность конечных тел), то этот алеф–прим есть синтез как раз той самой устойчивости, которая характерна для конечного числа (и того постоянного становления, которое мы находили в бесконечно–большом). Все эти г. н. числа II класса имеют один и тот же алеф — мощность счетного множества. Этот алеф коренным образом отличается от алефа–нуля, потому что каждое конечное число имеет непосредственно ему предшествующее (кроме нуля), наименьшее же из чисел II класса, ?, хол я ему и предшествует сколько угодно других (конечных) чисел, все же не имеет непосредственно предыдущего. В этом отношении первое трансфинитное число уподобляется нулю в области конечных чисел. Существуют и числа II класса, отличные от ? и не имеющие первого предыдущего. С одной стороны, среди чисел II класса нет наибольшего. С другой стороны, существует ? — наименьшее число III класса, так что все числа, меньшие ?, суть числа II класса. Это объясняется тем, что всякое число II класса может быть рассматриваемо как предел некоей последовательности возрастающих чисел.
b) Таким образом, трансфинитное число антиномично в двух отношениях. Оно не имеет непосредственно предыдущего, так как между ним и конечным числом — разрыв, прыжок, хотя в то же время оно само вполне обладает конечной определенностью, так как выразимо конечным числом слоев (а именно: счетное множество есть множество всех чисел натурального ряда). С другой стороны, оно не имеет наибольшего элемента, хотя в то же время всякое трансфинитное число II класса меньше ?. Все это сводится к тому, что первое трансфинитное число ?, с одной стороны, есть первое следующее за множеством всех конечных чисел, а с другой стороны, конечные числа не имеют наибольшего числа и, следовательно, не может существовать и первого за наибольшим. Или еще проще: не существует никакого наибольшего числа (ибо всякое число можно увеличить) и существует наибольшее число (когда берутся все числа натурального ряда). В трансфинитном числе сразу дана и идеальная определенность, и устойчивость числа, и его алогическая неисчерпаемость. Можно сколько угодно увеличивать ?, прибавляя единицу за единицей, и от этого она нисколько не увеличивается, потому что этому ? свойственна идеальная определенность, вполне тождественная с той, которая была формулирована у нас в аксиомах едино–раздельности, а эта определенность — вполне вне всяких категорий конечности и бесконечности, ее нельзя ни увеличивать и ни уменьшать, и даже самые эти операции в отношении ее бессмысленны. Но с другой стороны, мы этот процесс прикладывания все новых и новых единиц, несомненно, производим в реальности, потому что то же самое действие ?+ 1 =со, которое бессмысленно с точки зрения первого слагаемого, ?, вполне осмысленно относительно второго слагаемого, 1, потому что как–никак, <…> а это 1 исчезает в ? как в некоей бездне, каковое исчезновение нужно считать событием очень большой важности.
Итак, трансфинитное число (II класса), или т. н. актуальная бесконечность, есть вне–числовая определенность, данная как наличное бытие (как ставшее).
6. Переходим к самой интересной, но в то же время и к самой трудной выразительной форме числа и множества, это к той, когда вне–числовая определенность сама становится выражением. В общей сфере числового выражения мы нашли свое бытие (конечность), свое инобытие (бесконечно–большое и бесконечно–малое) и свое ставшее бытие (трансфинитное число). Теперь мы переходим к выражению в сфере этого выражения. Из предыдущего можно припомнить, что на эту область мы уже натыкались не раз, хотя только сейчас наступило время для ее непосредственного анализа. Это первое трансфинитное число III класса, или ?, которое в дедукции основных категорий теоретико–множественного упорядочивания (§ [5 ]2.4е) и становления (§ 61.3) предстало перед нами как континуум. Раньше мы наталкивались на это понятие потому, что всякую до–выразительную теоретико–множественную категорию мы старались представить максимально конкретно и потому доводили ее до выразительной формы, а тем самым и до континуума. Теперь же мы рассматриваем само числовое выражение; и если в области этого выражения мы перебрали все более абстрактные категории, дойдя до выражения самого числового выражения, то это значит, что континуум только сейчас подпадает под нашу непосредственную диалектическую рефлексию, превращаясь из завершающего и потому периферийного момента в центральный, в субстанциональный, в непосредственно предлежащий.
а) Что такое континуум? Уже давно прошло то время, когда континуум представлялся чем–то простым, ясным, очевидным, чем–то совершенно неразложимым. Правда, для нас это не должно значить, что континуум должен быть просто разложен на взаимно изолированные моменты, и больше ничего. Такая механическая атомистика тоже не может удовлетворить современному философскому содержанию. Однако мы все же должны как–то формулировать структуру континуума, и эта формулировка представляет огромные трудности.
b) Прежде всего мы должны выполнить одно обязательное условие: континуум в нашем определении должен остаться самим собою, т. е. прежде всего он должен не потерять своей равно расстилающейся непрерывности и не рассыпаться на бездну точек, как бы они близки ни были одна к другой. Изначальная, совершенно примитивная интуиция континуума, ясная уже ребенку, должна и для нас стать путеводным маяком: континуум не имеет никаких разрывов или дыр; мы их не видим; континуум есть непрерывная, равномерно растекающаяся сплошность. И вот этого–то и нельзя никогда терять из виду.
Если мы не погрешим против этой исходной интуиции, то все остальные разделения и подразделения, вся эта атомистика точек уже не будет для нас страшной. Вполне естественно, что математика хочет составить континуум из точек. В этом еще нет ничего худого. Ведь математика есть наука, а всякая наука есть более или менее абстрактное знание, которое, конечно, никогда не может ухватить непосредственную жизненную вещь целиком и не должно к этому стремиться. Вопрос не в том, чтобы целиком отображать вещь (тогда наука вполне могла бы заменить живого человека и ему больше уже никакого не осталось бы места на земле), а вопрос в том, чтобы отобразить вещь в точном соответствии с той позицией, на которой стоит данная наука. К континууму можно подойти физически; и физик должен суметь формулировать его в своих физических терминах. К континууму можно подойти геометрически и теоретико–множественно. К континууму можно подойти оптически, художественно–искусствоведчески. К нему же можно подойти и философски; и, как мы знаем, это будет значить, что мы должны вскрыть ту диалектическую взаимосвязь категорий, без которой не может осуществиться самое понятие континуума. Математика даст нам материал, а философия этот материал осознает. Поэтому нечего страшиться того, что в мысли приходится разлагать неразложимое. Если мы, разложивши неразложимое на составные элементы, вновь показываем, как воскресает на этих последних само неразложимое, то тут не только нет ничего страшного, но это только и есть единственная возможность рассуждать о предмете философски. Напрасно Вейль причитывает, что континуум–де вообще никогда не удастся подвергнуть полному анализу на том основании, что он есть непосредственно данная неразличимая сплошность. Вся жизнь и все бытие таковы, но это нисколько не мешает никому философствовать о том и о другом. Важно, чтобы явление жизни отразилось в данной абстрактной области так, чтобы структура этой последней адекватно ей соответствовала; но невозможно протестовать против того, что абстрактная структура абстрактна.
c) Еще одна установка должна быть у нас руководящей. Под влиянием идеи бесконечно–малых континуум легко можно трактовать как некий логический или математический инструмент для каких–нибудь иных целей. Но рассуждение о континууме не должно быть для нас только аналитическим аппаратом, подобно тому как мы рассуждали в анализе о непрерывности, с тем чтобы сейчас же применить это понятие для дифференцирования или интегрирования функций. Континуум есть для нас вполне самостоятельный предмет, сущность которого мы вскрываем. Он существует не для чего–нибудь, а сам по себе; и если в нем есть это «для чего–нибудь», то оно берегся не для того, чтобы найти это «что», для которого оно существует, но самое это «для чего–нибудь» берется здесь как непосредственный предмет рефлексии. Поскольку имеется здесь смысловая сущность континуума, Гуссерль сказал бы, что континуум здесь оказывается идеальным предметом. Но нам нет нужды употреблять эту терминологию, потому что мы можем заменить ее и гораздо более близкой к математике.
d) Именно, мы уже использовали такое «идеирова–ние», когда от инфинитезимального бесконечно–большого перешли к трансфинитному. Очень хорошо инфинитези–мальные категории иные обозначают вслед за Кантором как потенциальные. Действительно, то бесконечно–малое и бесконечно–большое, с которым оперирует классический анализ, построено чисто процессуально, и притом алогически процессуально. Тут нет ни одного момента, который был бы положен и пребывал. В тот самый момент, когда мы что–нибудь здесь
