Математика. Поиск истины. - Морис Клайн

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

Вывод о существовании внешнего мира с неизменными свойствами ничем не обоснован. Нет оснований полагать, будто существует что-нибудь кроме впечатлений и идей, ничему не соответствующих и ничего не представляющих. Следовательно, не может быть и научных законов, относящихся к перманентному объективному внешнему миру; то, что мы называем такими законами, — не более чем удобное обозначение для некоторой суммы впечатлений. У нас нет способа узнать, повторятся ли те последовательности впечатлений, которые мы наблюдали. Мы сами представляем собой всего лишь разрозненные наборы восприятий, т.е. впечатления и идей. Мы существуем только в этом смысле. При любой попытке с нашей стороны воспринять самих себя мы доходим лишь до восприятия. Для любого человека все остальные люди и предполагаемый внешний мир — всего лишь восприятия, и нет гарантии, что они действительно существуют.

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

В своем «Трактате о человеческой природе» Юм скептически отозвался о силе разума как орудия для рационального объяснения:

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

Опыт может подсказать причину и действие, следствие, но основанное на опыте убеждение лишено рациональной основы. Убеждение разумно только в том случае, если его отрицание логически противоречиво, но ни одно убеждение, к которому нас приводит опыт, не отвечает этому требованию. Подлинной науки о перманентном и объективном мире не существует; наука чисто эмпирическая.

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

Окончательный вывод всей философии Юма — отрицание им наивысшей способности человека, способности познания мира, — большинство мыслителей XVIII в. восприняло весьма неодобрительно. Слишком велики были достижения математики и другие проявления человеческого разума, чтобы от них так легко отказаться. Иммануил Кант (1724-1804) без обиняков выразил свое непринятие необоснованного расширительного толкования Юмом теории познания Локка: разум должен снова занять подобающее ему место. Кант не сомневался, что человек располагает идеями и истинами, представляющими нечто большее, нежели простое соединение чувственного опыта.

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

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

В «Критике чистого разума» (1781) Кант приходит к более утешительному выводу, признавая истинами все аксиомы и теоремы математики. Почему, спрашивает себя Кант, мы столь охотно приемлем эти истины? Сам по себе опыт не может служить оправданием нашей готовности к признанию математических истин. Ответить на поставленный вопрос, по мнению Канта, можно лишь после того, как будет найден ответ — на более общий вопрос: как возможна сама наука математика?

Кант избрал совершенно новый подход к проблеме получения человеком истинного знания. Первый его шаг состоял в том, чтобы провести различие между двоякого рода суждениями, дающими знание. Суждения первого рода Кант называл аналитическими; они не дают нового знания. Примером может служить суждение «Все тела протяженны». Оно лишь констатирует в явном виде свойство, присущее всем телам в силу того, что это — тела, и не сообщает нам ничего нового. Суждения второго рода, выводимые каким-то образом нашим разумом независимо от опыта, Кант называл априорными.

По мысли Канта, опыт не может быть единственным источником истины, ибо опыт — лишь пестрая смесь ощущений, в которую не привнесены ни рациональное начало, ни организация. Следовательно, сами по себе наблюдения не дают истин. Истины, если они существуют, должны быть априорными суждениями. Кроме того, чтобы быть подлинным знанием, истины должны быть синтетическими суждениями — давать новое знание.

За убедительным примером не нужно ходить далеко: он в совокупности математического знания. Почти все аксиомы и теоремы математики Кант относит к априорным синтетическим суждениям. Утверждение о том, что прямая — это кратчайшее расстояние между двумя точками, заведомо синтетическое, ибо сочетает в себе две идеи — прямолинейности и кратчайшего расстояния, ни одна из которых не выводима из другой. Вместе с тем это суждение априорно, так как никакой опыт с прямыми и никакие измерения не могли бы убедить нас в том, что перед нами неизменная универсальная истина, какой считал это утверждение Кант. Таким образом, Кант не сомневался, что люди обладают априорными синтетическими суждениями, т.е. подлинными истинами.

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

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