Конечно, есть определенное сопротивление признанию новых научных теорий. Чем более новаторская и удивительная теория, тем больше необходимо свидетельств, чтобы научный мир с ней согласился. В частности, именно поэтому в 1905 году столь недоверчиво была воспринята радикальная идея Альберта Эйнштейна считать свет состоящим из частиц – она была слишком кардинальна и недостаточно подтверждена экспериментально. В истории идей это был досадный эпизод, но, к счастью, такое происходит достаточно редко. На деле же нас очень выручает то, что, как правило, ученые не сразу и не слишком легко принимают любую появившуюся новую идею. Наука была бы просто невообразимой мешаниной истинных и ложных доктрин, если бы те, кто ею занимается, слишком легко, без серьезной проверки соглашались со старыми, “отправленными в отставку”, но вернувшимися как новые идеями[48].
Опыт и эксперименты занимают центральное место в научной деятельности. Но всегда ли мы можем полагаться на эксперименты? Ведь мог экспериментатор не учесть что-то важное, или, возможно, желание получить определенный результат повлияло на его объективность? Очень разумно с сомнением отнестись к единичному результату, особенно в том случае, когда он сильно отличается от результатов, полученных ранее.
Именно поэтому так важно, чтобы в основе тестов и экспериментов была их повторяемость. Исследователи в разных странах должны быть в состоянии повторить данный эксперимент в своих лабораториях и, конечно, получить тот же самый результат. Если теория обоснована, она должна работать, независимо от того, кто ее проверяет. А если теория общепризнана, это означает, что никому (до сих пор) не удалось обнаружить в ней прорехи. По этой причине разумно считать, что теория представляет собой хорошее описание реальности, и ее можно всячески использовать, по крайней мере до тех пор, пока не удастся описать реальность лучше.
В XX веке одним из наиболее известных философов науки был австриец Карл Поппер (1902–1994). Поппер ввел термин “фальсифицируемость” и утверждал, что на самом деле это понятие – основа научного прогресса.
Чтобы теория была фальсифицируемой (или принципиально опровержимой), должна существовать возможность разработать эксперимент или создать ситуацию, которая в принципе могла бы показать, что данная теория неправильна. Иными словами, должен существовать способ с достоверностью доказать ошибочность теории. Если это невозможно, теория лишена научного содержания и не имеет научной ценности.
В этом смысле опровержение – пример дедуктивного правила вывода modus tollens. У нас есть теория A, в рамках которой можно поставить эксперимент, показывающий, что если эта теория верна, то должен получиться результат B. Мы выполняем эксперимент, и оказывается, что вместо B он дает результат не-B. Тогда с помощью дедукции мы приходим к заключению, что должно быть не-A: мы фальсифицировали (опровергли) теорию A.
Согласно Попперу, в этом суть науки. Ни одна научная теория не может считаться истиной в последней инстанции; в лучшем случае она верна условно до тех пор, пока не наступит тот день, когда она будет фальсифицирована. Сам Поппер говорил об этом так:
Научный прогресс состоит в движении по направлению к теориям, которые говорят нам все больше и больше, – теориям с более богатым содержанием. Однако чем более теория говорит, тем больше она исключает или запрещает и тем больше возможности ее фальсификации. Поэтому теория с более богатым содержанием – это теория, которая может быть подвергнута более суровой проверке[49].
Известная игра в двадцать вопросов позволяет проиллюстрировать понятие “фальсифицируемость”. Игрок должен угадать, какой предмет (или животное, или человека) задумал напарник. Он может задать не больше двадцати вопросов, ответами на которые должны быть “да” или “нет”. Конечно, игрок старается выбрать те вопросы, ответы на которые будут наиболее информативны. Таким образом, в идеале каждый вопрос делит все возможные предметы (или животных, или людей) на две примерно равные группы, из которых одна соответствует ответу “да”, а другая – ответу “нет”. Это наиболее выигрышный путь угадать правильный ответ. (Никто не задаст вопрос, ответ на который почти наверняка известен, поскольку так он просто попусту истратит один из разрешенных двадцати вопросов.)
Направленный на проверку научной теории эксперимент – своего рода вопрос о природе реальности. Если нельзя придумать вопрос, ответом на который может быть “нет”, то это не научная теория.
Когда теория, независимо от того, какие экспериментальные вопросы поставлены, отвечает только “да”, она не является фальсифицируемой и, следовательно, не говорит нам ничего об окружающем мире. Цель науки – рассказывать об окружающем нас мире, и “да”-теории – это просто не научные, а псевдонаучные теории[50].
Таким образом, фальсифицируемость – способ отличить науку от псевдонауки. В автобиографии Поппер описывает свои мысли о природе науки еще до того, как он стал просветителем[51]:
В начале этого периода я продолжил развивать свои идеи о демаркации между научными теориями (как теория Эйнштейна) и псевдонаучными теориями (как теории Маркса, Фрейда и Адлера). Мне стало ясно, что то, что делает теорию или утверждение научным, состоит в их способности отвергать или исключать возможность некоторых событий – запрещать или не допускать существование таких событий. Таким образом, чем больше теория запрещает, тем больше она нам говорит[52].
Выдвигая научную теорию, следует указать, при какого рода условиях вы допускаете, что эта теория окажется несостоятельной. Это знаменитый “критерий демаркации” Поппера, позволяющий отличить науку от псевдонауки. (В более общем виде “проблема демаркации” в философии науки относится к тому, как и где следует провести границу, отделяющую то, что можно считать истиной наукой. Такие разделительные линии можно провести между наукой и псевдонаукой, между наукой и религией, между наукой и суеверием.)
Существуют ли абсолютно истинные результаты, иначе говоря, факты, которые никогда не будут опровергнуты, если появятся новые данные? Да, но только в одной области науки – в математике (и в связанных с ней разделах науки, таких как логика). Математика поистине априорная наука. (Априорное знание – от латинского a priori, что значит “из предыдущего” – знание, достоверность которого не зависит от чувственного восприятия или от взаимодействия с внешним миром.)
К априорному выводу можно прийти, даже не покидая уютного кресла: не надо на ощупь выискивать что-то в окружающем мире, проводить какие-то наблюдения. Математическое знание не зависит ни от каких внешних по отношению к нему исследований. В математике все результаты выводятся логически. (Или, в крайнем случае, исходя из опубликованных математических доказательств на интересующую тему. Хотя в реальной жизни математики практически всегда сначала приходят к результату интуитивно, используя аналогии и опуская логические рассуждения. Математики, как и все остальные, часто действуют по наитию, но затем, ловко скрывая даже намек на это, пишут статьи, где отсутствует какое-либо упоминание о первоначальных догадках, все столь логически обосновано, как будто автор – робот, а не живой человек.) Это означает, что любая один раз строго доказанная математическая теорема не может быть опровергнута никакими внешними наблюдениями, измерениями или опытами. (Как уже говорилось выше, математические теоремы – утверждения, полученные из аксиом путем последовательных чисто логических рассуждений. Набор формальных символов плюс набор аксиом плюс набор правил, позволяющих вывести одну формулу из другой, составляют формальную, или аксиоматическую, систему. Теорема, выведенная в рамках такой системы, всегда в этой системе истинна.)
Конечно, даже математики должны быть в какой-то мере самокритичны. Как и всякие другие живые существа, они могут ошибаться. Несмотря на то что никакой эксперимент не может опровергнуть математический результат, доказывая ранее неизвестную теорему, можно совершить логическую ошибку. В мире науки у математики особый статус. Если в доказательстве теоремы нет ни одной ошибки, она хранится вечно в, скажем так, Музее теорем. (Внимание: теорема попадет только в Музей, относящийся к формальной системе, в рамках которой она была доказана. Для других формальных систем могут быть другие Музеи, вход в которые этой теореме воспрещен. Так, в 1931 году молодой австрийский логик Курт Гедель показал, что в любой достаточно сложной аксиоматической системе есть утверждения, которые хотелось бы назвать теоремами, поскольку они истинны, но доказать их в данной системе аксиом невозможно. Другими словами, в данной аксиоматической системе имеется достаточно существенное различие между тем, что истинно, и тем, что доказуемо. Гедель показал, что в достаточно богатой системе аксиом есть бесконечно много истинных, но недоказуемых утверждений. Потребовались десятилетия, чтобы математическое сообщество осознало этот удивительный результат, который называют “теоремой Геделя о неполноте”.)
Как избежать ошибок, исследуя мир научным методом? Конечно, нет волшебного рецепта, гарантирующего отсутствие ошибок. На протяжении веков небрежность, склонность выдавать желаемое за действительное, стремление к блеску и славе сбивали с пути многих исследователей. Но, несмотря на несовершенство человеческой природы, наука как коллективное действие обладает определенным инструментарием, помогающим не расслабляться и не сбиваться с пути истинного. (Конечно, предполагается, что ученый – человек честный.) Здесь особо важную роль, в частности для такой науки, как медицина, играют методы, известные как слепой и дважды слепой тест.