Наука логики
Шрифт:
Обычное определение математического бесконечного гласит, что оно есть величина, больше которой, — если она определена как бесконечно большая, или меньше которой, если она определена как бесконечно малая, — уже нет или — в другой формулировке — как величина, которая в первом случае больше, а во втором меньше какой угодно другой величины. — В этой дефиниции, конечно, не выражено истинное понятие, а, наоборот, как мы уже заметили, здесь выражено лишь то же самое противоречие, которое содержится в бесконечном прогрессе. Но посмотрим, что содержится в ней самой по себе. Величина определяется в математике как то, что может быть увеличиваемо или уменьшаемо, следовательно, вообще, как безразличная граница. И вот, так как бесконечно-большое или бесконечно- малое есть нечто такое, что уже больше не может быть увеличиваемо или уменьшаемо, то оно
Этот вывод необходим и непосредственен. Но именно это соображение, показывающее, что определенное количество, — а я называю в этом примечании определенным количеством вообще то, что оно есть, а именно конечное количество, — снято, обыкновенно как раз и не приходит на ум, а между тем оно-то и составляет затруднение для обычного понимания, так как требуется, чтобы определенное количество, когда оно бесконечно, мыслилось как некое
{275}
снятое, как такое нечто, которое не есть определенное количество, но количественная определенность которого тем не менее сохраняется.
Если обратимся к тому, как относится к этому определению Кант*9 то увидим, что он его находит несогласую· щимся с тем, что понимают под бесконечным целым.
«Согласно обычному понятию та величина бесконечна, больше которой (т. е. больше содержащегося в ней множества данных единиц) не может быть никакая другая величина; но никакое множество не есть наибольшее, так как всегда возможно прибавить к нему одну или несколько единиц. — Относительно же бесконечного целого «мы не представляем себе, как оно велико, и, следовательно, его понятие не есть понятие некоторого максимума (или минимума), а мы мыслим через это понятие лишь его отношение к произвольно взятой единице, относительно которой оно больше, чем всякое число. Смотря по тому, примем ли мы эту единицу большей или меньшей, бесконечное будет большим или меньшим; но бесконечность, так как она состоит только в отношении к этой данной единице, остается всегда одной и той же, хотя, разумеется, абсолютная величина целого этим вовсе не будет узнана».
Кант порицает рассматривание бесконечного целого как некоторого максимума, как некоторого завершенного множества данных единиц. Максимум или минимум как таковой все еще представляется некоторым определенным количеством, множеством. Такое представление не может отклонить указанный Кантом вывод, который приводит к большему или меньшему бесконечному. Вообще, когда бесконечное представляют себе как определенное количество, для него сохраняет значение различие большего или меньшего. Но эта критика не касается понятия истинного математического бесконечного, бесконечной разности, ибо последняя уже больше не есть конечное определенное количество.
* В примечании к теэису первой космологической антиномии в «Критике чистого разумЪ».
18*
{276}
Напротив, понятие бесконечности, даваемое Кантом, понятие, которое он называет истинно трансцендентальным, гласит, что «последовательный «синтез единицы в измерении определенного количества никогда не» может быть завершен». В этом понятии предполагается, как данное, определенное количество вообще; требуется, чтобы оно было превращено посредством синтеза единицы в некоторую численность, в долженствующее быть указанным определенное количество, но, по утверждению Канта, невозможно когда-либо закончить этот синтез. Здесь очевидно выражено не что иное как бесконечный прогресс, который только представляют себе трансцендентально, т. е., собственно говоря, субъективно и психологически. Само по себе, дескать, определенное количество завершено, но трансцендентальным образом, т. е. в субъекте, сообщающем ему отношение к некоторой единице, возникает лишь такое определение определенного количества, которое не завершено и безоговорочно обременено потусторонним. Следовательно, здесь вообще застревают в противоречии, которое содержится в величине, но распределяют это противоречие между объектом и субъектом, так что на долю первого выпадает ограниченность, а на долю второго — выхождение за каждую представляемую им себе определенность, выхождение в дурную бесконечность.
Мы, напротив, уже сказали выше, что определение математического бесконечного и притом так, как его употребляют в высшем анализе, соответствует понятию истинного бесконечного; теперь мы предпримем сопоставление этих двух определений в более развернутом виде. — Что касается, прежде всего, истинно
{277}
имеющее свою определенность в некотором внешнем многообразии лишь в себе, причем оно, однако, по предположению безразлично к этому многообразию и отлично от него. Бесконечное определенное количество содержит, напротив, во-первых, внешность и, во-вторых, ее отрицание в нем самом. Таким образом, оно уже больше не есть некоторое конечное определенное количество, не есть некоторая определенность величины, имеющая наличное бытие как определенное количество, а оно просто, и поэтому имеет бытие лишь как момент; оно есть определенность величины в качественной форме; его бесконечность состоит в том, что оно дано как некоторая качественная определенность.
Таким образом, оно как момент находится в существенном единстве со своим другим, имеет бытие, лишь как определенное этим своим другим, т. е. оно обладает значением лишь в связи с некиим, находящимся к нему в отношении.
Вне этого отношения оно нуль, «между тем как раз определенное количество как таковое, согласно предположению, безразлично к отношению и тем не менее является в нем некоторым непосредственным покоящимся определением.
В отношении оно, как представляющее собою лишь момент, не есть некое стоящее особняком (fur sich) безразличное; в бесконечности как для-себя-бытии, оно, будучи вместе с тем некоторой количественной определенностью, имеет бытие лишь как некоторое «для одного».
Понятие бесконечного, как оно изложено здесь абстрактно, окажется лежащим в основании математического бесконечного, и оно само сделается яснее, когда мы рассмотрим различные ступени выражения определенного количества как момента отношения, начиная с низшей ступени, на которой оно еще есть вместе с тем определенное количество как таковое, и кончая высшей, где оно получает значение и выражение бесконечной величины в собственном смысле.
Итак, возьмем сначала определенное количество в том отношении, в котором оно есть дробное число. Такая дробь, например, 2/7 не есть такое определенное количество, как 1, 2, 3 и т. д.; она есть, правда, обыкновенное конечное число, однако не непосредственное, подобно целым числам,
{278}
а, как дробь, определенное посредственно двумя другими числами, которые суть в отношении друг друга численность и единица, причем и единица также есть некоторая численность. Но взятые абстрагирование от этого их ближайшего определения в отношении друг друга и рассматриваемые лишь со стороны того, что в том качественном соотношении, в котором они здесь находятся, происходит с ними, как с определенными количествами 2 и 7 помимо этого соотношения суть безразличные определенные количества; но так как они здесь выступают как моменты друг друга и, стало быть, некоторого третьего (того определенного количества, которое называется показателем), то они имеют значение не как 2 и 7, а лишь со стороны их определенности в отношении друг друга. Вместо них можно поэтому поставить также 4 и 14 или 6 и 21 и т. д. до бесконечности. Тем самым они, следовательно, начинают получать качественный характер. Если бы они имели значение просто как определенные количества, то пришлось бы признать, что 2 и 7 суть одно — лишь 2, а другое — лишь 7; 4, 14, 6, 21 и т. д. суть безоговорочно нечто другое, чем эти числа и, поскольку они суть лишь непосредственные определенные количества, они не могут быть подставлены одни вместо других. Но поскольку 2 и 7 имеют значение не со стороны той определенности, что они суть такие определенные количества, постольку их безразличная граница снята; они, стало быть, с этой стороны заключают в себе момент бесконечности, ибо они не только как раз уже больше не суть то, что они суть, а еще кроме того сохраняется их количественная определенность, но как в себе сущая качественная определенность, — а именно, согласно тому, что они значат в отношении. Вместо них может быть поставлено бесконечное множество других чисел;, так что величина дроби не изменяется вследствие той определенности, которую имеет отношение.