Карл Поппер:
Объективное знание.
Глава 5. Цель науки

Говорить о «цели» научной деятельности может показаться немного наивным, поскольку ясно, что у разных учёных бывают разные цели, а у самой науки (что бы под этим ни понимать) цели нет. Все это я признаю. И всё-таки кажется, что когда мы говорим о науке, мы чувствуем более или менее ясно, что в научной деятельности есть что-то свойственное только ей; а поскольку научная деятельность очень похожа на рациональную деятельность, а у рациональной деятельности должна быть какая-то цель, попытка описать цель науки может оказаться не совсем бесплодной.

Я высказываю предположение (suggest), что цель науки — находить удовлетворительные объяснения для всего, что кажется нам нуждающимся в объяснении. Под объяснением (или причинным, или каузальным, объяснением) понимается множество высказываний, из которых одни описывают подлежащее объяснению положение дел (объясняемое, или explicandum), а другие — объясняющие высказывания — образуют «объяснение» в узком смысле слова (объясняющее, или >explicans, объясняемого).

Мы можем принять, что как правило объясняемое более или менее известно как истинное, или принимается за истинное. Ведь мало смысла искать объяснение такого положения дел, которое может оказаться полностью вымышленным. (Таким примером могут служить летающие тарелки: требуемым объяснением может быть объяснение не летающих тарелок, а сообщений о них, но если бы летающие тарелки существовали, то никакого дальнейшего объяснения сообщений о них не потребовалось бы. Вместе с тем, объясняющее, которое и является объектом нашего поиска, как правило нам неизвестно — его надо открыть. Так что научное объяснение, всегда, когда оно представляет собой открытие, будет объяснением известного через неизвестное ¹⁸⁵

Чтобы объясняющее было удовлетворительным (удовлетворительность может иметь разные степени), оно должно выполнять ряд условий.

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

Мне надо ещё разъяснить, в каком смысле я использую выражение «независимое» и противоположные ему выражения «ad hoc» и (в предельных случаях) «круговое».

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

Однако рассуждения того рода, которые я имею в виду, могут быть круговыми в разной степени. Рассмотрим следующий диалог: «Почему море сегодня такое бурное?» — «Потому что Нептун разгневан». — «Но чем можешь ты поддержать своё утверждение, что Нептун разгневан?» — «Но разве ты не видишь, какое море бурное? И разве оно не бывает бурным всегда, когда Нептун гневается?» Это объяснение мы признаем неудовлетворительным, потому что (точно так же, как и в случае чисто кругового объяснения) единственным свидетельством в пользу объясняющего является объясняемое. ¹⁸⁶, Ощущение, что такого рода почти круговые объяснения, или объяснения ad hoc, крайне неудовлетворительны, и соответствующее требование избегать такого рода объяснений были, мне кажется, в числе основных движущих сил развития науки: неудовлетворённость — один из первых плодов критического, или рационального, подхода.

Чтобы объясняющее не было ad hoc, оно должно быть богато содержанием — оно должно иметь разнообразные поддающиеся проверке последствия, в число которых обязательно должны входить проверяемые последствия, отличные от объясняемого. Именно эти различные поддающиеся проверке последствия я и имею в виду, когда говорю о независимых испытаниях или независимых свидетельствах.

Хотя эти замечания и могут способствовать прояснению интуитивной идеи независимо проверяемого explicans, их совершенно недостаточно для характеристики удовлетворительного и независимо проверяемого объяснения. Потому что, если объясняемым является а, — пусть а опять будет «Море сегодня бурное», — мы всегда можем предложить крайне неудовлетворительное объяснение, которое будет полностью ad hoc, даже хотя и будет иметь независимо проверяемые последствия. Мы по-прежнему можем выбирать эти последствия, как захотим. Мы можем, например, выбрать «Эти сливы сочные» и «Все вороны чёрные». Обозначим их конъюнкцию 6. Тогда мы можем взять в качестве объясняющего просто конъюнкцию а и b — она будет удовлетворять всем сформулированным до сих пор условиям.

И только если мы потребуем, чтобы в объяснении использовались общие, универсальные высказывания, или законы природы (вместе с начальными условиями), мы сможем продвинуться к осуществлению идеи независимых, не «адхоковых» объяснений. Действительно, общие законы природы могут быть высказываниями с богатым содержанием, так что их можно независимо проверять где угодно и когда угодно. Так что если они используются как объяснения, они не могут быть объяснениями ad hoc, поскольку могут позволить нам интерпретировать объясняемое как пример воспроизводимого эффекта. Все это. однако, будет истинным, только если мы ограничимся законами, которые допускают проверку, то есть фальсификацию.

Вопрос «Какого рода объяснения могут быть удовлетворительными?» ведёт таким образом к ответу — объяснения в терминах проверяемых и фальсифицируемых общих законов и начальных условий. И объяснение такого рода будет тем более удовлетворительным, чем в большей степени проверяемыми будут эти законы и чем лучше они будут испытаны. (Это относится и к начальным условиям).

На этом пути предположение, что целью науки является поиск удовлетворительных объяснений, приводит далее к идее повышения степени удовлетворительности объяснений через повышение степени их проверяемости, то есть через переход к теориям, лучше поддающимся проверке, а это значит — к теориям со все более богатым содержанием, все более высокой степени общности и более высокой степени точности ¹⁸⁷. Это, вне всякого сомнения, полностью соответствует действительной практике теоретических наук.

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

Но существуют ли окончательные объяснения? Доктрина, которую я назвал «эссенциализмом», сводится к взгляду, согласно которому наука должна искать окончательные объяснения в терминах сущностей ¹⁸⁸: если мы можем объяснить поведение какой-либо вещи в терминах её сущности — её существенных свойств, то никаких дальнейших вопросов не может возникнуть, да им и не нужно возникать (кроме, быть может, теологического вопроса о Творце этих сущностей). Так, Декарт верил, что ему удалось объяснить физику в терминах сущности физического тела, которой, как он учил, была протяжённость. В свою очередь некоторые ньютонианцы вслед за Роджером Коутсом верили, что сущностью материи является её инерция и способность притягивать другую материю, и что теорию Ньютона можно вывести из этих существенных свойств всякой материи и таким образом окончательно объяснить. Сам Ньютон придерживался другого мнения. Он имел в виду именно гипотезу окончательного, эссенциалистского, причинного объяснения гравитации, когда писал в «Scholium generate» в конце «Principia» (Newton I. Philosophiae Naturalis Principia Mathematica, 1687; Newton /. Mathematical Principles of Natural Philosophy, 1729 (русский перевод см. прим. 9 к настоящей главе). Далее обозначаются как «Principia». — Прим. пер.): «До сих пор я объяснял явления… силой тяготения, но пока что я не определил причину самого тяготения … и я не хочу произвольным образом (или ad hoc) измышлять гипотезы» ¹⁸⁹.

Я не верю в эссенциалистскую доктрину окончательного объяснения. В прошлом критиками этой доктрины были в основном инструменталисты — они интерпретировали научные теории только как инструменты для предсказания, лишённые всякой объяснительной силы. С ними я тоже не согласен. Однако есть и третья возможность, «третья точка зрения», как я её назвал. Её удачно назвали «модифицированным эссенциализмом» — с упором на слово «модифицированный» ¹⁹⁰.

Эта точка зрения, которой я придерживаюсь, изменяет эссенциализм самым коренным образом.

Действительно, во-первых, я отвергаю идею окончательного объяснения и утверждаю, что всякое объяснение можно объяснить дальше посредством какой-то теории или предположения более высокой степени общности. Не может быть объяснения, которое не нуждалось бы в дальнейшем объяснении, так как не может существовать самообъясняющих описаний сущности (таких как эссенциалистское определение тела, предложенное Декартом).

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

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

Платон пытался решить именно эту проблему, когда говорил, что сходные индивидуальные вещи суть порождения и потому копии одной и той же первоначальной «Формы», которая поэтому есть нечто «внешнее», «первичное» и «высшее» по отношению к различным единичным вещам; и на самом деле, у нас нет пока лучшей теории сходства. Даже сегодня, когда мы хотим объяснить сходство двух людей, двух птиц, двух рыб, двух кроватей, двух автомобилей, двух языков или двух юридических процедур, мы апеллируем к их общему происхождению. Это значит, что мы объясняем сходство в основном генетически, и если мы будем строить на этом метафизическую систему, мы придём к историцистской философии. Аристотель отверг решение, предложенное Платоном, однако поскольку его собственный вариант эссенциализма не содержит даже намёка на решение, похоже, что он так никогда и не уловил сути проблемы ¹⁹¹.

Предлагая теорию объяснения на основе использования общих законов природы, мы формулируем решение именно платоновской проблемы. Действительно, мы рассматриваем все индивидуальные вещи и все единичные факты как подчиняющиеся этим общим законам. Законы (которые в свою очередь нуждаются в дальнейшем объяснении) объясняют, таким образом, регулярности или сходства индивидуальных вещей, единичных фактов и единичных событий, И эти законы не кроются в единичных вещах. (И они — не платоновские Идеи, пребывающие вне мира). Законы природы понимаются скорее как предположительные описания структурных свойств природы — нашего мира.

В этом и состоит сходство между моей точкой зрения («третьей точкой зрения») и эссенциализмом: хотя я не думаю, что мы когда-нибудь сможем описать с помощью наших общих законов окончательную сущность мира, я не сомневаюсь, что мы можем стараться проникать все глубже и глубже в структуру нашего мира или, как мы могли бы сказать, в свойства мира, всё более и более существенные и все более и более глубокие.

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

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

Похоже, что здесь нужны два ингредиента: богатое содержание и некоторая связность или компактность (или «органичность») описываемого положения дел. Именно этот последний ингредиент, хотя интуитивно он достаточно ясен, так трудно анализировать, и именно его пытались описать эссенциалисты, когда говорили о сущностях, противопоставляя их простому скоплению случайных свойств. Я не думаю, что мы можем сейчас что-либо по этому поводу сделать, кроме как сослаться на интуитивную идею, однако большего нам и не нужно. Ведь когда предлагается какая-то конкретная теория, интерес к ней определяется богатством её содержания, и, следовательно, степенью её проверяемости, а судьбу её решают результаты фактических испытаний. С точки зрения метода мы можем смотреть на её глубину, её связность и даже на её красоту просто как на ориентир или стимул для нашей интуиции и воображения.

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

Хорошо известно, что ньютоновой динамике удалось объединить земную физику Галилея с небесной физикой Кеплера. Часто говорят, что ньютонову динамику можно индуктивным путём вывести из законов Кеплера и Галилея, и утверждалось даже, что её можно вывести из них строго дедуктивно ¹⁹². Но это не так: с логической точки зрения теория Ньютона, строго говоря, противоречит и теории Галилея, и теории Кеплера (хотя эти последние теории можно, конечно, получить как приближения к теории Ньютона, если у нас такая теория уже есть). По этой причине невозможно вывести теорию Ньютона ни из теории Кеплера, ни из теории Галилея, ни из них вместе, ни дедуктивно, ни индуктивно. Это следует из того, что ни дедуктивный, ни индуктивный вывод не могут приводить от непротиворечивых посылок к заключению, которое формально противоречит этим исходным посылкам.

Я считаю это очень веским аргументом против индукции.

Теперь я вкратце укажу противоречия между теорией Ньютона и теориями его предшественников. Галилей утверждал, что брошенный камень или снаряд движется по параболе, за исключением случая вертикального падения, когда он движется по прямой с постоянным ускорением. (В ходе всего этого обсуждения мы пренебрегаем сопротивлением воздуха). С точки зрения теории Ньютона оба эти утверждения ложны по двум различным причинам. Первое ложно потому, что траектория снаряда, летящего на дальнюю дистанцию, такого как межконтинентальная ракета (запущенная вверх или горизонтально), даже приблизительно не является параболой, а будет эллиптической. Она становится близкой к параболе, только если общая дальность полёта пренебрежимо мала по сравнению с земным радиусом. Это отметил сам Ньютон в своих «Principia», а также и в их упрощённом варианте — «Системе мира», где в качестве иллюстрации он использует рисунок, приведённый на этой странице.

Рисунок Ньютона иллюстрирует его высказывание, что если скорость снаряда, а вместе с ней и дальность полёта, возрастает, он «в конце концов, выйдя за пределы Земли… уйдёт в пространство, не касаясь её» ¹⁹³.

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

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

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

С законами Кеплера ситуация аналогична. Очевидно, в рамках теории Ньютона законы Кеплера верны лишь приближённо, то есть в строгом смысле неверны, и это особенно ясно, если принять во внимание взаимное притяжение планет ¹⁹⁴. Но помимо этого довольно очевидного противоречия, между теориями Ньютона и Кеплера есть и более фундаментальные противоречия. Ведь даже если — в виде уступки нашим оппонентам — мы пренебрежём взаимным притяжением планет, то третий закон Кеплера, рассматриваемый с точки зрения ньютоновской динамики, не может быть чем-то большим, нежели просто приближением, применимым только в очень особом случае — к планетам, массы которых равны, а если не равны, то пренебрежимо малы по сравнению с массой Солнца. А поскольку это условие даже приближённо не выполняется в случае, когда одна планета очень легкая, а другая очень тяжёлая, то ясно, что третий закон Кеплера противоречит теории Ньютона точно так же, как закон Галилея.

Это легко показать следующим образом. В теории Ньютона можно сформулировать для системы двух тел — двоичной звёздной системы — закон, который астрономы часто называют «законом Кеплера», поскольку он тесно связан с третьим законом Кеплера. Этот так называемый «закон Кеплера» говорит, что если то есть масса одного из этих двух тел, скажем, Солнца, а т₁ — масса второго тела, скажем, планеты, то выбрав подходящие единицы измерения, мы можем вывести из теории Ньютона следующее равенство:

1) a³/T² = m₀ + m₁,

Где а — среднее расстояние между этими двумя телами, а T — время полного обращения [планеты вокруг Солнца]. Третий же закон Кеплера утверждает, что

2) a³/T² = const

То есть а³/Т² постоянно для всех планет Солнечной системы. Ясно, что мы можем получить этот закон из (1) только при допущении, что т₀ + m₁ = const; а поскольку для нашей солнечной системы m₀ постоянна, мы получим (2) из (1), если примем, что m₁ одна и та же для всех планет; или, если это фактически ложно (как это и есть на самом деле, поскольку Юпитер в несколько тысяч раз больше, чем самые маленькие планеты), — что массы планет все равны нулю по сравнению с массой Солнца, так что мы можем положить т₁ = 0 для всех планет. Это очень хорошее приближение с точки зрения теории Ньютона; но в то же время равенство т₁ = 0 не только, строго говоря, ложно, но и нереализуемо с точки зрения теории Ньютона. (Тело с нулевой массой не подчинялось бы ньютоновским законам движения). Так что даже если мы забудем о взаимном притяжении планет, третий закон Кеплера (2) противоречит теории Ньютона, из которой выводится (1).

Важно отметить, что из теорий Галилея или Кеплера мы не получаем даже малейшего намёка на то, как следовало бы приспосабливать эти теории — какие ложные допущения надо было бы принимать или какие условия оговаривать, — если бы мы захотели перейти от этих теорий к другой, более общей, такой как теория Ньютона. Только после того, как мы получим теорию Ньютона, мы сможем выяснить, можно ли и в каком смысле назвать эти более старые теории приближениями к ней. Мы можем кратко выразить этот факт, сказав, что хотя с точки зрения теории Ньютона теории Кеплера и Галилея являются прекрасными приближениями к некоторым особым ньютонианским результатам, однако нельзя сказать, что с точки зрения двух других теорий теория Ньютона является приближением к их результатам. Все это показывает, что логика — ни дедуктивная, ни индуктивная — не может сделать шаг от этих теорий к динамике Ньютона ¹⁹⁵. Этот шаг может сделать только изобретательность. А после того, как он будет сделан, можно будет сказать, что результаты Кеплера и Галилея подкрепляют (corroborate) новую теорию.

Здесь, однако, меня интересует не столько невозможность индукции, сколько проблема глубины. А из нашего примера мы действительно можем узнать кое-что насчёт этой проблемы. Теория Ньютона объединяет теории Галилея и Кеплера, однако она отнюдь не является просто конъюнкцией этих двух теорий, которые для теории Ньютона играют роль объясняемого, — объясняя их, она их корректирует. Исходной задачей объяснения был дедуктивный вывод прежних результатов. Но эта задача была решена не выводом прежних результатов, а выводом вместо них чего-то лучшего — новых результатов, которые в особых условиях старых результатов численно очень близко подходят к старым, в то же время корректируя их. Таким образом, можно сказать, что эмпирические успехи старой теории подкрепляют новую теорию; вдобавок эти корректировки в свою очередь могут быть проверены и, возможно, опровергнуты — или подкреплены. Что наиболее ярко выявляется этой логической ситуацией, так это тот факт, что новая теория никак не может быть ни ad hoc, ни круговой. Она не только не повторяет своё объясняемое, но и противоречит ему и корректирует его. При этом даже свидетельства самого объясняемого становятся независимыми свидетельствами в пользу новой теории. (Кстати, этот анализ позволяет нам объяснить ценность метрических теорий и измерения; и таким образом он помогает нам избежать ошибочного принятия измерения и точности за окончательные, ни к чему не сводимые ценности).

Я высказываю предположение, что всегда, когда в эмпирических науках новая теория более высокого уровня общности объясняет какие-то прежние теории путем их корректирования, это ясно показывает, что новая теория проникла в проблему глубже, чем прежние. Требование, чтобы новая теория содержала старую как приближение, при подходящих значениях параметров новой теории, можно назвать (вслед за Бором) «принципом соответствия».

Как я сказал ранее, выполнение этого требования является достаточным условием глубины. Что это — не необходимое условие, можно видеть из того факта, что теория электромагнитных волн Максвелла не корректировала в этом смысле волновую теорию света Френеля. Она, конечно, означала возрастание глубины, но в другом смысле: «Старый вопрос о направлении колебаний поляризованного света стал беспредметным. Трудности с граничными условиями на границе двух сред исчезли из основ теории. Не требовалось больше выдвигать гипотезу о продольных световых волнах. Экспериментально открытое недавно световое давление, играющее столь важную роль в теории излучения, оказалось следствием теории» ¹⁹⁶. Этот блестящий пассаж, в котором Эйнштейн очерчивает некоторые из основных достижений теории Максвелла, сравнивая её с теорией Френеля, может рассматриваться как указание на то, что есть и другие достаточные условия глубины, не покрываемые моим анализом.

Задачу науки, которая, по моему предположению, состоит в поиске удовлетворительных объяснений, вряд ли можно понять, не будучи реалистом. Ибо удовлетворительное объяснение — это такое, которое не является объяснением ad hoc. Эту идею — идею независимых свидетельств — вряд ли можно понять без идеи открытия, продвижения к более глубоким уровням объяснения — без представления о том, что есть нечто, что мы должны открыть и что мы можем критически обсуждать.

И всё-таки мне кажется, что в рамках методологии нам не обязательно исходить из метафизического реализма — да мы и не можем получить от него особой помощи, разве только интуитивной. Действительно, когда нам сказали, что цель науки — объяснять, и что самым удовлетворительным объяснением будет такое, которое допускает самые жёсткие проверки и было проверено самым жёстким образом, — мы знаем всё, что нам нужно знать как методологам. Что эта цель реализуема — мы не можем утверждать ни с помощью, ни без помощи метафизического реализма, который может дать нам лишь некое интуитивное поощрение, некую надежду, но без всякой уверенности. И хотя можно сказать, что рациональный подход к методологии зависит от принятой или предполагаемой цели науки, он, конечно, не зависит от метафизического и скорее всего ложного допущения, что истинная структурная теория мира (если такая возможна) может быть открыта человеком или выражена человеческим языком.

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