Глава III Неисчислимое множество
Лейбниц, как мы видели, ни в коей мере не допускает «бесконечное число», поскольку он, наоборот, явно заявляет, что оно, в каком бы смысле мы его ни желали понимать, подразумевает противоречие; но вопреки этому он допускает то, что он называет «бесконечным множеством», даже не уточняя, что по крайней мере сделали бы схоласты, что здесь в любом случае может быть лишь infinitum secundum quid, и последовательность чисел для него – это пример такого множества. Однако, с другой стороны, в количественной области и даже в том, что касается непрерывной величины, идея бесконечного казалась ему всегда подозрительной в силу по меньшей мере возможного противоречия, так как, далеко не будучи адекватной идеей, она неизбежно включает в себя определённую долю путаницы, и мы можем быть уверены, что идея не предполагает никакого противоречия лишь тогда, когда мы отчетливо представляем все её элементы;1 это почти не позволяет признать за этой идеей «символический», мы бы сказали даже «изобразительный» характер, и именно поэтому он никогда не осмеливался, как мы увидим далее, ясно высказываться о реальности «бесконечно малых»; но само это затруднение и такая выражающая сомнение позиция ещё лучше выявляют отсутствие того принципа, который позволял бы ему допустить, что можно говорить о «бесконечном множестве». Можно также после этого задать вопрос о том, не считал ли он, что такое множество, чтобы быть «бесконечным», как он о нем говорит, должно быть не только «неисчислимым», что очевидно, но что само оно ни в коей мере не должно быть количественным, если брать количество во всей его широте и во всех его модальностях – это может быть истинным в некотором случае, но не во всех; как бы то ни было, это ещё один пункт, по которому он никогда явно не объяснялся.
Идея множества, которое превосходит любое число и которое, как следствие, не является числом, кажется, удивила большинство тех, кто обсуждал концепции Лейбница, как «финитистов», так и «инфинитистов»; она, впрочем, вовсе не присуща Лейбницу, как, кажется, все верили, и это была даже, наоборот, идея, совершенно обычная у схоластов.2 Под этой идеей понималось, собственно говоря, всё то, что не является ни числом, ни «исчислимым», то есть всё то, что не зависит от дискретной величины, идёт ли речь о вещах, принадлежащих другим модальностям количества или о том, что полностью находится вне количественной области, так как речь здесь идёт об идее «трансцендентального» порядка, то есть об общих модальностях бытия, которые, в противоположность его специальным модальностям, ему соразмерны.3 Именно это позволяет говорить, например, о множестве божественных атрибутов, или также о множестве ангелов, то есть существ, принадлежащих состояниям, которые не подчинены количеству и где, как следствие, не может быть и речи о числе; это также позволяет нам рассматривать состояния бытия или степени существования как наделенные множественностью или пребывающие в неопределённом множестве, тогда как количество – это лишь особое условие одного из них. С другой стороны, идея множества, будучи, в противоположность идее числа, применимой ко всему, что существует, должна неизбежно иметь множества количественного порядка, особенно в том, что касается непрерывной величины, и именно поэтому мы сейчас сказали, что не будет верным во всех случаях рассматривать так называемое «бесконечное множество», то есть то, которое превосходит любое число, как полностью выходящее за пределы области количества. Более того, само число может рассматриваться как разновидность множества, но при условии, что мы добавим, что это, согласно выражению Фомы Аквинского, «множество, измеряемое единицей»; любой иной вид множества, не будучи «исчислимым», является и «неизмеримым», то есть он является не бесконечным, но, собственно говоря, неопределённым.
Необходимо по этому поводу отметить одно странное обстоятельство; для Лейбница это множество, которое не образует собой числа, является тем не менее «результатом единиц»;4 что следует под этим понимать и о каких единицах может идти речь? Это слово «единица» может быть взято в двух совершенно различных смыслах: есть, с одной стороны, арифметическая или количественная единица, которая является первым элементом и исходным пунктом числа, а с другой стороны, то, что по аналогии обозначается как метафизическая единица, которая отождествляется с самим чистым бытием; мы не видим, что возможно какое-то иное значение, кроме этих; но, между прочим, когда говорят об «единицах», используя это слово во множественном числе, это, очевидно, может быть лишь количественный смысл. Однако, если это гак, то сумма единиц не может быть чем-то иным, кроме числа, и она ни в коей мере не может превосходить число; верно, что Лейбниц говорит о «результате», а не о «сумме», но это различие, даже если оно сделано намеренно, оставляет место для досадной неясности. Впрочем, он заявляет, что множество, не будучи числом, мыслится всё же по аналогии с числом: «Когда имеется больше вещей, – говорит он, – чем может быть понято под каким-то числом, то мы по аналогии наделяем их числом, которое мы называем бесконечным», хотя здесь перед нами лишь способ выражения, modus loquendi,5 и даже в такой форме весьма неправильный способ выражения, поскольку в реальности это ни в коей мере не число; но каким бы несовершенным ни было выражение и какой бы глубокой ни была путаница, для которой оно дает повод, мы должны в любом случае допустить, что отождествление множества с числом, разумеется, не лежало в основе его мысли.
Другой момент, которому, кажется, Лейбниц придает огромное значение, заключается в том, что «бесконечное», каким он его мыслит, не образует собой целого;6 именно это условие он считает необходимым для того, чтобы эта идея избежала противоречия, но здесь есть и иной пункт, который остается ещё изрядно туманным. Уместно спросить, о какого рода «целом» здесь идёт речь, и необходимо прежде всего полностью отбросить идею универсального целого, которое, наоборот, как мы уже говорили с самого начала, является самой метафизической бесконечностью, то есть единственно истинной бесконечностью, и которая здесь ни в коей мере не затрагивается; действительно, идёт ли речь о дискретном или о непрерывном, «бесконечное множество», которое рассматривает Лейбниц, в любом случае относится к ограниченной и случайной области космологического, а не метафизического порядка. Речь, очевидно, идёт о целом, мыслимом как состоящее из частей, тогда как, как мы уже объясняли в ином месте,7 универсальное целое, собственно говоря, лишено частей, в силу самой своей бесконечности, так как, поскольку эти части неизбежно должны быть относительными и конечными, то они не могли иметь с ним никакой реальной связи, что означает, что они для него не существуют. Мы, следовательно, должны ограничиться относительно поставленного вопроса рассмотрением частного целого; но здесь также, и особенно в том, что касается способа составления такого целого и его связи со своими частями, необходимо рассматривать два случая, соответствующие двум весьма различным значениям одного и того же слова «целое». Прежде всего речь идёт о целом, которое не является ни чем-то большим, ни чем-то иным, кроме простой суммы своих частей, из которых оно складывается по способу арифметической суммы, и то, о чем говорит Лейбниц, по сути дела, очевидно, так как такой способ образования и есть тот, что свойствен числу, и он не позволяет нам превзойти число; но, правду говоря, такое понятие, вместо того чтобы представлять собой единственный способ, как им целое может мыслиться, не является тем же самым понятием истинного целого в наиболее строгом смысле этого слова. На само деле целое, которое является лишь суммой или результатом своих частей и которое, как следствие, логически за ними следует, есть, как целое, не что иное, как ens rationis, так как оно представляет собой «единое» и «целое» лишь в той мере, в какой мы его таковым мыслим; само по себе это, собственно говоря, лишь «собрание», и именно мы тем способом, каким мы его рассматриваем, наделяем его в некотором относительном смысле признаками единства и целостности. Наоборот, истинное целое, обладающее этими признаками в силу самой своей природы, должно быть логически предшествующим своим частям и быть от них независимым: таков случай непрерывной совокупности, которую мы можем разделить на произвольные части, то есть на части любой величины, но которая ни в коей мере не предполагает действительного существования этих частей; здесь именно мы придаем частям как таковым определённую реальность посредством идеального или действительного деления, и таким образом этот случай в точности противоположен предыдущему.
Теперь весь вопрос в конечном счете состоит в том, чтобы знать, исключает ли Лейбниц, когда он говорит, что «бесконечное не является целым», этот второй смысл так же, как и первый; кажется, и даже с большой вероятностью, что исключает, поскольку это единственный случай, где целое было бы действительно «единым», и поскольку бесконечное, согласно его убеждению, не является пес unum, пес totum. Он также утверждает, что именно этот случай, а не первый, есть тот, что применим к живому существу или к организму, когда его рассматривают с точки зрения целостности; Лейбниц говорит: «Даже вселенная не является чем-то целым, и её не следует представлять как живое существо, душой которого является Бог, как это делали древние».8 Тем не менее, если это так, то не совсем ясно, как идеи бесконечного и непрерывного могут быть связанными, какими они чаще всего для него оказываются, так как идея непрерывного как раз и связывается, по крайней мере в некотором смысле, с этой второй концепцией целостности; но этот пункт может быть лучше понят впоследствии. В любом случае верно, что если Лейбниц и имел в виду третий смысл слова «целое», смысл чисто метафизический и превосходящий оба остальных, то есть имел в виду ту идею универсального целого, которую мы выдвинули с самого начала, то он не смог бы сказать, что идея бесконечного исключает целостность, так как в другом месте он заявляет: «Реальное бесконечное – это, может быть, само абсолютное, которое не состоит из частей, но которое, имея части, включает их в себя по высшей причине, как ступень совершенства».9 Здесь есть, по меньшей мере можно сказать, «свечение», так как на этот раз, словно в порядке исключения, он берет слово «бесконечное» в его истинном смысле, хотя было бы ошибкой утверждать, что это бесконечное «имеет части», как бы это ни желали понимать; но странно, что тогда он ещё выражал свою мысль лишь в вызывающей сомнения и затруднения форме, словно точное значение этой идеи ещё не было для него установлено; возможно, оно никогда и не было на самом деле установлено, так как иначе не объяснить, почему оно столь часто отклоняется от своего собственного смысла и почему иногда было так трудно, когда он говорил о бесконечном, узнать, был ли он намерен брать этот термин «в строгом смысле», пусть даже и тщетно, или же видел в нем лишь простой «способ выражения».
- 1. Декарт говорит только об идеях «ясных и отчетливых»; Лейбниц уточняет, что идея может быть ясной, не будучи отчетливой, в том, что она позволяет только узнать свой предмет и отличить его от всех остальных вещей, тогда как отчетливая идея – это та, которая является не только «отличающей» в данном смысле, но и «отличительной» в её элементах; идея может быть, впрочем, более или менее отчетливой, а адекватная идея – это та, что является отчетливой полностью и во всех своих элементах; но в то время, когда Декарт полагает, что можно иметь «ясные и отчетливые идеи» обо всех вещах, Лейбниц, напротив, считает, что одни лишь математические идеи могут быть адекватными, поскольку их элементы являются в некотором отношении определённым числом, тогда как все остальные идеи охватывают собой множество элементов, анализ которых никогда не может быть завершен, и поэтому они всегда остаются частично неясными. ↑
- 2. Мы процитируем только один текст из множества других, который особенно ясен на этот счет: Qui diceret aliquam multitudinem esse infinitam, non diceret eam esse numerum, vel numerum habere; addit etiam numerus super multitudinem rationem mensurations. Est enim numerus multitudo mensurata per unum, ...et propter hoc numerus ponitur species quantitatis discretae, non autem multitudo, sed est de transcendentibus (Фома Аквинский, III Phys. 1. 8). ↑
- 3. Известно, что схоласты даже, собственно говоря, в метафизической части своих доктрин, никогда не выходили за пределы рассмотрения бытия, и поэтому их метафизика фактически сводится к одной лишь онтологии. ↑
- 4. Лейбниц Г. В. Новая система природы и общения между субстанциями, а также о связи, существующей между душой и телом. Г. В. Лейбниц. Соч. В 4 т. Т. 1. М. 1982. ↑
- 5. Observatio quod rationes sive proportiones non habeant locum circa quantitates nihilo minores, et de vero sensu Methodi infinitesimalis, в Acta Eruditorum, Лейпциг, 1712. ↑
- 6. См.: в частности там же: Infinitum continuum vel discretum proprie nec unum, nec totum, nec quantum est, – где выражение nec quantum, кажется, означает, что для него, как мы выше указывали, «бесконечное множество» не следует понимать количественно, по крайней мере, под quantum он понимает здесь только определённое количество, как это было и в случае с мнимым «бесконечным числом», противоречивость которого он доказал. ↑
- 7. Об этом см.: также «Множественные состояния существа». Гл. I. ↑
- 8. Письмо Жану Бернулли. – Лейбниц здесь довольно голословно приписывает древним вообще мнение, которое на самом деле было лишь мнением некоторых из них; очевидно, он имел в виду теорию стоиков, которые представляли Бога только как имманентного Бога и отождествляли его с anima mundi. Само собой разумеется, что речь здесь идёт лишь о проявленной вселенной, то есть о «космосе», а не об универсальном целом, которое включает в себя все возможности, как непроявленные, так и проявленные. ↑
- 9. «Письмо Жану Бернулли». 7 июня 1698 г. ↑