Математика. Утрата определенности. — страница 23 из 112

Сам человек, по Юму, — это обособленный набор восприятий, т.е. впечатлений и идей. Он существует только в себе. Субъект суть набор различных восприятий. Любая попытка познать самого себя приводит только к некоторому восприятию. Все остальные люди и предполагаемый внешний мир также являются лишь восприятиями данного субъекта — и нет уверенности, что они действительно существуют. 

Следовательно, нет и не может быть научных законов, относящихся к перманентному, объективно существующему физическому миру. Кроме того, поскольку в основе идеи причинности лежит не научное доказательство, а лишь привычка ума, рожденная многократным повторением обычного порядка «событий», мы не можем знать, всегда ли последовательности событий, наблюдавшиеся в прошлом, будут повторяться в будущем. Тем самым Юм отрицал неизбежность, вечность и неизменность законов природы. 

Разрушив догмат о существовании внешнего мира, следующего неизменным математическим законам, Юм тем самым разрушил ценность логической дедуктивной схемы, которая представляла реальность для мыслителей последующих поколений. Но математика содержит также и теоремы о числах и геометрию, неоспоримо вытекающие из тех истин о числах и геометрических фигурах, которые положены в основу их изучения. Юм не отвергал аксиом, но их выбор, а значит и результаты, получаемые из них методом дедукции, он ставил под сомнение. Что касается аксиом, то они возникают из тех ощущений, которые мы получаем от предполагаемого физического мира. Теоремы действительно с необходимостью следуют из аксиом, но они представляют собой не более чем усложненные перепевы аксиом. Теоремы являются дедукциями, но дедукциями утверждений, неявно содержащихся в аксиомах. Теоремы не что иное, как тавтологии. Следовательно, ни аксиомы, ни теоремы не могут рассматриваться как абсолютные истины. 

Итак, на фундаментальный вопрос о том, каким образом человек постигает истины, Юм отвечает, отрицая само существование истин: к истинам человек прийти не может. Теория Юма не только объявляла несостоятельным все, что было достигнуто в математике и естествознании ранее, но и поставила под сомнение ценность самого разума. Столь откровенное отрицание высшей способности человека было отвергнуто большинством мыслителей XVIII в. Как в математике, так и в других областях человеческой деятельности было слишком много накоплено, чтобы этим безболезненно поступиться, объявив бесполезным грузом весь приобретенный человечеством интеллектуальный багаж. Философия Юма встретила такое резкое неприятие у большинства мыслителей XVIII в., показалась им столь неприемлемой и противоречащей выдающимся успехам математики и естествознания, что возникла острая необходимость в ее опровержении. 

Выполнить эту задачу взялся один из наиболее чтимых и глубоких философов всех времен — Иммануил Кант. Но при внимательном рассмотрении выяснилось, что итог его размышлений лишь немного более утешителен, чем философия Юма. В «Пролегоменах ко всякой будущей метафизике, могущей появиться как наука» (1783), Кант, казалось, встал на сторону математиков и естествоиспытателей: 

Мы можем с достоверностью сказать, что некоторые чистые априорные синтетические познания имеются и нам даны, а именно чистая математика и чистое естествознание, потому что оба содержат положения, частью аподиктически достоверные на основе одного только разума, частью же на основе общего согласия из опыта и тем не менее повсеместно признанные независимыми от опыта.

([18], т. 4, ч. 1, с. 89.)

«Критика чистого разума» (1781) Канта начинается еще более обнадеживающими словами. Кант утверждает, что все аксиомы и теоремы математики истинны. Но почему, спрашивает Кант, мы так охотно принимаем эти истины? Ясно, что опыт сам по себе не делает математические утверждения истинными. На интересующий нас вопрос можно было бы ответить, если бы мы знали ответ на более общий вопрос: возможна ли сама наука математика? На этот вопрос Кант ответил так: наш разум сам по себе владеет формами пространства и времени. Пространство и время представляют собой разновидности восприятия (Кант называл их интуитивными представлениями), посредством которых разум созерцает опыт. Мы воспринимаем, организуем и осознаем опыт в соответствии с этими формами созерцания. Опыт входит в них, как тесто в формочки для печенья. Разум накладывает формы созерцания на полученные им чувственные восприятия, вынуждая те подстраиваться под заложенные в нем схемы. Так как интуитивное представление о пространстве берет свое начало в разуме, некоторые свойства пространства разум воспринимает автоматически. Такие утверждения, как «прямая — кратчайший путь между двумя точками», «через три точки, не лежащие на одной прямой, можно провести плоскость, и притом только одну», или как аксиома Евклида о параллельных, Кант называет априорными искусственными истинами. Они составляют неотъемлемую часть нашего умственного багажа. Геометрия занимается изучением лишь логических следствий из таких утверждений. Уже одно то, что наш разум созерцает опыт через изначально присущие ему «пространственные структуры», означает, что опыт согласуется с априорными синтетическими истинами и теоремами. Порядок и рациональность, которые мы, как нам кажется, воспринимаем во внешнем мире, в действительности проецируются на внешний мир нашим разумом и формами нашего мышления. 

Конструируя пространство на основе работы клеток головного мозга человека, Кант не видел причин для отказа от евклидова пространства. Собственную неспособность представить другие геометрии Кант счел достаточным основанием, чтобы утверждать, что другие геометрии не могут существовать. Таким образом, нельзя утверждать, что законы евклидовой геометрии изначально присущи миру или что мир создан богом на основе евклидовой геометрии: законы евклидовой геометрии представляют собой лишь механизм, с помощью которого человек организует и рационализирует свои ощущения. Что же касается бога, то, по мнению Канта, природа божественного лежит за пределами рационального знания, хоть он и считал веру в бога обязательной. Глубина философских воззрений Канта, пожалуй, была превзойдена лишь ограниченностью его геометрических представлений. Прожив всю жизнь в Кенигсберге, в Восточной Пруссии, и не выезжая из него далее чем на шестьдесят километров, Кант тем не менее считал себя способным мысленно представить геометрию Вселенной.{42}

А как обстояло дело с математическими законами естествознания? Так как весь наш опыт вкладывается в формы чистого созерцания — пространство и время, математика должна быть применима ко всякому опыту. В «Метафизических начальных основаниях естествознания» (1786) Кант признал законы Ньютона и следствия из них самоочевидными. По утверждению Канта, ему удалось доказать, что законы Ньютона выводятся на основании чистого разума и что они не более чем допущения, позволяющие понять природу. Ньютон, по словам Канта, «позволил нам составить ясное представление о структуре Вселенной, которая во все времена будет одной и той же». 

В более общем плане рассуждения Канта сводились к следующему. Мир науки — это мир чувственных ощущений, упорядоченных и управляемых разумом в соответствии с такими врожденными категориями, как пространство, время, причина и следствие, субстанция. Разум содержит своего рода «ложа», на которые должны укладываться «гости» извне. Чувственные ощущения рождаются в реальном мире, но, к сожалению, этот мир непознаваем. Реальность может быть познана только в субъективных категориях, создаваемых воспринимающим ее разумом. Следовательно, к организации опыта нет иного пути, кроме евклидовой геометрии и ньютоновской механики. По мере возникновения новых наук опыт расширяется, но разум формулирует новые принципы, не обобщая новые опытные данные, а используя для их интерпретации ранее бездействующие «ложа». Способность разума созерцать раскрывается только в том случае, если ее питает опыт. Этим объясняется относительно позднее познание некоторых истин, например законов механики, по сравнению с другими истинами, известными на протяжении многих столетий. 

Философия Канта, которую мы здесь едва затронули, воздавала хвалу человеческому разуму, но отводила ему роль инструмента познания не природы, а тайников человеческого ума. Опыт получил должное признание как необходимый элемент познания, так как ощущения, поступающие из внешнего мира, Кант считал сырым материалом, который упорядочивается и организуется разумом. Математика обрела свое место, став открывателем необходимых законов разума. 

Представление о математике как о своде априорных истин было созвучно умонастроениям математиков. Но большинство из них не обратило внимания на то, каким образом Кант пришел к своим заключениям. По теории Канта, все утверждения математики не являются неотъемлемыми признаками физического мира, а создаются человеческим разумом. Такой вывод должен был бы насторожить математиков. Откуда известно, что разум всех людей устроен так, что организует ощущения совершенно одинаково и что организация пространственных ощущений непременно должна быть евклидовой? Какие мы имеем основания это утверждать? В отличие от Канта математики и физики продолжали верить во внешний мир, подчиняющийся законам, не зависящим от человеческого разума. Мир устроен рационально, считали они, и человек лишь раскрывает план, лежащий в основе мироздания, а далее, пользуясь этим планом, пытается предсказывать то, что происходит во внешнем мире.

Философия Канта и его авторитет раскрепостили и одновременно ограничили научно-философскую мысль. Подчеркивая силу разума как организующего начала в упорядочении чувственного опыта о мире, который нам не дано узнать доподлинно, Кант проложил путь к новым представлениям, в корне противоположным тем, которые в его время считались твердо установленными. Но упорно подчеркивая, что наш разум с необходимостью организует пространственные ощущения в соответствии с законами евклидовой геометрии, Кант тем самым тормозил формирование ин