в ней то, что оно есть.

Примечание 1-е

Определенность понятия математического бесконечного

Математическое бесконечное представляет интерес отчасти вследствие произведенного им расширения математики и великих результатов, которые были достигнуты последнею вследствие его введения в нее; отчасти же оно достойно замечания потому, что этой науке еще не удалось оправдать его употребления посредством понятия (понятия в собственном значении этого слова). Его оправдания сводятся в конце концов на правильность результатов, достигаемых при помощи этого определения, результатов, доказываемых из чуждых ему оснований, а не к установлению ясного понятия о предмете и о приеме, посредством которого достигаются эти результаты, так что даже самый прием признается неправильным.

Это само по себе есть недостаток; такой образ действия ненаучен. Но он приводит также к тому вредному последствию, что математика, поскольку она не знает природы этого своего орудия, не может определить объема своего приложения и предохранить от злоупотреблений последним.

В философском же отношении математическое бесконечное важно тем, что в основе его действительно лежит понятие истинной бесконечности, и что поэтому оно стоит много выше, чем обыкновенно так называемое метафизическое бесконечное, которое предъявляет возражение против первого. Против этих возражений наука математики часто избавляется лишь тем, что она отрицает компетентность метафизики, полагая, что математике нет дела до этой науки, и что она (математика) может не заботиться о понятиях метафизики, если только первая остается последовательною на своей собственной почве. Математика должна рассматривать не то, что истинно по себе, а то, что истинно в ее области. Метафизика не может отрицать или опровергнуть блестящих результатов употребления математического бесконечного при всех своих возражениях против него, математика же не в состоянии сладить с собственными понятиями метафизики, а следовательно, и с объяснением того образа действий, который делает необходимым употребление бесконечного.

Если бы затруднение, тяготящее математику, было только затруднением понятия вообще, то это затруднение могло бы быть спокойно оставлено в стороне, так как понятие есть нечто большее, чем начертание его существенных определенностей, т. е. рассудочных определений некоторой вещи, а в строгости этих определенностей математика не имеет нужды; ибо она не есть такая наука, которая имеет дело с понятиями своих предметов и образует их содержание через развитие понятия хотя бы путем рассудка. Но в методе ее бесконечности главное противоречие оказывается именно в том своеобразном методе, на котором она основывается вообще, как наука. Ибо исчисление бесконечных позволяет себе и требует способов действия, которые при действиях над конечными величинами математика должна совершенно отвергать, а вместе с тем она обращается со своими бесконечными величинами, как с конечными определенными количествами, и применяет к первым те приемы, которые имеют силу относительно последних; главная особенность в обработке этой науки состоит в том, что к трансцендентным определениям и действиям над ними применяется форма обычного счисления.

При этом разногласии своих приемов математика указывает на то, что результаты, к которым она таким образом приходит, совершенно согласуются с теми, которые получаются при пользовании собственно математическим, геометрическим и аналитическим методом. Но это отчасти касается не всех результатов, и цель введения в науку бесконечности состоит не только в сокращении обычного пути, но в достижении результатов, которые этим путем не могут быть получены. Отчасти же успех приема еще не оправдывает пути самого для себя. Этот прием исчисления бесконечных оказывается пораженным видимостью неточности, так как конечные величины то увеличиваются через присовокупление бесконечно малых величин, и последние отчасти сохраняют значение при дальнейших действиях, отчасти же пренебрегаются. Этот прием представляет собою ту особенность, что, несмотря на допущенную неточность, получается результат не только пригодный и настолько приблизительный, что разница может быть оставлена без внимания, но совершенно точный. При самом же действии, предшествующем результату, нельзя освободиться от представления, что хотя некоторые величины неравны нулю, но они столь незначительны, что их можно оставить без внимания. Но тем, что следует разуметь под математическою определенностью, совершенно исключается различение большей или меньшей точности подобно тому, как в философии может идти речь не о большей или меньшей вероятности, а единственно об истине.

Но если метод и употребление бесконечности и оправдываются их успехом, то все же, несмотря на то, требовать их оправдания не столь излишне, как требовать оправдания существования носа после доказательства права пользоваться им. Ибо для математического познания, поскольку оно научно, существенно доказательство, а по отношению к результату оказывается, что строго математический метод не вполне доказывается успехом, который, сверх того, есть лишь внешнее доказательство.

Представляется заслуживающим труда рассмотреть ближе понятие бесконечного и те замечательные попытки, которые имеют целью оправдать его и устранить затруднения, тяготеющие на методе. Рассмотрение этих оправданий и определений математическо бесконечного, которые я намереваюсь подробнее изложить в этом примечании, бросит вместе с тем и наиболее яркий свет на самую природу истинного понятия и покажет, что предносится в нем и лежит в его основе.

Обычное определение математического бесконечного состоит в том, что оно есть величина, за которой — если она определяется, как бесконечно большая — нет большей величины или — если она определяется, как бесконечно малая — нет меньшей величины, или которая в первом случае более, а во втором — менее какой бы то ни было любой величины. Это определение, правда, не выражает собою истинного понятия, но содержит в себе, как уже было замечено, то же самое противоречие, которое свойственно бесконечному прогрессу; но посмотрим, что в нем содержится в себе. Величина определяется в математике, как то, что может быть увеличиваемо или уменьшаемо, вообще как безразличная граница. Следовательно, поскольку бесконечно большое или бесконечно малое таково, что оно уже не может быть увеличиваемо или уменьшаемо, оно в действительности уже не есть определенное количество (Quantum).

Это есть вывод необходимый и непосредственный. Но та рефлексия, согласно которой определенное количество — а я разумею в этом примечании под определенным количеством вообще то, что оно есть, конечное количество — снято, не должна иметь места и представляет для обычного понимания затруднение, так как определенное количество, поскольку оно бесконечно, должно быть мыслимо, как снятое, как такое, которое не есть определенное количество, и количественная определенность которого, однако, сохраняется.

Если обратиться к тому, как обсуждает это определение Кант[22 — В примечании к тезису первой космологической антиномии в Критике чистого разума.], то оказывается, что он не находит его согласующимся с тем, что понимается под бесконечным целым. «По обычному понятию такая величина бесконечна, более которой (т. е. более содержащегося в ней множества данных единиц) не может быть никакая другая величина; но никакое множество не может быть наибольшим, так как к нему всегда можно прибавить одну или более единиц. В представлении же бесконечного целого мы не представляем себе, как оно велико, следовательно, его понятие не есть понятие максимума (или минимума), а выражаем этим представлением лишь его отношение к произвольно взятой единице, относительно которой это целое более какого бы то ни было числа. Смотря по тому, более или менее эта единица, и бесконечное более или менее; но бесконечность, поскольку она состоит в отношении к этой данной единице, остается всегда одною и тою же, хотя конечно абсолютная величина целого тем самым совсем не узнается».

Кант порицает признание бесконечного целого за некоторый максимум, за законченное множество данных единиц. Максимум или минимум, как таковой, является всегда определенным количеством, множеством. Таким представлением не может быть отклонен вывод Канта, приводящий к большему или меньшему бесконечному. Вообще поскольку бесконечное представляется как определенное количество, для него сохраняет значение различие большего или меньшего. Но эта критика не касается понятия истинного математического бесконечного, бесконечной разности, так как последняя уже не есть конечное определенное количество.

Напротив, понятие о бесконечности у Канта, называемое им истинным трансцендентальным, состоит в том, что «последовательный синтез единиц при измерении определенного количества никогда не может быть закончен». Предположено вообще некоторое определенное количество, как данное; оно через синтезирование единиц должно быть сделано числом, определенно заданным определенным количеством, но это синтезирование никогда не может быть закончено. Здесь очевидно излагается не что иное, как прогресс в бесконечность, представляемый лишь трансцендентально, т. е. в сущности субъективно и психологически. Правда, в себе определенное количество должно быть закончено, но трансцендентально, а именно в субъекте, приводящем его в отношение к некоторой единице, происходит лишь такое определение определенного количества, которое (определение) не закончено и применимо лишь к потустороннему. Поэтому здесь вообще получается остановка на противоречии, заканчивающемся в понятии величины, но распределенном между объектом и субъектом так, что на долю первого приходится ограниченность, а на долю второго выход за его определенность, ложная бесконечность.

Напротив, уже ранее было сказано, что определение математического бесконечного и именно то, которое употребляется в высшем анализе, соответствует понятию истинно бесконечного; только для объединения обоих определений должно быть предпринято подробное развитие математического понятия. Что касается, во-первых, истинно бесконечного определенного количества, то оно было определено, как бесконечное в нем самом; оно таково, поскольку, как было выяснено, конечное определенное количество или определенное количество вообще и его потустороннее, ложное бесконечное, оба должны быть одинаково сняты. Снятое определенное количество тем самым возвращено к своей простоте и к отношению к себе самому, но не только как к экстенсивному, так как оно перешло в интенсивное определенное количество, имеющее определенность лишь в себе при внешней множественности, относительно которой оно, однако, безразлично и от которой оно должно отличаться. Бесконечное определенное количество содержит, напротив, во-первых, внешность и, во-вторых, ее отрицание в нем самом; таким образом оно есть уже не некоторое определенное количество, не определенность величины, имеющая существование, как определенное количество, но нечто простое и потому лишь момент; оно есть определенность величины в качественной форме; его бесконечность состоит в том, чтобы быть качественною определенностью. Поэтому, как момент, оно состоит в существенном единстве со своим другим, будучи лишь определено этим своим другим, т. е. оно имеет значение лишь в связи с находящимся к нему в отношении. Вне этого отношения оно нуль; ибо, так как определенное количество, как таковое, безразлично к отношению, то в нем должно быть непосредственное покоящееся определение; в отношении, оно, как только момент, не есть нечто безразличное для себя; в бесконечности, как бытии для себя, поскольку оно вместе с тем есть некоторая количественная определенность, оно есть лишь для одного.

Понятие бесконечного, как оно изложено здесь отвлеченно, окажется лежащим в основе математического бесконечного, и само станет отчетливее, когда мы рассмотрим различные ступени выражения определенного количества, как момента отношения, начиная с низшей, на которой оно есть еще вместе с тем определенное количество, как таковое, до высшей, на которой оно приобретает