Таким образом, идеал инструменталистов, олицетворяемый нашим воображаемым оракулом, а именно – научная теория, лишенная своего объяснительного содержания, будет иметь очень ограниченную полезность. Так будем благодарны, что реальные научные теории не похожи на этот идеал и что ученые в действительности к нему не стремятся.
Крайняя форма инструментализма, называемая позитивизмом (или логическим позитивизмом), утверждает, что все положения, отличные от тех, которые описывают или предсказывают наблюдения, не только излишни, но и бессмысленны. И хотя в соответствии с этим критерием в самой доктрине отсутствует смысл, она тем не менее господствовала в науке всю первую половину XX столетия! Идеи инструменталистов и позитивистов широко распространены даже сегодня. Причина такой их внешней убедительности заключается в том, что, хотя предсказание не является целью науки, оно является характерной чертой научного метода. Этот научный метод включает выдвижение новой теории для объяснения некоторого класса явлений, затем проведение решающей экспериментальной проверки – такого эксперимента, для которого старая теория предсказывает один видимый результат, а новая теория – другой. Затем теория, предсказания которой оказались ложными, отвергается. Таким образом, результат решающего эксперимента, который позволяет сделать выбор между двумя теориями, зависит от предсказаний теорий, а не напрямую от их объяснений. Именно отсюда истекает ошибочное представление, что в научной теории нет ничего, кроме предсказаний. Однако экспериментальная проверка – это далеко не единственный процесс, обеспечивающий рост научного знания. Подавляющее большинство теорий отвергли не потому, что они не прошли проверку экспериментом, а потому, что они давали плохие объяснения. Мы отвергаем такие теории, даже не проверяя их. Например, рассмотрим следующую теорию: съев килограмм травы, можно вылечиться от простуды. Эта теория делает предсказание, которое можно проверить на опыте: если люди попробуют лечиться травой и найдут это неэффективным, будет доказана ее ложность. Но эту теорию никогда не проверяли экспериментально и, возможно, никогда не будут проверять, потому что она не дает объяснений: она не объясняет ни механизм лечения, ни что бы то ни было еще. Поэтому мы справедливо полагаем, что она ложная. Всегда есть бесконечно много возможных теорий такого рода, совместимых с существующими наблюдениями и предлагающих новые предсказания, и у нас не хватило бы ни времени, ни средств, чтобы проверить их все. Мы проверяем те новые теории, которые выглядят более обещающими для объяснения вещей, чем доминирующие сегодня.
Утверждать, что предсказание – цель научной теории, значит путать средства и цели. Точно так же можно сказать, что цель космического корабля – сжигать топливо. На самом деле горение топлива – это лишь один из многих процессов, которые корабль должен выполнить для достижения своей действительной цели, то есть для транспортировки полезного груза из одной точки космического пространства в другую. Успешная экспериментальная проверка – это лишь один из многих шагов, которые теория должна пройти для достижения истинной цели науки, состоящей в объяснении мира.
Как я уже сказал, объяснения неизбежно включают то, чего мы не наблюдаем непосредственно: атомы и силы; внутреннее строение звезд и вращение галактик; прошлое и будущее; законы природы. Чем глубже объяснение, тем к более отдаленным от непосредственного опыта сущностям оно должно обращаться. Однако эти сущности не являются вымышленными: напротив, они часть самой структуры реальности.
Объяснения часто порождают предсказания, по крайней мере, в принципе. В самом деле, если что-то вообще можно предсказать, то достаточно полное объяснение должно обеспечивать столь же полное предсказание (помимо всего прочего). Однако можно объяснить и понять многие очевидным образом непредсказуемые вещи. Например, вы не можете предсказать, какие номера выдаст хорошая, симметричная рулетка. Но если вы понимаете, что именно в конструкции и действии рулетки делает ее беспристрастной, то вы сможете объяснить, почему невозможно предсказать номера. И опять: знание о том, что рулетка является честной, не равноценно пониманию того, что делает ее таковой.
И я говорю именно о понимании, а не просто о знании (или описании, или предсказании). Поскольку понимание приходит через объяснительные теории, и благодаря высокой общности таких теорий, быстрый рост числа зафиксированных фактов не обязательно усложняет понимание всего, что понято. Тем не менее большинство людей считает (и именно так мне говорили в детстве), что с ошеломляющей скоростью растет не только количество записанных фактов, но также количество и сложность теорий, через которые мы познаем мир. Следовательно, говорят они, не важно, было или нет такое время, когда один человек мог понять все, что было понято, в наше время это точно невозможно, и это становится все более и более невозможным по мере роста нашего знания. Может показаться, что каждый раз, когда появляется новое объяснение или методика, существенная для данного предмета, приходится добавлять еще одну теорию к списку, который должен выучить любой, кто желает понять предмет. Когда же количество таких теорий в любом предмете становится слишком большим, появляются специализации. Физика, к примеру, разделилась на астрофизику, термодинамику, физику элементарных частиц, квантовую теорию поля и многие другие части. Теоретическая основа каждой из них по крайней мере столь же обширна, как вся физика была сто лет назад, и многие уже распадаются на подспециализации. Кажется, что, чем больше открытий мы делаем, тем дальше и тем более безвозвратно нас уносит в век узких специалистов, и тем более далекими становятся те гипотетические древние времена, когда понимание обычного человека могло охватить все, что только было понято.
Человека, столкнувшегося с этим огромным и быстро растущим списком теорий, созданных человеческой расой, можно простить за его сомнения в том, что один индивидуум способен за свою жизнь отведать каждое блюдо и самостоятельно, как это могло быть когда-то, оценить все известные рецепты. Однако объяснение – необычная пища: большую порцию не обязательно труднее проглотить. Теорию может вытеснить новая теория, более точная, с бо́льшим количеством объяснений, но и более простая для понимания. В этом случае старая теория становится лишней, и мы понимаем больше, а учим меньше. Именно это и произошло, когда теория Николая Коперника о том, что Земля движется вокруг Солнца, вытеснила сложную систему Птолемея, которая помещала Землю в центр вселенной. Иногда новая теория может упрощать существующую, как в случае, когда арабские (десятичные) цифры заменили римские. (В данном случае теория выражена неявно. Каждая система записи делает определенные операции, высказывания и мысли о числах проще, чем другие системы, и, следовательно, воплощает некую теорию о том, какие отношения между числами являются полезными или интересными.) Новая теория может также объединять две старые теории, давая нам больше понимания, чем при их использовании по отдельности, как это произошло, когда Майкл Фарадей и Джеймс Клерк Максвелл объединили теории электричества и магнетизма в одну теорию электромагнетизма. Более удачные объяснения любого предмета обычно косвенным образом ведут к совершенствованию методологии, концепций и языка, с помощью которых мы пытаемся понять другие предметы, а следовательно, по мере возрастания нашего знания в целом его структура может становиться более доступной для понимания.
Часто бывает так, что даже после того, как старые теории включаются в новые, они не забываются полностью. Даже римские цифры все еще используются сегодня в определенных случаях. Те громоздкие методы, с помощью которых люди когда-то вычисляли, что XIX, умноженное на XVII, равно CCCXXIII, уже не применяются всерьез, но даже сейчас они несомненно известны и понятны кому-то, например, историкам математики. Означает ли это, что человек не может понять «все, что понято», не зная римских цифр и их загадочной арифметики? Совсем нет. Современный математик, который по какой-то причине никогда не слышал о римских цифрах, тем не менее уже обладает полным пониманием связанной с ними математики. Узнав о римских цифрах, этот математик приобретет не новое понимание, а всего лишь новые факты – исторические факты, факты о свойствах некоторых произвольно определенных символов, но не новое знание о самих числах. Он уподобится зоологу, который учится переводить названия видов на иностранный язык, или астрофизику, который узнает, каким образом люди различных культур группируют звезды в созвездия.
