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