О статусе науки и метафизики

возможно по чисто логическим основаниям, т.е. оно непротиворечиво. Теперь Юм показывает следующее: если В есть непротиворечивое утверждение наблюдения о возможном будущем событии, а К – класс истинных утверждений наблюдения о прошлых событиях, то В всегда можно присоединить к K без противоречия, иными словами, если утверждение В о возможном будущем событии мы добавляем к классу К, то мы никогда не придем к логическому противоречию. Это утверждение Юма можно сформулировать иначе: логически невозможно, чтобы будущее наблюдение противоречило классу прошлых наблюдений.

Теперь к тезису Юма добавим теорему чистой логики, а именно: если утверждение В можно без противоречия присоединить к классу утверждений К, то его также без противоречия можно присоединить к любому классу, состоящему из утверждений К и любого утверждения, выводимого из К.

Итак, мы доказали: если теория Ньютона выводима из класса К истинных утверждений наблюдения, то никакое будущее наблюдение В не может противоречить теории Ньютона и наблюдениям К.

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

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

Кант показал также, что все это справедливо и для повседневного опыта, хотя, быть может, и не в такой степени: повседневный опыт тоже превосходит все наблюдения. Повседневный опыт интерпретирует наблюдения, ибо без теоретической интерпретации наблюдения остаются слепыми – неинформативными. Повседневный опыт постоянно оперирует абстрактными идеями, например, понятиями причины и следствия, поэтому его также нельзя вывести из наблюдений.

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

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

Даже тот, кто не принимает теорию гравитации Эйнштейна, должен согласиться с тем, что она представляет собой поистине эпохальное достижение. Эта теория показала, по крайней мере, что теория Ньютона – независимо от того, истинна она или ложна, – не была единственно возможной системой небесной механики, способной убедительно и просто объяснить явления. Впервые за двести с лишним лет теория Ньютона стала проблематичной, в то время как в течение двух столетий она постепенно превращалась в опасную, почти несокрушимую догму. Я не возражаю тем, кто критикует теорию Эйнштейна по научным соображениям. Но даже и оппоненты Эйнштейна, как и его выдающиеся сторонники, должны быть благодарны ему за то, что он освободил физику от парализующей веры в несокрушимую истинность ньютоновской теории. Именно благодаря Эйнштейну мы видим теперь в этой теории гипотезу (или систему гипотез) – возможно, наиболее величественную и значительную гипотезу в истории науки, дающую удивительное приближение к истине.[6]

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

Решение проблемы Кантом хорошо известно. Он предположил, я думаю, правильно, что известный нам мир есть наша интерпретация наблюдаемых фактов в свете изобретаемых нами теорий. Как говорит Кант: «Наш разум не извлекает законов из природы… но налагает их на природу». Считая эту формулировку Канта по существу правильной, я чувствую все-таки, что она излишне категорична, и предпочел бы несколько смягчить ее: «Наш разум не выводит законы из природы, а пытается-с разной степенью успешности – налагать на природу законы, которые он свободно изобретает». Разница заключается в том, что согласно формулировке Канта, разум не только налагает законы на природу, но неизменно достигает успеха в этом. Кант был убежден, что законы Ньютона были успешно наложены нами на природу, и мы обязаны интерпретировать природу, опираясь на эти законы. Отсюда он заключил, что они должны быть истинны a priori. Вот эти вещи видел Кант, и точно так же их видел Пуанкаре.

Однако теперь, после Эйнштейна, мы знаем, что возможны также иные теории и иные интерпретации, быть может, даже превосходящие теорию Ньютона. Разум способен изобрести более чем одну интерпретацию, и он не может наложить одну интерпретацию на природу раз и навсегда. Разум действует посредством проб и ошибок. Мы изобретаем наши мифы, наши теории и пытаемся применять их – пытаемся понять, как много они нам дают. И если есть возможность, мы улучшаем наши теории. Лучшей теорией является та, которая обладает большей объяснительной силой: больше объясняет, с большей точностью, позволяет нам делать лучшие предсказания.

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

Свобода и смелость наших теоретических построений проверяется и контролируется самокритикой и строжайшими проверками. Как раз через посредство критических методов проверки в эмпирическую науку входят научная строгость и логика.

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