Страница:
Определенное количество этим положено как оттолкнутое от себя, вследствие чего, стало быть, имеются два определенных количества, которые, однако, сняты, даны лишь как моменты одного единства, и это единство есть определенность определенного количества. - Последнее, соотнесенное, таким образом, в своей внешности с собой как безразличная граница и, следовательно, положенное качественно, есть количественное отношение. - В самом отношении определенное количество внешне себе, отлично от самого себя; эта его внешность есть соотношение одного определенного количества с другим определенным количеством, каждое из которых значимо лишь в этом своем соотношении со своим иным; и это соотношение составляет определенность определенного количества, данного как такое единство. Определенное количество имеет в нем не безразличное, а качественное определение, в этой своей внешности возвратилось в себя, есть в ней то, что оно есть.
Примечание 1
Определенность понятия математического бесконечного
Математическое бесконечное интересно, с одной стороны, ввиду расширения [сферы] математики и ввиду великих результатов, достигнутых благодаря введению его в математику; с Другой же стороны, оно достойно внимания по той причине, что этой науке еще не удалось посредством понятия (понятия в собственном смысле) обосновать правомерность его применения. Все обоснования зиждутся в конечном счете на правильности результатов, получающихся при помощи этого определения, правильности, доказанной из других оснований, но не на ясности предмета и действий, благодаря которым достигнуты эти результаты; более того: признается даже, что сами эти действия неправильны.
Это уже само по себе недостаток; такой образ действия ненаучен. Но он влечет за собой еще и тот вред, что математика, не зная природы этого своего орудия из-за того, что не справилась с его метафизикой и критикой, не могла определить сферу его применения и предохранить себя от злоупотребления им.
В философском же отношении математическое бесконечное важно потому, что в его основе действительно лежит понятие истинного бесконечного и оно куда выше, чем обычно называемое так метафизическое бесконечное, исходя из которого выдвигаются против него возражения. От этих возражений математическая наука часто умеет спасаться лишь тем, что она отвергает компетенцию метафизики, утверждая, что ей нет дела до этой науки, что ей нечего заботиться о ее понятиях, если только она действует последовательно на своей собственной почве. Она-де должна рассматривать не то, что истинно в себе, а то, что истинно в ее области. При всех своих возражениях против математического бесконечного метафизика не может отрицать или опровергнуть блестящие результаты, которые дало его применение, а математика не в состоянии точно выяснить метафизику своего собственного понятия, а потому не в состоянии также и дать основание (Ableitung) тех приемов, которые делает необходимыми применение бесконечного.
Если бы над математикой тяготело одно лишь затруднение, причиняемое понятием вообще, то она могла бы без околичностей оставить его в стороне, поскольку именно понятие есть нечто большее, чем только указание сущностных определенностей, т. е. рассудочных определений той или иной вещи, а упрекнуть математику в недостаточной строгости этих определенностей никак нельзя; [она могла бы оставить в стороне это затруднение], ибо не принадлежит к тем наукам, которые должны иметь дело с понятиями своих предметов и образовать свое содержание через развитие понятия, хотя бы только путем резонерства. Но применяя метод своего бесконечного, она находит главное противоречие в самбм характерном для нее методе, на котором она вообще основывается как наука. Ибо исчисление бесконечного разрешает и требует таких приемов, которые она должна отвергать, оперируя конечными величинами, и в то же время она обращается со своими бесконечными величинами как с конечными определенными количествами и хочет применять к первым те же приемы, которые применяются к последним. Очень важно для развития этой науки то, что она нашла для трансцендентных определений и действий над ними форму обычного исчисления (Kalkuls).
При всей этой противоречивости своих действий математика показывает, что результаты, которые она получает посредством их, вполне совпадают с теми, которые она получает с помощью собственно математического метода, геометрического и аналитического метода. Однако, с одной стороны, это касается не всех результатов, и цель введения [математического] бесконечного не только сокращение обычного пути, а достижение результатов, которых последний дать не может. С другой же стороны, успех сам по себе не может служить оправданием характера пути (die Manier des Wegs). А этот характер исчисления бесконечного отягощен видимостью неточности, которую он сам себе придает, увеличивая конечные величины на бесконечно малую величину и отчасти сохраняя эту последнюю в дальнейших действиях, отчасти же и пренебрегая ею. Этот прием заключает в себе ту странность, что, несмотря на признаваемую неточность, получается результат, который не только довольно точен и столь близок [к истинному результату ], что можно не обращать внимания на разницу, но и совершенно точен. В самом же действии, предшествующем результату, нельзя обойтись без представления, что некоторые величины не равны нулю, но они столь незначительны, что их можно оставить без внимания. Однако в том, что понимают под математической определенностью, совершенно отпадает всякое различие между большей или меньшей точностью, подобно тому как в философии может идти речь не о большей или меньшей вероятности, а единственно лишь об истине. Если метод и применение бесконечного и находят оправдание в успехе, то все же требовать их обоснования не так излишне, как представляется излишним, например, требование доказать право пользоваться собственным носом. Ведь в математическом познании как познании научном существенное значение имеет доказательство, а в отношении получаемых результатов также оказывается, что строго математический метод не для всех их доставляет аргумент успеха, который к тому же есть лишь внешний аргумент.
Стоит рассмотреть более внимательно математическое понятие бесконечного и наиболее замечательные попытки, которые ставят себе целью найти оправдание в пользовании им и устранить затруднение, отягчающее метод. Рассмотрение таких оправданий и определений математического бесконечного, которые я намерен изложить в этом примечании более пространно, бросит в то же время наиболее яркий свет и на самое природу истинного понятия и покажет, как оно представлялось и легло в основу этих попыток.
Обычное определение математического бесконечного гласит, что оно есть величина, больше которой, если она определена как бесконечно большая, или меньше которой, если она определена как бесконечно малая, уже нет или - в другой формулировке - как величина, которая в первом случае больше, а во втором меньше любой другой величины. - В этой дефиниции выражено, конечно, не истинное понятие, а скорее, как уже отмечено, лишь то же противоречие, что и в бесконечном прогрессе. Но посмотрим, что содержится в ней в себе. Величина определяется в математике как то, что может быть увеличено или уменьшено, следовательно, вообще как безразличная граница. И вот, так как бесконечно большое или бесконечно малое есть нечто такое, что уже больше не может быть увеличено или уменьшено, то оно на самом деле уже не определенное количество, как таковое.
Этот вывод необходим и непосредствен. Но именно это соображение, что определенное количество, - а я называю в этом примечании определенным количеством вообще то, чтб оно есть, [а именно ] конечное определенное количество, - снято, обычно не приходит на ум, а между тем оно-то и составляет затруднение для обыденного понимания, так как требуется, чтобы определенное количество, когда оно бесконечно, мыслилось как нечто снятое, как нечто такое, что не есть определенное количество, но количественная определенность чего все же сохраняется.
Если обратимся к тому, как относится к этому определению Кант *, то увидим, что он его находит несогласующимся с тем, что понимают под бесконечным целым. "Согласно обыденному понятию бесконечна та величина, больше которой (т. е. больше определенного множества содержащихся в ней данных единиц) невозможна никакая другая величина. Но никакое множество не может быть наибольшим, так как ко всякому множеству можно прибавить еще одну или несколько единиц. Бесконечное целое не дает нам представления о том, как оно велико, стало быть, понятие его не есть понятие максимума (или минимума): посредством него мыслится только его отношение к любой полагаемой единице, для которой бесконечное целое больше всякого числа. В зависимости от того, взяли ли мы большую или меньшую единицу, бесконечное было бы большим или меньшим, но бесконечность, так как она состоит лишь в отношении к этой данной единице, оставалась бы одной и той же, хотя, конечно, абсолютная величина целого вовсе не была бы таким образом познана".
Кант отвергает признание бесконечного целого некоторым максимумом, завершенным множеством данных единиц. Максимум или минимум, как таковой, все еще представляется определенным количеством, множеством. Таким представлением не может быть отклонено указанное Кантом заключение, которое приводит к большему или меньшему бесконечному. Вообще, когда бесконечное представляют как определенное количество, для него сохраняет значение различие большего или меньшего. Но эта критика не затрагивает понятия истинного математического бесконечного, бесконечной разности, ибо последняя уже не конечное определенное количество.
Напротив, даваемое Кантом понятие бесконечности, которое он называет истинно трансцендентальным, гласит, что "последовательный синтез единицы при измерении определенного количества никогда не может быть закончен" ". В этом понятии подразумевается, как данное, определенное количество вообще; требуется, чтобы оно посредством синтеза единицы стало некоторой численностью, определенным количеством, которое следует точно указать, но, [по утверждению Канта], невозможно когда-либо закончить такой синтез. Этим совершенно очевидно выражено не что иное, как бесконечный прогресс, только представляют себе его здесь трансцендентально, т. е., собственно говоря, субъективно и психологически. Само по себе, дескать, определенное количество, правда, завершено, но трансцендентальным образом, а именно в субъекте, сообщающем ему отношение к некоторой единице, возникает лишь такое определение определенного количества, которое не завершено и всецело обременено потусторонним. Следовательно, здесь вообще не идут дальше противоречия, которое содержится в величине, но которое распределено между объектом и субъектом, так что на долю первого выпадает ограниченность, а на долю второго - выхождение за каждую постигаемую им определенность, в дурное бесконечное.
Выше же было сказано, что определение математического бесконечного и притом так, как им пользуются в высшем анализе, соответствует понятию истинного бесконечного; теперь следует сопоставить эти два определения в более развернутом виде. - Что касается прежде всего истинно бесконечного определенного количества, то оно определилось как в самом себе бесконечное;
оно таково, поскольку, как мы выяснили, и конечное определенное количество или определенное количество вообще, и его потустороннее - дурное бесконечное - одинаково сняты. Снятое определенное количество возвратилось тем самым к простоте и к соотношению с самим собой, но не только так, как экстенсивное определенное количество, переходившее в интенсивное определенное количество, которое имеет свою определенность в каком-то внешнем многообразии лишь в себе, однако, как полагают, безразлично к этому многообразию и отлично от него. Бесконечное определенное количество скорее содержит, во-первых, внешность и, во-вторых, ее отрицание в самом себе. В этом случае оно уже не конечное определенное количество, не определенность величины, которая имела бы наличное бытие как определенное количество, оно нечто простое и потому дано лишь как момент; оно определенность величины в качественной форме; его бесконечность состоит в том, что оно дано как некоторая качественная определенность. - Таким образом, как момент оно находится в сущностном единстве со своим иным, дано лишь как определенное этим своим иным, т. е. оно имеет значение лишь в связи с чем-то находящимся с ним в отношении. Вне этого отношения оно нуль, между тем именно определенное количество, как таковое, безразлично, как полагают, к отношению, хотя оно и есть в нем непосредственное неподвижное определение. В отношении оно только как момент не есть нечто само по себе безразличное; в бесконечности как для-себя-бытии оно, будучи в то же время некоторой количественной определенностью, дано лишь как некоторое "для-одного".
Понятие бесконечного, как оно здесь изложено абстрактно, окажется лежащим в основе математического бесконечного, и оно само станет более ясным, когда рассмотрим различные ступени выражения определенного количества как момента отношения, начиная с низшей ступени, на которой оно еще есть также определенное количество, как таковое, и кончая высшей, где оно приобретает значение и выражение бесконечной величины в собственном смысле.
Итак, возьмем сначала определенное количество в том отношении, в котором оно дробное число. Такая дробь, например, 2/7 не есть такое определенное количество, как 1, 2, 3 и т. д.;
она, правда, обычное конечное число, однако не непосредственное, как целые числа, а как дробь опосредствованно определенное двумя другими числами, которые суть в отношении друг друга численность и единица, причем и единица есть некоторая численность. Но взятые абстрагирование от этого их более точного определения относительно друг друга и рассматриваемые лишь в соответствии с тем, что в качественном соотношении, в котором они здесь находятся, происходит с ними как с определенными количествами, 2 и 7 помимо этого соотношения суть безразличные определенные количества; но выступая здесь как моменты, друг друга и тем самым некоторого третьего (того определенного количества, которое называется показателем), они имеют значение не как 2 и 7, а лишь со стороны их определенности относительно друг друга. Поэтому можно вместо них с таким же успехом поставить также 4 и 14 или 6 и 21 и т. д. до бесконечности. Тем самым они, следовательно, начинают приобретать качественный характер. Если бы 2 и 7 имели значение только как определенные количества, то одно было бы просто 2, а другое 7; 4, 14, б, 21 и т. д. - нечто совершенно иное, чем эти числа, и, поскольку они лишь непосредственные определенные количества, одни из них не могут быть подставлены вместо других. Но поскольку 2 и 7 имеют значение не со стороны той определенности, что они такие определенные количества, их безразличная граница снята; они, стало быть, с этой стороны заключают в себе момент бесконечности, ибо они не только уже не то, что они суть, но сохраняется их количественная определенность, однако как в себе сущая качественная определенность, а именно согласно тому, что они значат в отношении. Они могут быть заменены бесконечным множеством других чисел, так что определенность отношения не изменяет величину дроби.
Но изображение бесконечности в числовой дроби несовершенно еще и потому, что оба члена дроби, 2 и 7, могут быть изъяты из отношения, и тогда они обыкновенные безразличные определенные количества; их соотношение - то, что они суть члены отношения и моменты, - есть для них нечто внешнее и безразличное. И точно так же само их соотношение есть обычное определенное количество, показатель отношения.
Буквы, которыми оперируют в общей арифметике, т. е. ближайшая всеобщность, в которую возводятся числа, не обладают свойством иметь определенную числовую величину; они лишь всеобщие знаки и неопределенные возможности любой определенной величины. Дробь представляется поэтому более подходящим выражением бесконечного, так как а и Ь, изъятые из их соотношения, остаются неопределенными и не имеют особой им принадлежащей величины, даже будучи отделены друг от друга. - Однако, хотя эти буквы положены как неопределенные величины, их смысл все же состоит в том, что они какое-то конечное определенное количество. Так как они хотя и всеобщее представление, но лишь об определенном числе, то для них одинаково безразлично то, что они находятся в отношении, и вне этого отношения они сохраняют то же самое значение.
Если присмотримся еще пристальнее к тому, что имеется в отношении, то увидим, что ему присущи оба определения: оно, во-первых, определенное количество, но последнее есть, во-вторых, не непосредственное определенное количество, а такое, которое содержит качественную противоположность; в то же время оно остается в отношении тем определенным, безразличным квантом благодаря тому, что оно возвращается в себя из "своего инобытия, из противоположности и, следовательно, есть также нечто бесконечное. Эти два определения, развитые в их отличии друг от друга, представляются в следующей общеизвестной форме.
2 1 Дробь - может быть выражена как 0,285714...., как
1 + а + а2 + а3 и т. д. Таким образом, она дана как бесконечный ряд; сама дробь называется суммой или конечным выражением этого ряда. Если сравним между собой эти два выражения, то окажется, что одно, бесконечный ряд, представляет ее уже не как отношение, а с той стороны, что она определенное количество как множество таких количеств, которые присоединяются одно к другому, - как некоторая численность. - Что величины, которые должны составить дробь как некую численность, сами в свою очередь состоят из десятичных дробей, стало быть, сами состоят из отношений, - это не имеет здесь значения; ибо это обстоятельство касается особого рода единицы, этих величин, а не их, поскольку они конституируют численность; ведь и состоящее из нескольких цифр целое число десятеричной системы также считается по своей сути численностью, и не обращается внимания на то, что она состоит из произведений некоторых чисел на число десять и его степени. Не важно здесь и то, что имеются другие 2 дроби, нежели взятая в качестве примера дробь , которые, будучи обращены в десятичные дроби, не дают бесконечного ряда; однако каждая из них может быть изображена как такой ряд в числовой системе другой единицы.
Так как в бесконечном ряде, который должен представлять дробь как численность, исчезает та ее сторона, что она отношение, то исчезает и та сторона, что она, как показано выше, в самой себе имеет бесконечность. Но эта бесконечность вошла другим способом, а именно сам ряд бесконечен.
Какова эта бесконечность ряда - это явствует само собой; она дурная бесконечность прогресса. Ряд содержит и представляет следующее противоречие: нечто, будучи отношением и имея внутри себя качественную природу, изображается как лишенное отношений, просто как определенное количество, как численность. Следствием этого [противоречия] оказывается то, что в численности, выражаемой в ряде, всегда чего-то недостает, так что для того, чтобы достигнуть требуемой определенности, всегда нужно выходить за пределы того, что положено. Закон этого продвижения известен; он заключается в определении определенного количества, содержащемся в дроби, и в природе формы, в которой это определение должно быть выражено. Можно, правда, продолжая ряд, сделать численность столь точной, сколь это нужно. Однако изображение [численности ] посредством ряда всегда остается лишь долженствованием; оно обременено неким потусторонним, которое не может быть снято, так как попытка выразить в виде численности то, что основано на качественной определенности, есть постоянное противоречие.
В этом бесконечном ряде действительно имеется та неточность, которая в истинном математическом бесконечном встречается лишь как видимость. Не следует смешивать эти два вида математического бесконечного, точно так же как не следует смешивать оба вида философского бесконечного. Для изображения истинного математического бесконечного сначала пользовались формой ряда, и в новейшее время она опять была вызвана к жизни. Но она для него не необходима. Напротив, как станет ясно из последующего, бесконечное бесконечного ряда сущностно отличается от истинного математического бесконечного. Скорее он уступает [в этом отношении] даже такому выражению, как дробь.
А именно бесконечный ряд содержит дурную бесконечность, так как то, что он должен выразить, остается долженствованием, а то, что он выражает, обременено неисчезающим потусторонним и отличается от того, что должно быть выражено. Он бесконечен не из-за положенных членов, а потому, что они неполны, потому что иное, сущностно принадлежащее к ним, находится по ту сторону их; то, что в нем есть, хотя бы положенных членов было сколь угодно много, есть лишь конечное в собственном смысле этого слова, положенное как конечное, т. е. как такое, что не есть то, чем оно должно быть. Напротив, то, что называется конечным выражением или суммой такого ряда, безупречно; оно полностью содержит то значение, которого ряд только ищет; потустороннее возвращено из своего бегства; то, что этот ряд есть, и то, чем он должен быть, уже не разделено, а есть одно и то же.
Различает их, если говорить точнее, то, что в бесконечном ряде отрицательное находится вне его членов, которые имеются налицо, так как они признаются лишь частями численности. Напротив, в конечном выражении, которое есть отношение, отрицательное имманентно как определяемость сторон отношения друг другом, которая есть возвращение в себя, соотносящееся с собой единство как отрицание отрицания (обе стороны отношения даны лишь как моменты), и, следовательно, имеет внутри себя определение бесконечности. - Таким образом, обычно так называемая сумма, - или -,--- есть на самом деле отношение, и / 1 - а это так называемое конечное выражение есть истинно бесконечное выражение. Бесконечный ряд есть на самом деле скорее сумма; его цель - то, что в себе есть отношение, представить в форме некоторой суммы, и имеющиеся налицо члены ряда даны не как члены отношения, а как члены агрегата. Он, далее, есть скорее конечное выражение, ибо он несовершенный агрегат и остается по своему существу чем-то недостаточным. По тому, что в нем имеется, он определенный квант, но в то же время меньший, чем тот, которым он должен быть; и то, чего ему недостает, также есть определенный квант; эта недостающая часть есть на самом деле то, что называется в ряде бесконечным только с той формальной стороны, что она есть нечто недостающее, некоторое небытие; по своему содержанию она конечное определенное количество. Только то, что налично в ряде, совокупно с тем, чего ему недостает, составляет дробь, определенный квант, которым ряд также должен быть, но которым он не в состоянии быть. - Слово "бесконечное" также и в сочетании "бесконечный ряд" обычно кажется мнению чем-то возвышенным и величественным; это некоторого рода суеверие, суеверие рассудка. Мы видели, что оно сводится скорее к определению недостаточности.
Можно еще заметить, что то, что имеются такие бесконечные ряды, которые не суммируются, - это в отношении формы ряда вообще обстоятельство внешнее и случайное. Ряды эти содержат более высокий вид бесконечности, чем суммирующиеся ряды, а именно несоизмеримость, или, иначе говоря, невозможность представить содержащееся в них количественное отношение как определенное количество, хотя бы в виде дроби. Но свойственная им форма ряда, как таковая, содержит то же самое определение дурной бесконечности, какое присуще суммирующемся ряду.
Только что указанная на примере дроби и ее ряда превратность выражения имеет место и тогда, когда математическое бесконечное - а именно не только что названное, а истинное - называют относительным бесконечным, обычное же метафизическое, под которым разумеют абстрактное, дурное бесконечное, абсолютным. На самом же деле это метафизическое бесконечное скорее лишь относительно, ибо выражаемое им отрицание противоположно границе лишь в том смысле, что граница остается существовать вне него и не снимается им; математическое же бесконечное действительно сняло конечную границу внутри себя, так как ее потустороннее соединено с ней.
Спиноза выставляет и поясняет примерами понятие истинной бесконечности в противоположность дурной главным образом в том смысле, в котором мы показали, что так называемая сумма или конечное выражение бесконечного ряда следует рассматривать скорее как бесконечное выражение. Понятие истинной бесконечности будет лучше всего освещено, если я рассмотрю сказанное им об этом предмете непосредственно вслед за только что изложенными соображениями.
Спиноза определяет прежде всего бесконечное как абсолютное утверждение существования какой-нибудь природы, а конечное, напротив, как определенность, как отрицание. Абсолютное утверждение некоторого существования следует понимать именно как его соотношение с самим собой, означающее, что оно есть не потому, что другое есть; конечное же есть отрицание, есть прекращение как соотношение с некоторым иным, начинающимся вне его. Абсолютное утверждение некоторого существования, правда, не исчерпывает понятия бесконечности; это понятие подразумевает, что бесконечность есть утверждение не как непосредственное, а только как восстановление через рефлексию иного в само себя, или, иначе говоря, как отрицание отрицательного. Но у Спинозы субстанция и ее абсолютное единство имеют форму неподвижного единства, т. е. не опосредствующего себя с самим собой, - форму какой-то оцепенелости, в которой еще не находится понятие отрицательного единства самости, субъективность.
Примечание 1
Определенность понятия математического бесконечного
Математическое бесконечное интересно, с одной стороны, ввиду расширения [сферы] математики и ввиду великих результатов, достигнутых благодаря введению его в математику; с Другой же стороны, оно достойно внимания по той причине, что этой науке еще не удалось посредством понятия (понятия в собственном смысле) обосновать правомерность его применения. Все обоснования зиждутся в конечном счете на правильности результатов, получающихся при помощи этого определения, правильности, доказанной из других оснований, но не на ясности предмета и действий, благодаря которым достигнуты эти результаты; более того: признается даже, что сами эти действия неправильны.
Это уже само по себе недостаток; такой образ действия ненаучен. Но он влечет за собой еще и тот вред, что математика, не зная природы этого своего орудия из-за того, что не справилась с его метафизикой и критикой, не могла определить сферу его применения и предохранить себя от злоупотребления им.
В философском же отношении математическое бесконечное важно потому, что в его основе действительно лежит понятие истинного бесконечного и оно куда выше, чем обычно называемое так метафизическое бесконечное, исходя из которого выдвигаются против него возражения. От этих возражений математическая наука часто умеет спасаться лишь тем, что она отвергает компетенцию метафизики, утверждая, что ей нет дела до этой науки, что ей нечего заботиться о ее понятиях, если только она действует последовательно на своей собственной почве. Она-де должна рассматривать не то, что истинно в себе, а то, что истинно в ее области. При всех своих возражениях против математического бесконечного метафизика не может отрицать или опровергнуть блестящие результаты, которые дало его применение, а математика не в состоянии точно выяснить метафизику своего собственного понятия, а потому не в состоянии также и дать основание (Ableitung) тех приемов, которые делает необходимыми применение бесконечного.
Если бы над математикой тяготело одно лишь затруднение, причиняемое понятием вообще, то она могла бы без околичностей оставить его в стороне, поскольку именно понятие есть нечто большее, чем только указание сущностных определенностей, т. е. рассудочных определений той или иной вещи, а упрекнуть математику в недостаточной строгости этих определенностей никак нельзя; [она могла бы оставить в стороне это затруднение], ибо не принадлежит к тем наукам, которые должны иметь дело с понятиями своих предметов и образовать свое содержание через развитие понятия, хотя бы только путем резонерства. Но применяя метод своего бесконечного, она находит главное противоречие в самбм характерном для нее методе, на котором она вообще основывается как наука. Ибо исчисление бесконечного разрешает и требует таких приемов, которые она должна отвергать, оперируя конечными величинами, и в то же время она обращается со своими бесконечными величинами как с конечными определенными количествами и хочет применять к первым те же приемы, которые применяются к последним. Очень важно для развития этой науки то, что она нашла для трансцендентных определений и действий над ними форму обычного исчисления (Kalkuls).
При всей этой противоречивости своих действий математика показывает, что результаты, которые она получает посредством их, вполне совпадают с теми, которые она получает с помощью собственно математического метода, геометрического и аналитического метода. Однако, с одной стороны, это касается не всех результатов, и цель введения [математического] бесконечного не только сокращение обычного пути, а достижение результатов, которых последний дать не может. С другой же стороны, успех сам по себе не может служить оправданием характера пути (die Manier des Wegs). А этот характер исчисления бесконечного отягощен видимостью неточности, которую он сам себе придает, увеличивая конечные величины на бесконечно малую величину и отчасти сохраняя эту последнюю в дальнейших действиях, отчасти же и пренебрегая ею. Этот прием заключает в себе ту странность, что, несмотря на признаваемую неточность, получается результат, который не только довольно точен и столь близок [к истинному результату ], что можно не обращать внимания на разницу, но и совершенно точен. В самом же действии, предшествующем результату, нельзя обойтись без представления, что некоторые величины не равны нулю, но они столь незначительны, что их можно оставить без внимания. Однако в том, что понимают под математической определенностью, совершенно отпадает всякое различие между большей или меньшей точностью, подобно тому как в философии может идти речь не о большей или меньшей вероятности, а единственно лишь об истине. Если метод и применение бесконечного и находят оправдание в успехе, то все же требовать их обоснования не так излишне, как представляется излишним, например, требование доказать право пользоваться собственным носом. Ведь в математическом познании как познании научном существенное значение имеет доказательство, а в отношении получаемых результатов также оказывается, что строго математический метод не для всех их доставляет аргумент успеха, который к тому же есть лишь внешний аргумент.
Стоит рассмотреть более внимательно математическое понятие бесконечного и наиболее замечательные попытки, которые ставят себе целью найти оправдание в пользовании им и устранить затруднение, отягчающее метод. Рассмотрение таких оправданий и определений математического бесконечного, которые я намерен изложить в этом примечании более пространно, бросит в то же время наиболее яркий свет и на самое природу истинного понятия и покажет, как оно представлялось и легло в основу этих попыток.
Обычное определение математического бесконечного гласит, что оно есть величина, больше которой, если она определена как бесконечно большая, или меньше которой, если она определена как бесконечно малая, уже нет или - в другой формулировке - как величина, которая в первом случае больше, а во втором меньше любой другой величины. - В этой дефиниции выражено, конечно, не истинное понятие, а скорее, как уже отмечено, лишь то же противоречие, что и в бесконечном прогрессе. Но посмотрим, что содержится в ней в себе. Величина определяется в математике как то, что может быть увеличено или уменьшено, следовательно, вообще как безразличная граница. И вот, так как бесконечно большое или бесконечно малое есть нечто такое, что уже больше не может быть увеличено или уменьшено, то оно на самом деле уже не определенное количество, как таковое.
Этот вывод необходим и непосредствен. Но именно это соображение, что определенное количество, - а я называю в этом примечании определенным количеством вообще то, чтб оно есть, [а именно ] конечное определенное количество, - снято, обычно не приходит на ум, а между тем оно-то и составляет затруднение для обыденного понимания, так как требуется, чтобы определенное количество, когда оно бесконечно, мыслилось как нечто снятое, как нечто такое, что не есть определенное количество, но количественная определенность чего все же сохраняется.
Если обратимся к тому, как относится к этому определению Кант *, то увидим, что он его находит несогласующимся с тем, что понимают под бесконечным целым. "Согласно обыденному понятию бесконечна та величина, больше которой (т. е. больше определенного множества содержащихся в ней данных единиц) невозможна никакая другая величина. Но никакое множество не может быть наибольшим, так как ко всякому множеству можно прибавить еще одну или несколько единиц. Бесконечное целое не дает нам представления о том, как оно велико, стало быть, понятие его не есть понятие максимума (или минимума): посредством него мыслится только его отношение к любой полагаемой единице, для которой бесконечное целое больше всякого числа. В зависимости от того, взяли ли мы большую или меньшую единицу, бесконечное было бы большим или меньшим, но бесконечность, так как она состоит лишь в отношении к этой данной единице, оставалась бы одной и той же, хотя, конечно, абсолютная величина целого вовсе не была бы таким образом познана".
Кант отвергает признание бесконечного целого некоторым максимумом, завершенным множеством данных единиц. Максимум или минимум, как таковой, все еще представляется определенным количеством, множеством. Таким представлением не может быть отклонено указанное Кантом заключение, которое приводит к большему или меньшему бесконечному. Вообще, когда бесконечное представляют как определенное количество, для него сохраняет значение различие большего или меньшего. Но эта критика не затрагивает понятия истинного математического бесконечного, бесконечной разности, ибо последняя уже не конечное определенное количество.
Напротив, даваемое Кантом понятие бесконечности, которое он называет истинно трансцендентальным, гласит, что "последовательный синтез единицы при измерении определенного количества никогда не может быть закончен" ". В этом понятии подразумевается, как данное, определенное количество вообще; требуется, чтобы оно посредством синтеза единицы стало некоторой численностью, определенным количеством, которое следует точно указать, но, [по утверждению Канта], невозможно когда-либо закончить такой синтез. Этим совершенно очевидно выражено не что иное, как бесконечный прогресс, только представляют себе его здесь трансцендентально, т. е., собственно говоря, субъективно и психологически. Само по себе, дескать, определенное количество, правда, завершено, но трансцендентальным образом, а именно в субъекте, сообщающем ему отношение к некоторой единице, возникает лишь такое определение определенного количества, которое не завершено и всецело обременено потусторонним. Следовательно, здесь вообще не идут дальше противоречия, которое содержится в величине, но которое распределено между объектом и субъектом, так что на долю первого выпадает ограниченность, а на долю второго - выхождение за каждую постигаемую им определенность, в дурное бесконечное.
Выше же было сказано, что определение математического бесконечного и притом так, как им пользуются в высшем анализе, соответствует понятию истинного бесконечного; теперь следует сопоставить эти два определения в более развернутом виде. - Что касается прежде всего истинно бесконечного определенного количества, то оно определилось как в самом себе бесконечное;
оно таково, поскольку, как мы выяснили, и конечное определенное количество или определенное количество вообще, и его потустороннее - дурное бесконечное - одинаково сняты. Снятое определенное количество возвратилось тем самым к простоте и к соотношению с самим собой, но не только так, как экстенсивное определенное количество, переходившее в интенсивное определенное количество, которое имеет свою определенность в каком-то внешнем многообразии лишь в себе, однако, как полагают, безразлично к этому многообразию и отлично от него. Бесконечное определенное количество скорее содержит, во-первых, внешность и, во-вторых, ее отрицание в самом себе. В этом случае оно уже не конечное определенное количество, не определенность величины, которая имела бы наличное бытие как определенное количество, оно нечто простое и потому дано лишь как момент; оно определенность величины в качественной форме; его бесконечность состоит в том, что оно дано как некоторая качественная определенность. - Таким образом, как момент оно находится в сущностном единстве со своим иным, дано лишь как определенное этим своим иным, т. е. оно имеет значение лишь в связи с чем-то находящимся с ним в отношении. Вне этого отношения оно нуль, между тем именно определенное количество, как таковое, безразлично, как полагают, к отношению, хотя оно и есть в нем непосредственное неподвижное определение. В отношении оно только как момент не есть нечто само по себе безразличное; в бесконечности как для-себя-бытии оно, будучи в то же время некоторой количественной определенностью, дано лишь как некоторое "для-одного".
Понятие бесконечного, как оно здесь изложено абстрактно, окажется лежащим в основе математического бесконечного, и оно само станет более ясным, когда рассмотрим различные ступени выражения определенного количества как момента отношения, начиная с низшей ступени, на которой оно еще есть также определенное количество, как таковое, и кончая высшей, где оно приобретает значение и выражение бесконечной величины в собственном смысле.
Итак, возьмем сначала определенное количество в том отношении, в котором оно дробное число. Такая дробь, например, 2/7 не есть такое определенное количество, как 1, 2, 3 и т. д.;
она, правда, обычное конечное число, однако не непосредственное, как целые числа, а как дробь опосредствованно определенное двумя другими числами, которые суть в отношении друг друга численность и единица, причем и единица есть некоторая численность. Но взятые абстрагирование от этого их более точного определения относительно друг друга и рассматриваемые лишь в соответствии с тем, что в качественном соотношении, в котором они здесь находятся, происходит с ними как с определенными количествами, 2 и 7 помимо этого соотношения суть безразличные определенные количества; но выступая здесь как моменты, друг друга и тем самым некоторого третьего (того определенного количества, которое называется показателем), они имеют значение не как 2 и 7, а лишь со стороны их определенности относительно друг друга. Поэтому можно вместо них с таким же успехом поставить также 4 и 14 или 6 и 21 и т. д. до бесконечности. Тем самым они, следовательно, начинают приобретать качественный характер. Если бы 2 и 7 имели значение только как определенные количества, то одно было бы просто 2, а другое 7; 4, 14, б, 21 и т. д. - нечто совершенно иное, чем эти числа, и, поскольку они лишь непосредственные определенные количества, одни из них не могут быть подставлены вместо других. Но поскольку 2 и 7 имеют значение не со стороны той определенности, что они такие определенные количества, их безразличная граница снята; они, стало быть, с этой стороны заключают в себе момент бесконечности, ибо они не только уже не то, что они суть, но сохраняется их количественная определенность, однако как в себе сущая качественная определенность, а именно согласно тому, что они значат в отношении. Они могут быть заменены бесконечным множеством других чисел, так что определенность отношения не изменяет величину дроби.
Но изображение бесконечности в числовой дроби несовершенно еще и потому, что оба члена дроби, 2 и 7, могут быть изъяты из отношения, и тогда они обыкновенные безразличные определенные количества; их соотношение - то, что они суть члены отношения и моменты, - есть для них нечто внешнее и безразличное. И точно так же само их соотношение есть обычное определенное количество, показатель отношения.
Буквы, которыми оперируют в общей арифметике, т. е. ближайшая всеобщность, в которую возводятся числа, не обладают свойством иметь определенную числовую величину; они лишь всеобщие знаки и неопределенные возможности любой определенной величины. Дробь представляется поэтому более подходящим выражением бесконечного, так как а и Ь, изъятые из их соотношения, остаются неопределенными и не имеют особой им принадлежащей величины, даже будучи отделены друг от друга. - Однако, хотя эти буквы положены как неопределенные величины, их смысл все же состоит в том, что они какое-то конечное определенное количество. Так как они хотя и всеобщее представление, но лишь об определенном числе, то для них одинаково безразлично то, что они находятся в отношении, и вне этого отношения они сохраняют то же самое значение.
Если присмотримся еще пристальнее к тому, что имеется в отношении, то увидим, что ему присущи оба определения: оно, во-первых, определенное количество, но последнее есть, во-вторых, не непосредственное определенное количество, а такое, которое содержит качественную противоположность; в то же время оно остается в отношении тем определенным, безразличным квантом благодаря тому, что оно возвращается в себя из "своего инобытия, из противоположности и, следовательно, есть также нечто бесконечное. Эти два определения, развитые в их отличии друг от друга, представляются в следующей общеизвестной форме.
2 1 Дробь - может быть выражена как 0,285714...., как
1 + а + а2 + а3 и т. д. Таким образом, она дана как бесконечный ряд; сама дробь называется суммой или конечным выражением этого ряда. Если сравним между собой эти два выражения, то окажется, что одно, бесконечный ряд, представляет ее уже не как отношение, а с той стороны, что она определенное количество как множество таких количеств, которые присоединяются одно к другому, - как некоторая численность. - Что величины, которые должны составить дробь как некую численность, сами в свою очередь состоят из десятичных дробей, стало быть, сами состоят из отношений, - это не имеет здесь значения; ибо это обстоятельство касается особого рода единицы, этих величин, а не их, поскольку они конституируют численность; ведь и состоящее из нескольких цифр целое число десятеричной системы также считается по своей сути численностью, и не обращается внимания на то, что она состоит из произведений некоторых чисел на число десять и его степени. Не важно здесь и то, что имеются другие 2 дроби, нежели взятая в качестве примера дробь , которые, будучи обращены в десятичные дроби, не дают бесконечного ряда; однако каждая из них может быть изображена как такой ряд в числовой системе другой единицы.
Так как в бесконечном ряде, который должен представлять дробь как численность, исчезает та ее сторона, что она отношение, то исчезает и та сторона, что она, как показано выше, в самой себе имеет бесконечность. Но эта бесконечность вошла другим способом, а именно сам ряд бесконечен.
Какова эта бесконечность ряда - это явствует само собой; она дурная бесконечность прогресса. Ряд содержит и представляет следующее противоречие: нечто, будучи отношением и имея внутри себя качественную природу, изображается как лишенное отношений, просто как определенное количество, как численность. Следствием этого [противоречия] оказывается то, что в численности, выражаемой в ряде, всегда чего-то недостает, так что для того, чтобы достигнуть требуемой определенности, всегда нужно выходить за пределы того, что положено. Закон этого продвижения известен; он заключается в определении определенного количества, содержащемся в дроби, и в природе формы, в которой это определение должно быть выражено. Можно, правда, продолжая ряд, сделать численность столь точной, сколь это нужно. Однако изображение [численности ] посредством ряда всегда остается лишь долженствованием; оно обременено неким потусторонним, которое не может быть снято, так как попытка выразить в виде численности то, что основано на качественной определенности, есть постоянное противоречие.
В этом бесконечном ряде действительно имеется та неточность, которая в истинном математическом бесконечном встречается лишь как видимость. Не следует смешивать эти два вида математического бесконечного, точно так же как не следует смешивать оба вида философского бесконечного. Для изображения истинного математического бесконечного сначала пользовались формой ряда, и в новейшее время она опять была вызвана к жизни. Но она для него не необходима. Напротив, как станет ясно из последующего, бесконечное бесконечного ряда сущностно отличается от истинного математического бесконечного. Скорее он уступает [в этом отношении] даже такому выражению, как дробь.
А именно бесконечный ряд содержит дурную бесконечность, так как то, что он должен выразить, остается долженствованием, а то, что он выражает, обременено неисчезающим потусторонним и отличается от того, что должно быть выражено. Он бесконечен не из-за положенных членов, а потому, что они неполны, потому что иное, сущностно принадлежащее к ним, находится по ту сторону их; то, что в нем есть, хотя бы положенных членов было сколь угодно много, есть лишь конечное в собственном смысле этого слова, положенное как конечное, т. е. как такое, что не есть то, чем оно должно быть. Напротив, то, что называется конечным выражением или суммой такого ряда, безупречно; оно полностью содержит то значение, которого ряд только ищет; потустороннее возвращено из своего бегства; то, что этот ряд есть, и то, чем он должен быть, уже не разделено, а есть одно и то же.
Различает их, если говорить точнее, то, что в бесконечном ряде отрицательное находится вне его членов, которые имеются налицо, так как они признаются лишь частями численности. Напротив, в конечном выражении, которое есть отношение, отрицательное имманентно как определяемость сторон отношения друг другом, которая есть возвращение в себя, соотносящееся с собой единство как отрицание отрицания (обе стороны отношения даны лишь как моменты), и, следовательно, имеет внутри себя определение бесконечности. - Таким образом, обычно так называемая сумма, - или -,--- есть на самом деле отношение, и / 1 - а это так называемое конечное выражение есть истинно бесконечное выражение. Бесконечный ряд есть на самом деле скорее сумма; его цель - то, что в себе есть отношение, представить в форме некоторой суммы, и имеющиеся налицо члены ряда даны не как члены отношения, а как члены агрегата. Он, далее, есть скорее конечное выражение, ибо он несовершенный агрегат и остается по своему существу чем-то недостаточным. По тому, что в нем имеется, он определенный квант, но в то же время меньший, чем тот, которым он должен быть; и то, чего ему недостает, также есть определенный квант; эта недостающая часть есть на самом деле то, что называется в ряде бесконечным только с той формальной стороны, что она есть нечто недостающее, некоторое небытие; по своему содержанию она конечное определенное количество. Только то, что налично в ряде, совокупно с тем, чего ему недостает, составляет дробь, определенный квант, которым ряд также должен быть, но которым он не в состоянии быть. - Слово "бесконечное" также и в сочетании "бесконечный ряд" обычно кажется мнению чем-то возвышенным и величественным; это некоторого рода суеверие, суеверие рассудка. Мы видели, что оно сводится скорее к определению недостаточности.
Можно еще заметить, что то, что имеются такие бесконечные ряды, которые не суммируются, - это в отношении формы ряда вообще обстоятельство внешнее и случайное. Ряды эти содержат более высокий вид бесконечности, чем суммирующиеся ряды, а именно несоизмеримость, или, иначе говоря, невозможность представить содержащееся в них количественное отношение как определенное количество, хотя бы в виде дроби. Но свойственная им форма ряда, как таковая, содержит то же самое определение дурной бесконечности, какое присуще суммирующемся ряду.
Только что указанная на примере дроби и ее ряда превратность выражения имеет место и тогда, когда математическое бесконечное - а именно не только что названное, а истинное - называют относительным бесконечным, обычное же метафизическое, под которым разумеют абстрактное, дурное бесконечное, абсолютным. На самом же деле это метафизическое бесконечное скорее лишь относительно, ибо выражаемое им отрицание противоположно границе лишь в том смысле, что граница остается существовать вне него и не снимается им; математическое же бесконечное действительно сняло конечную границу внутри себя, так как ее потустороннее соединено с ней.
Спиноза выставляет и поясняет примерами понятие истинной бесконечности в противоположность дурной главным образом в том смысле, в котором мы показали, что так называемая сумма или конечное выражение бесконечного ряда следует рассматривать скорее как бесконечное выражение. Понятие истинной бесконечности будет лучше всего освещено, если я рассмотрю сказанное им об этом предмете непосредственно вслед за только что изложенными соображениями.
Спиноза определяет прежде всего бесконечное как абсолютное утверждение существования какой-нибудь природы, а конечное, напротив, как определенность, как отрицание. Абсолютное утверждение некоторого существования следует понимать именно как его соотношение с самим собой, означающее, что оно есть не потому, что другое есть; конечное же есть отрицание, есть прекращение как соотношение с некоторым иным, начинающимся вне его. Абсолютное утверждение некоторого существования, правда, не исчерпывает понятия бесконечности; это понятие подразумевает, что бесконечность есть утверждение не как непосредственное, а только как восстановление через рефлексию иного в само себя, или, иначе говоря, как отрицание отрицательного. Но у Спинозы субстанция и ее абсолютное единство имеют форму неподвижного единства, т. е. не опосредствующего себя с самим собой, - форму какой-то оцепенелости, в которой еще не находится понятие отрицательного единства самости, субъективность.