Учение о бытии

Гегель Георг Вильгельм Фридрих

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

При

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

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

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

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

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

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

22

В примечании к тезису первой космологической антиномии в Критике чистого разума.

Кант порицает признание бесконечного целого за некоторый максимум, за законченное

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

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

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

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

Итак, возьмем же прежде всего определенное количество в отношении, как правильную дробь. Такая дробь, например 2/7, не есть такое определенное количество, как 1, 2, 3 и т. д.; она есть, правда, обыкновенное конечное число, но, как дробь, опосредованное двумя другими числами, которые одно относительно другого суть определенное число и единица, причем единица есть также определенное число. Если отвлечь от их ближайшего соотносительного определения и рассматривать их только по тому, что им свойственно в количественном смысле, как определенным количествам, то вообще 2 и 7 безразличны одно к другому; но так как здесь они выступают, лишь как моменты одно другого, а тем самым и третьего (определенного количества, именуемого показателем), то они тем самым суть не просто 2 и 7, а имеют значение лишь по их относительной определенности. Вместо них можно поэтому взять также 4 и 14 или 6 и 21 и т. д. до бесконечности. Тем самым они начинают приобретать качественный характер. Если бы они были просто определенными количествами, то из 2 и 7 первое было бы просто 2, а второе 7; 4, 14, 6, 21 и т. д. суть уже совсем другое, чем эти числа, и поэтому, поскольку последние были лишь непосредственными определенными количествами, первые не могли бы быть поставлены вместо них. Но поскольку 2 и 7 имеют значение не таких определенных количеств, безразличие их границ снимается; тем самым они с этой стороны приобретают момент бесконеч_{162}ности, так как они становятся не просто ими самими, но сохраняется их количественная определенность, уже как сущая в себе качественная — именно определяемая их отношением. Вместо них может быть поставлено бесконечное множество других чисел, лишь бы не изменялась величина дроби в определенности данного отношения.