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