-279-
то придется признать, что непрерывность состоит из точек, ибо «движение есть смена двух пребываний, которыми тело связано с двумя ближайшими точками в два ближайших момента...»46 Поскольку же составленность линии из точек уже была отвергнута, то Лейбниц обращается ко второй возможности — движению скачками. «Между промежутками покоя будет происходить моментальное движение скачком»47. Скачки эти можно мыслить как своего рода «транскреации», т. е. уничтожение тела в одной точке и сотворение его заново в другой, как, по-видимому, решали проблему движения мусульманские математики мутакаллимы: «Движущееся тело Е, пробыв некоторое время в А, исчезает и уничтожается, а в следующий момент снова возникает и возрождается в В»48. Характерно, что признать первую из двух возможностей, а именно непрерывность движения, Лейбницу мешает убеждение в том, что «движение есть смена двух пребываний», т. е. что оно прерывно по своему существу. И эта посылка представляется Лейбницу настолько само собой разумеющейся, что он не принимает идею непрерывности движения Аристотеля, средневековых физиков, Декарта. Но и «скачки» тоже не удовлетворяют Лейбница, представляются ему таким же «чудом», что и «совершенная твердость атомов, принимаемая Гюйгенсом»48.
Какой же выход видится здесь немецкому философу? Как ни неожиданно это для читателя, только что принявшего к сведению пассаж о невозможности актуально бесконечного в математических и физических объектах, но Лейбниц вновь возвращается к актуально бесконечному, отвергнутому в споре с Галилеем: «Я думаю так: нет такой части материи, которая не была бы актуально разделена на множество частей, и, следовательно, нет столь малого тела, в котором не содержался бы мир бесчисленных творений... Таким образом, и тело, и пространство, и время актуально подразделены до бесконечности»60. Соответственно теперь отвергается непрерывность движения и признаются уже было отброшенные «скачки», но, правда, с одной оговоркой: эти скачки должны быть «бесконечно малыми», а значит, «проскакиваемое» расстояние должно быть меньше любой конечной величины»51. Таков итог размышлений Лейбница.
-280-
С известной оговоркой он в конце концов вновь признает и бесконечно малую величину, а именно как «воображаемую»: «В геометрии я допустил бы с эвристической целью бесконечно малые величины пространства и времени, рассматривая их как воображаемые»52.
Можно было бы сказать, что диалог, написанный в 1676 году, еще не вполне зрелое произведение Лейбница, если бы те же самые ходы мысли не были воспроизведены им почти двадцать лет спустя в переписке с Фуше, а затем и в более поздних работах — вплоть до 1716 года. Поэтому нельзя не согласиться с А.П. Юшкевичем, отмечавшим в одной из своих статей непоследовательность Лейбница: «Великий философ и математик высказывал в разное время различные мнения о сущности исчисления бесконечно малых. Иногда, например, он рассматривал дифференциал dx как конечный, но крайне малый отрезок, по крайней мере, пропорциональный конечному отрезку. Очень часто, особенно в более поздние годы жизни, он отзывался о бесконечно малых как об идеальных вещах и понятиях, как об удобных в эвристическом отношении фикциях, результаты применения которых можно, если угодно, получить с помощью строгого доказательства исчерпыванием. Наконец, у него имеется и та мысль, что бесконечно малые суть величины, меньше всякой конечной величины, хотя и не нулевые, величины «несравнимые» в том смысле, что на какую бы конечную величину их ни умножить, результат не будет конечной величиной»53. И действительно, точка зрения Лейбница на бесконечно малую все время неустойчива, потому что он в своей физике и метафизике принимает актуальную бесконечность, что не может не отражаться и на его понимании бесконечного в математике.
В то же время в философии Лейбница идея непрерывности играет существенную роль: актуально существующие метафизические и физические «точки», единицы (монады) составляют своего рода непрерывную цепь, лишенную «промежутков», «разрывов», «скачков». Характерно, что П.А. Флоренский, отвергая идею непрерывности, которая, по его мнению, господствовала в науке и философии XIX пека, возводит эту идею прежде всего к Лейбницу54. Однако лейбницкого понимания непрерывности, как мы
-281-
видели, существенно отличается от традиционного, к которому тяготел Декарт, а впоследствии — Кант: у Лейбница идея непрерывности имеет предпосылкой принятие актуально бесконечного.
Так, вводя понятие «незаметных», «бесконечно малых восприятий», возникшее у него по аналогии с математической бесконечно малой, Лейбниц пишет: «Незаметные восприятия имеют такое же большое значение в пневматике, какое незаметные корпускулы имеют в физике... Ничто не происходит сразу, и одно из моих основных и достоверных положений — это то, что природа никогда не делает скачков... Значение этого закона в физике очень велико: в силу этого закона всякий переход от малого к большому и наоборот совершается через промежуточные величины.... Точно так же никогда движение не возникает непосредственно из покоя, и оно переходит в состояние покоя лишь путем меньшего движения... Придерживаться другого взгляда — значит не понимать безграничной тонкости вещей, заключающей в себе всегда и повсюду актуальную бесконечность. Эти последние слова об актуальной бесконечности кладут водораздел между традиционным принципом непрерывности как бесконечности потенциальной (бесконечной делимости) и лейбницевым толкованием этого принципа.
Философское обоснование по-новому истолкованного им принципа непрерывности Лейбниц предлагает в «Монадологии ». Здесь на новом уровне воспроизводится старый парадокс, возникающий при попытке составлять непрерывное из неделимых. С одной стороны, Лейбниц определяет монаду как простую субстанцию, не имеющую частей, а значит, нематериальную (все материальное имеет части и делимо). Он поясняет, что «где нет частей, там нет ни протяжения, ни фигуры и невозможна делимость»66. С другой стороны, Лейбниц говорит, что «сложная субстанция есть не что иное, как собрание или агрегат простых»57. Выходит, что сложное (т. е. непрерывное) мы получаем из суммы бесконечного числа простых (неделимых), статус которых так же неясен, как и статус математической бесконечно малой: это и не величины (ибо монады, по Лейбницу, нематериальны, не имеют протяжения), и не «нули» (ибо, как позднее мы узнаем, всякая монада обладает «телом»).
-282-
Монада у Лейбница мыслится по аналогии с душой: именно души по определению неделимы. Но тогда выходит, что тело как сложная субстанция составляется из бесконечного числа душ — субстанций простых. Пытаясь выйти из этого затруднения, Лейбниц прибегает к метафоре: сравнивает тела с «прудом, полным рыбы» (где рыбы — это, надо думать, монады)58. Но в таком случае что такое та «вода», в которой обитают «рыбы»? Если реальны только монады, как и заявляет Лейбниц, то «вода» тоже состоит из новых неделимых, и так до бесконечности. Противоречие не разрешается. Для его разрешения Лейбниц прибегает еще к одному средству: рассматривать материю не как субстанцию, а как «субстанциат», подобный армии или войску. «В то время как ее рассматривают так, будто она есть некая вещь, на самом деле она есть феномен, но вполне истинный, из которого наше восприятие создает единство»59.
Рассмотрение материи как «феномена», пусть даже «хорошо обоснованного» (хотя самого этого обоснования Лейбниц так и не смог предъявить), означает — правда, на другом языке — возвращение к предпосылкам Аристотеля, трактовавшего материю как возможность, а не действительность. Но для последовательного проведения такой точки зрения необходимо отказаться от понятия актуальной бесконечности применительно к конечному (тварному) миру: ведь Аристотель в свое время потому и определил материю как бесконечно делимое, что она принадлежала у него к сфере возможного. Лейбниц же, объявляя материю феноменом, в то же время сохраняет в силе вышеприведенные тезисы: 1) в каждой части материи «содержится» актуально бесконечное число монад и 2) всякая душа обладает телом. Последнее утверждение совершенно лишено смысла, если считать, что тело — это феномен; первое, впрочем, тоже, хотя, может быть, это и не так очевидно.
Как видим, даже Лейбницу не удалось разрешить парадоксы актуальной бесконечности и последовательно провести принцип непрерывности в математике. Вопрос остался открытым и в философии. К нему во второй половине XVIII века вновь обратились как математики, так и философы.
-283-
4. Возвращение к античным традициям в математике и философии во второй половине XVIII века
В философии проблему непрерывности попытался разрешить Кант, столкнувшись с затруднениями, которые эта проблема породила у Лейбница, с одной стороны, и у математиков — с другой. Рождение трансцендентального идеализма в немалой степени было обусловлено необходимостью справиться с парадоксами актуальной бесконечности. По Канту, подлинным бытием обладают лишь вещи в себе, которые суть простые, неделимые единства, лишенные протяжения. От лейбницевых монад, однако, эти единства отличаются тем, что они, во-первых, непознаваемы, а, во-вторых, из них недопустимо «составлять» материальные тела, т. е. рассматривать сложное как «агрегат» простого. Что же касается мира явлений, протяженного в пространстве и длящегося во времени (которые как раз суть априорные формы, с помощью которых порождается мир явлений), то он непрерывен, т. е. бесконечно делим.
Именно разделение сущего на вещи в себе и явления позволяет Канту решить проблему континуума: непрерывность пространственно-временного мира не противоречит, так сказать, «дискретности» мира сверхприродного. В «Метафизических началах естествознания» (1786) Кант пишет: «Сколь далеко... простирается математическая делимость пространства, наполненного той или иной материей, столь же далеко простирается и возможное физическое деление субстанции, его наполняющей. Но математическая делимость бесконечна, следовательно, и физическая, т. е. всякая материя, до бесконечности делима, и притом на части, из которых каждая в свою очередь есть материальная субстанция»60.