Вселенная. Происхождение жизни, смысл нашего существования и огромный космос

Утверждения, которые можно доказать исходя из явно сформулированных аксиом, называются теоремами. Однако под теоремой подразумевается не «нечто истинное», а лишь «нечто, однозначно следующее из сформулированных аксиом». Чтобы доказательство теоремы оказалось верным, также требуется, чтобы были верны сами аксиомы. Так бывает не всегда; евклидова геометрия — это изумительный свод математических результатов, она, бесспорно, полезна во многих реальных ситуациях, но Эйнштейн показал, что фактическая геометрия нашего мира подчиняется более общему набору аксиом, предложенных Бернхардом Риманом в XIX веке.

Можно описать различие между математикой и естественными науками на примере возможных миров. Математика работает с истинами, которые подтверждались бы в любом возможном мире: из этих аксиом выводятся именно эти теоремы. Все естественные науки посвящены исследованию реального мира, в котором мы живём. Практикующие учёные иногда действительно прибегают к рассмотрению несуществующих миров (например, таких, где отсутствует трение, где пространство содержит иное число измерений), чтобы проверить интуитивные догадки, но с учётом всех возможных миров нас в конечном счёте интересует именно реальный мир. Среди возможных миров есть плоские, где верны аксиомы Евклида, а также миры с искривлённым пространством, где эти аксиомы не подтверждаются; но в любом возможном мире аксиомы евклидовой геометрии подразумевают, что сумма внутренних углов треугольника равна 180 градусам.

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

* * *

Иногда говорят, что наука развивается в духе методологического натурализма: рассматриваются лишь те объяснения, которые основаны на законах естественного мира, а все возможные вмешательства сверхъестественных феноменов сразу отметаются. Такую характеристику используют даже сторонники науки, отчасти из политических и стратегических соображений. В США давно идут ожесточённые споры о преподавании креационизма (биологические виды были сотворены Богом) в качестве альтернативы дарвиновской теории естественного отбора. Подход под названием «разумный замысел» продвигался как «научная» версия креационизма; предполагалось, что в таком случае его можно будет преподавать как естественнонаучную, а не как религиозную дисциплину. Оппоненты креационизма иногда отвергали такие аргументы, апеллируя к принципу методологического натурализма; по их мнению, поскольку «разумный замысел» содержит отсылку к сверхъестественному создателю, эта теория автоматически становится ненаучной. В издании столь авторитетной организации, как Национальная академия наук США, написано:

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

Всё не вполне так. Науку интересует выяснение истины, какой бы она ни была — естественной, сверхъестественной или иной. Позиция под названием «методологический натурализм», пусть и была выработана сторонниками науки с самыми благими намерениями, сводится к преждевременному подразумеванию значительной части ответа. Если наша цель — поиск истины, то такое подразумевание — одна из самых больших ошибок, которые нам угрожают.

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

Эта широкая характеристика распространяется не только на типичные естественные науки (такие, как геология или химия), но и на социальные (психология и экономика) и даже на историю. Подобная трактовка вполне точно описывает, как многие люди добывают знания о мире, пусть она и не слишком систематическая. Тем не менее науку не следует просто приравнивать к «разуму» или «рациональности». Математика и логика не относятся к естественным наукам, равно как не являются наукой и оценочные категории, такие как эстетика или мораль. Цель науки проста: определить, каков мир на самом деле. Мир не может быть «бесконечно разнообразен», равно как не может основываться всего на одном принципе. Он таков, каков он есть.