Проблема континуума у Канта
Проблема континуума у Канта
В философии проблему непрерывности попытался разрешить Кант, столкнувшись с затруднениями, которые эта проблема породила у Лейбница, с одной стороны, и у математиков, с другой. Рождение трансцендентального идеализма в немалой степени было обусловлено необходимостью справиться с парадоксами актуальной бесконечности. В своей первой, еще студенческой работе «Мысли об истинной оценке живых сил» Кант затрагивает самый нерв вопроса, так и не решенного Лейбницем: как связать между собой метафизические неделимые (бытие) и физический мир, располагающийся в пространстве (становление). Мир бытия Лейбниц порой характеризует как «внутреннее», а чувственный мир — как «внешнее». Монады, по Лейбницу, «не имеют окон» и, таким образом, не имеют «выхода» друг к другу; их деятельность согласована лишь через божественную монаду — посредством предустановленной гармонии. Не вполне ясно также, как понимать соотнесенность монад с «внешним» по отношению к ним материальным миром; мы уже видели, какими способами пытался Лейбниц разрешить этот вопрос, важнейшим аспектом которого является связь души с телом.
Именно с этого вопроса начинает молодой Кант: «… В метафизике, — пишет он в 1746 г., — трудно представить себе, каким образом материя в состоянии порождать в душе человека представления некоторым воистину действенным образом (т. е. физическим действием)… Подобная же трудность возникает и тогда, когда стоит вопрос о том, в состоянии ли также и душа приводить в движение материю… Вопрос о том, в состоянии ли душа вызывать движения, т. е. обладает ли она движущей силой, приобретает такой вид: может ли присущая ей сила быть предназначена к действию вовне, т. е. способна ли она вовне себя воздействовать на другие существа и вызывать изменения? На этот вопрос можно с полной определенностью ответить тем, что душа должна быть в состоянии действовать вовне на том основании, что сама она находится в определенном месте. Ибо если разберем понятие того, что мы называем местом, то найдем, что оно указывает на взаимные действия субстанций»[67].
Вопрос поставлен точно. В самом деле, коль скоро «метафизическая точка» имеет жесткую связь с определенным местом, то она уже тем самым не абсолютно самозамкнута: в противном случае субстанция-монада существовала бы вне всякой связи с каким-либо телом (а что монады не могут существовать без тела, на этом Лейбниц всегда настаивал) и, стало быть, по словам Канта, «нигде во всем мире не находилась бы»[68].
Протяжение, таким образом, по мысли Канта, есть продукт действия субстанции вовне; так молодой философ интерпретирует Лейбница. «Ибо без этой силы нет никакой связи, без связи — никакого порядка, без порядка нет никакого пространства»[69].
Как видим, в своем рассуждении Кант опирается на Лейбницево определение пространства как порядка сосуществования. Однако, постулируя «воздействие субстанций вовне». Кант не разъясняет, как следует понимать это воздействие. Судя по всему, этот вопрос не переставал занимать Канта на протяжении целого десятилетия. В 1756 г. он предпринимает еще одну попытку его разрешения в магистерской диссертации «Применение связанной с геометрией метафизики в философии природы».
За год до того, в 1755 г. была опубликована работа Канта «Всеобщая естественная история и теория неба», в которой он применил Ньютонову теорию тяготения для объяснения генезиса мироздания. Теперь с помощью ньютоновской динамики философ приступил к разрешению давно мучившей его антиномии неделимого (монады) и непрерывного (протяжения). На сей раз он рассматривает соотношение физики (динамики) и математики, оставляя вне поля зрения метафизическую сущность монад. Задача, которую при этом ставит перед собой Кант, состоит в доказательстве, что «существование физических монад согласно с геометрией»[70].
Альтернатива — метафизика или геометрия — заострена у Канта еще одним дополнительным обстоятельством: он вместе с Ньютоном признает теорию тяготения как действия на расстоянии, а тяготение невозможно объяснить с помощью одной только геометрии. Кант пытается фундировать Ньютонову теорию всемирного тяготения с помощью Лейбницевой метафизики, хотя сам создатель монадологии считал ньютонову идею совершенно неприемлемой[71].
«Метафизика, — пишет Кант, — без которой, по мнению многих, вполне можно обойтись при разрешении физических проблем, одна только и оказывает здесь помощь, возжигая свет познания. В самом деле, тела состоят из частей и… важно выяснить, как именно они составлены из этих частей: наполняют ли они пространство одним лишь сосуществованием этих первичных частей или через взаимное столкновение сил. Но каким образом в этом деле можно связать метафизику с геометрией, когда, по-видимому, легче грифов запрячь вместе с конями, чем трансцендентальную философию[72] сочетать с геометрией? Ибо если первая упорно отрицает, что пространство делимо до бесконечности, то вторая утверждает это с такой же уверенностью, с какой она обычно отстаивает остальные свои положения. Первая настаивает на том, что пустое пространство необходимо для свободных движений; вторая же, напротив, решительно его отвергает. Первая указывает на то, что притяжение, или всеобщее тяготение, едва ли можно объяснить одними лишь механическими причинами, но что оно имеет свое начало во внутренних силах, присущих телам в состоянии покоя и действующих на расстоянии; вторая же относит всякое такое предположение к пустой игре воображения»[73].
Мы привели этот отрывок целиком ввиду его важности для нашей темы: Кант здесь рассматривает проблему континуума, как она ставится в математике, имеющей дело с миром лишь возможного (становление), и в физике, с трудом отделимой от метафизики, которая претендует на то, что именно она раскрывает законы самого бытия. На уровне бытия континуум мыслится как дискретный, на уровне становления — как непрерывный. Однако дело осложняется тем, что определенная школа физики — в частности картезианская — при объяснении природы допускала только принцип непрерывности, не признавая ни атомов, ни пустоты, ни сил тяготения. Что же касается метафизики, то сюда Кант, как видно, относит Ньютона и его последователей, ибо именно они принимают пустое пространство как условие возможности движения атомов, а также тяготение как действие на расстоянии. Хотя Ньютон, как известно, дистанцировался от метафизики (хорошо известен его афоризм «гипотез не изобретаю»), однако Кант характеризует его подход как метафизический, имея в виду то обстоятельство, что Ньютон, как и Лейбниц, вводит в свою динамику понятие силы и не ограничивается лишь установлением механических законов, как это делал Декарт. Но как примирить таким образом понятую метафизику[74] с математикой, атомизм в физике с принципом непрерывности в математике?
Кант согласен с Декартом и большинством математиков в том, что пространство делимо до бесконечности и не состоит из простых частей. Но в то же время он подчеркивает, что «каждый простой элемент тела, или монада, не только существует в пространстве, но и наполняет пространство, сохраняя, однако, свою простоту»[75].
Как видим, в отличие от Декарта, Кант не признает, что пространство есть субстанция. Здесь он остается последователем Лейбница и считает субстанциями неделимые монады. Физические монады, по Канту, заполняют пространство не множеством своих частей (таковых у неделимых начал нет), а сферой своей деятельности, сущность которой — притяжение и отталкивание: притяжение создает единство, связь физических тел, а отталкивание — их разъединенность, обособленность. Таким путем Кант ищет выход из трудности, связанной с проблемой непрерывного и неделимого, т. е. в данном случае математического и физического континуумов.
Вот предложенный им выход: из непрерывности (бесконечной делимости) пространства, занимаемого элементом, не вытекает делимость самого элемента[76]. «Из доказанного выше, — подытоживает Кант, — с полной очевидностью следует, что ни геометр не ошибается, ни то мнение, которого придерживается метафизик, не уклоняется от истины, поэтому неизбежно должен быть ошибочным взгляд, который оспаривает оба эти мнения и согласно которому ни один элемент, поскольку он абсолютно простая субстанция, не может занимать пространства, не теряя своей простоты»[77]. Ошибается, по Канту, тот, кто не может примирить между собой два утверждения — метафизики: «Всякая сложная субстанция состоит из простых частей, и вообще существует только простое и то, что сложено из простого» — и математики: «Ни одна сложная вещь в мире не состоит из простых частей, и вообще в мире нет ничего простого»[78].
Этот ошибающийся — сам Кант 25 лет спустя после написания работы «Применение связанной с геометрией метафизики в философии природы». Ибо именно он и сформулировал в «Критике чистого разума» эти два утверждения как абсолютно непримиримые — как антиномию чистого разума. И вот как он теперь, в 1781 г., оценивает свою прежнюю попытку примирения этих двух утверждений: «Впрочем, монадисты ловко пытаются обойти это затруднение, именно они утверждают, что не пространство составляет условие возможности предметов внешнего наглядного представления (тел), а, наоборот, предметы внешнего наглядного представления и динамическое отношение между субстанциями вообще составляют условие возможности пространства»[79]. В качестве примера Кант мог бы сослаться на свою собственную работу 1756 г., только что рассмотренную нами, ибо там он, рассуждая как монадист, как раз и определял пространство как «явление внешнего отношения субстанций»[80], как «сферу деятельности монады»[81].
Размышления над проблемой континуума, таким образом, сыграли первостепенную роль в пересмотре Кантом принципов рационализма XVII–XVIII вв. и создании системы критической философии, где переосмыслено центральное в метафизике XVII в. понятия субстанции и фундаментом всей системы знания становится не субстанция, а субъект. Переход от субстанции к субъекту совершил уже английский эмпиризм в лице Локка и особенно Юма; но они имели в виду психологического, т. е. эмпирического субъекта в его индивидуальности. Кант ставит в центр своего учения понятие трансцендентального субъекта, освобождаясь тем самым от психологизма в теории познания. В результате эмпирический мир, мир опыта — как внешнего (природа как предмет естествознания), так и внутреннего (душа как предмет эмпирической психологии) существует у Канта лишь в отношении к трансцендентальному субъекту, конструирующему этот мир с помощью априорных форм чувственности (пространства и времени) и априорных форм рассудка (категорий).
Определения, приписывавшиеся ранее материальной субстанции — пространственная протяженность, фигура, временная продолжительность, движение — суть, по Канту, продукт деятельности трансцендентального субъекта. В мире природы нет места тому, что существует в себе и через себя, здесь все определяется связью механических причин, т. е. другим и через другое, поскольку и сам этот мир существует лишь через отношение к трансцендентальному Я. Отвергая понятие субстанции применительно также и к индивидуальной душе. Кант рассматривает ее в теоретической философии лишь как явление, конструируемое посредством внутреннего чувства. Однако реликты субстанций как самостоятельных сущих, не зависящих не только от индивидуального, но и от трансцендентального субъекта, сохраняются у Канта в виде непознаваемых вещей в себе, аффицирующих нашу чувственность и таким образом порождающих ощущения. Недоступные теоретическому познанию, вещи в себе принадлежат к сверхчувственному миру — сфере свободы, т. е. разума практического. Человек как существо нравственное несет в себе те черты, которыми традиционно наделялись духовные субстанции — разумные души, хотя онтологический статус разумной души у Канта совсем иной.
Посмотрим теперь, как в этой новой системе решается вопрос о природе континуума, столь волновавший Канта в докритический период. В «Критике чистого разума» этому вопросу уделяется тоже большое внимание, но способ его рассмотрения существенно меняется. Подлинным бытием, как теперь полагает Кант, обладают лишь вещи в себе, которые суть простые, неделимые единства, лишенные протяжения. От Лейбницевых монад эти единства однако отличаются тем, что, во-первых, они непознаваемы, а, во-вторых, из них недопустимо «составлять» материальные тела, т. е. рассматривать сложное как «агрегат» простого.
Что же касается мира явлений, протяженного в пространстве и длящегося во времени, то он непрерывен, т. е. бесконечно делим. Именно жесткое различение вещей в себе и явлении является основой кантовского решения проблемы континуума: непрерывность пространственно-временного, природного мира не противоречит «дискретности» мира сверхприродного. В «Метафизических началах естествознания» (1786) Кант пишет: «Сколь далеко… простирается математическая делимость пространства, наполненного той или иной материей, столь же далеко простирается и возможное физическое деление субстанции, его наполняющей. Но математическая делимость бесконечна, следовательно, и физическая, т. е. всякая материя до бесконечности делима, и притом на части, из которых каждая в свою очередь есть материальная субстанция»[82]. Последнее замечание имеет целью подчеркнуть, что в материи нет «последних неделимых» элементов, нет лейбницевых «физических монад», бесконечное множество которых составляет как бы «бытийный» фундамент непрерывности феноменального мира (назовем его условно «становлением»). По Канту, всякая часть материи, как и пространства, делима до бесконечности.
Здесь Кант в понимании континуума возвращается к Аристотелю и следовавшему за ним Декарту, хотя чисто философское обоснование такой трактовки непрерывности у Канта иное, чем у этих его предшественников. Перед Кантом стояла альтернатива. Если принять материю за субстанцию, и притом не тождественную пространству (с пространством материю отождествлял Декарт), то тезис о бесконечной делимости материи требовал бы допустить, что она состоит из актуально бесконечного множества «последних единиц» — путь, которым пошел Лейбниц, отвергнув физический атомизм во имя принципа бесконечной делимости, но положив в основу природы атомизм метафизический — «монадизм».
Но если считать, как Аристотель, что материя — это лишь возможность, потенциальность, то нет надобности в самой материи искать актуально бесконечного множества далее не делимых «элементов» в качестве условия ее бесконечной делимости. Кант пришел к выводу, что материя есть только явление и благодаря этому возвратился к принципу непрерывности в его аристотелевско-евдоксовом варианте. «О явлениях, деление которых можно продолжить до бесконечности, можно лишь сказать, что частей явления столько, сколько их будет дано нами, пока мы будем в состоянии продолжать деление.
Ведь части, как относящиеся к существованию явлений, существуют лишь в мыслях, т. е. в самом делении»[83]. Иначе говоря, если материя не есть вещь в себе, то нет надобности допускать, как это делал Лейбниц, актуальную бесконечность «частей» для обоснования потенциальной бесконечности, т. е. бесконечной делимости пространства, времени и материи. Таким образом, именно феноменалистское истолкование материи позволяет Канту справиться с парадоксами континуума.
Интересно отметить, что возвращение к потенциальной бесконечности при обосновании дифференциального исчисления происходит и в математике второй половины XVIII в., хотя полностью элиминировать понятие актуально бесконечно малого и создать теорию пределов, опирающуюся на методологические принципы метода исчерпывания древних, удалось лишь позднее, усилиями К.Ф. Гаусса, О. Коши и особенно К. Вейерштрасса. Противоречивость понятия бесконечно малого, как мы уже отмечали, была очевидна с самого появления этого понятия; не случайно Ньютон создавал теорию «первых и последних отношений», стремясь избежать употребления «бесконечно малых». Это стремление еще более усилилось после критики инфинитезимального исчисления, осуществленной Дж. Беркли. Не удивительно, что Даламбер в своих статьях «Дифференциал» (1754), «Флюксия» (1756), «Бесконечно малое» (1759) и «Предел» (1765), помещенных в знаменитой «Энциклопедии, или Словаре наук, искусств и ремесел», в качестве обоснования анализа предложил теорию пределов. При этом он опирался на Ньютонов принцип «первых и последних отношений». Дальнейшие шаги в этом направлении предпринял Лагранж. В 1784 г. по инициативе Лагранжа Берлинская Академия наук назначила приз за лучшее решение проблемы бесконечного в математике. Объявление об условиях конкурса гласило:
«Всеобщим уважением и почетным титулом образцовой „точной науки“ математика обязана ясности своих принципов, строгости своих доказательств и точности своих теорем. Для обеспечения непрестанного обновления столь ценных преимуществ этой изящной области знания необходима ясная и точная теория того, что называется в математике бесконечностью.
Хорошо известно, что современная геометрия (математика) систематически использует бесконечно большие и бесконечно малые величины. Однако геометры античности и даже древние аналитики всячески стремились избегать всего, что приближается к бесконечности, а некоторые знаменитые аналитики современности усматривают противоречивость в самом термине „бесконечная величина“. Учитывая сказанное, Академия желает получить объяснение, каким образом столь многие правильные теоремы были выведены из противоречивого предположения, вместе с формулировкой точного, ясного, истинно математического принципа, который был бы пригоден для замены принципа „бесконечного“ и в то же время не делал бы проводимые на его основе исследования чрезмерно сложными или длинными»[84].
Однако, как мы уже говорили, строгое решение поставленной Берлинской Академией задачи было найдено только в XIX в. Решающую роль здесь сыграли работы французского математика О. Коши. Метод, им предложенный, исключает обращение к актуально бесконечному.
Вот как определяет Коши вводимое им понятие предела: «Если значения, последовательно приписываемые одной и той же переменной, неограниченно (indefiniment) приближаются к фиксированному значению таким образом, чтобы в конце концов отличаться от него сколь угодно мало, то последнее называют пределом всех остальных»[85]. Бесконечно малая определяется здесь как переменная, последовательные значения которой становятся меньше любого данного положительного числа. Метод Коши оказался по своим теоретическим предпосылкам сходен с античным методом исчерпывания.
Философия Канта, с одной стороны, и созданная в XIX в. теория пределов, с другой, привели к тому, что понятие континуума, близкое к его античной трактовке, т. е. исключающее принцип актуальной бесконечности, на некоторое время получило преобладающее влияние в науке.
Однако не все математики и философы были удовлетворены таким решением проблемы. В конце XIX в. вместе с созданием теории множеств Георга Кантора полемика вокруг понятия континуума вспыхнула с новой силой. И сегодня это понятие по-прежнему вызывает споры среди математиков, естествоиспытателей и философов.