Как я уже упоминал, всякое научное объяснение имеет дело с дедукцией, выводом одной истины из другой. Но в объяснении заключено, с одной стороны, нечто большее, чем просто дедукция, а с другой стороны, нечто меньшее. Простой вывод одного утверждения из другого с помощью законов логики не обязательно содержит объяснение, и это ясно видно в тех случаях, когда оба утверждения могут быть выведены друг из друга. Эйнштейн пришел к заключению о существовании фотонов в 1905 г., исходя из успешной теории теплового излучения, предложенной пятью годами ранее Максом Планком; девятнадцать лет спустя Сатьендра Нат Бозе показал, что теорию Планка можно вывести из эйнштейновской теории фотонов. Объяснение, в противоположность выводу, дает поразительное ощущение направления. У нас возникает захватывающее чувство, что фотонная теория света более фундаментальна, чем любое другое утверждение, касающееся теплового излучения, и поэтому именно она является объяснением свойств такого излучения. Точно так же Ньютон вывел свои знаменитые законы, частично пользуясь ранее установленными законами Кеплера, описывающими движение планет Солнечной системы[15], но тем не менее мы утверждаем, что законы Ньютона объясняют законы Кеплера, но не наоборот.
Разговоры о более фундаментальных истинах очень нервируют философов. Можно сказать, что более фундаментальные истины это те, которые в определенном смысле более всеобъемлющи, но и здесь трудно дать точные формулировки. Однако ученые оказались бы в плохом положении, если бы ограничились использованием только тех понятий, которые уже получили удовлетворительное философское объяснение. Ни один работающий физик не сомневается, что законы Ньютона более фундаментальны, чем законы Кеплера, или что теория фотонов Эйнштейна более фундаментальна, чем теория теплового излучения Планка.
И все же научное объяснение может быть и чем-то меньшим, чем дедукция, так как мы можем утверждать, что какой-то факт объясняется некоторым принципом, хотя мы не в силах вывести этот факт из данного принципа. Используя законы квантовой механики, мы можем вывести различные свойства простейших атомов и молекул и даже оценить уровни энергии сложных молекул, вроде молекул карбоната кальция в меле. Химик из Беркли Генри Шефер говорит, что «при разумном применении общепринятых методов теоретической физики ко множеству задач о поведении молекул, даже таких больших, как молекула нафталина, получаемые результаты можно рассматривать точно так же, как добытые в заслуживающем доверия эксперименте»[16]. И все же никто реально не смог решить уравнений квантовой механики и вывести детальный вид волновой функции или точное значение энергии такой действительно сложной молекулы, как молекула белка. Тем не менее мы ничуть не сомневаемся, что правила квантовой механики «объясняют» свойства таких молекул. Частично такая уверенность базируется на том, что с помощью квантовой механики можно рассчитать детальные свойства простейших систем, вроде молекул водорода, а частично – на том, что у нас есть математические правила, позволяющие вычислить все свойства любой молекулы с любой желаемой точностью, если только предоставить нам достаточно мощный компьютер и достаточное количество машинного времени.
Иногда мы вправе говорить, что можем что-то объяснить, даже если не уверены, что когда-либо сможем это вывести с помощью дедукции. До сих пор мы не знаем, как использовать стандартную модель элементарных частиц для вычисления детальных свойств атомных ядер, и у нас нет уверенности, что мы когда-нибудь узнаем, как сделать такие вычисления, даже имея в своем распоряжении компьютеры неограниченной мощности[17]. (Это связано с тем, что силы, действующие внутри ядер, слишком велики, чтобы можно было использовать определенные вычислительные приемы, хорошо работающие в случае атомов или молекул.) И все же мы не сомневаемся, что свойства атомных ядер таковы, каковы они есть, потому что нам известны принципы стандартной модели. В данном случае слова «потому что» не имеют ничего общего с нашей способностью реально вывести что-то, а отражают лишь наши взгляды на устройство природы.
Людвиг Витгенштейн, отрицавший саму возможность объяснения какого-либо факта с помощью любого другого факта, предупреждал, что «в основе всего современного взгляда на мир лежит иллюзорная точка зрения, что так называемые законы природы представляют собой объяснения естественных явлений»[18]. Подобные предупреждения мало меня трогают. Говорить физику, что законы природы не являются объяснениями природных явлений, это все равно, что внушать тигру, преследующему добычу, что нет разницы между мясом и травой. То, что мы, ученые, не знаем, как объяснить в приемлемой для философов форме, что же мы на самом деле делаем, занимаясь поисками научных объяснений, не означает, что то, что мы делаем, совершенно бесполезно. Конечно, мы можем пользоваться помощью философов-профессионалов, чтобы понять, что мы делаем, но с ней или без нее мы будем делать одно и то же.
Похожую цепочку «почему?» можно выстроить для любого физического свойства куска мела – для его хрупкости, плотности, сопротивления электрическому току. Но попробуем проникнуть в лабиринт объяснений через другой вход, рассматривая химию мела. Как говорил Хаксли, мел главным образом состоит из карбоната кальция. Хотя Хаксли этого прямо и не утверждал, он, вероятно, знал, что это химическое соединение состоит из элементов кальция, углерода и кислорода в совершенно определенных весовых пропорциях, соответственно, 40, 12 и 48 %.
Почему? Почему мы обнаруживаем, что кальций, углерод и кислород образуют именно это химическое соединение только в таких пропорциях, и не существует других соединений, содержащих такие же элементы во многих других возможных пропорциях? Ответ был найден химиками XIX в. с помощью атомной теории, причем до того, как были получены прямые экспериментальные свидетельства существования атомов. Веса атомов кальция, углерода и кислорода относятся как 40 : 12 : 16, а молекула карбоната кальция состоит из одного атома кальция, одного атома углерода и трех атомов кислорода, так что отношение весов этих элементов в карбонате кальция как раз равно 40 : 12 : 48.
Б15
Согласно законам Кеплера, орбиты планет имеют форму эллипсов, в одном из фокусов которых находится Солнце; при обращении вокруг Солнца скорость каждой планеты меняется так, что линия, соединяющая планету с Солнцем, заметает за равные промежутки времени равные площади; квадраты периодов обращения пропорциональны кубам больших полуосей эллиптических орбит. Законы Ньютона утверждают, что каждая частица во Вселенной притягивает любую другую частицу с силой, пропорциональной произведению масс частиц, и обратно пропорциональной квадрату расстояния между ними, а также определяют, как движутся любые тела под действием любой заданной силы.
Б16
Б17
Ряд теоретиков исследуют возможность проведения вычислений включающих сильные ядерные взаимодействия, представляя пространство-время в виде решетки отдельных точек и используя действующие параллельно компьютеры для определения изменения значений полей в каждой точке. Выражается определенная надежда, что такими методами можно вывести свойства ядер из принципов квантовой хромодинамики. До сих пор не удалось даже вычислить массы протона и нейтрона, из которых состоят ядра.
Б18
Эта цитата взята из «Логико-философского трактата» Л. Витгенштейна37). Во многом в том же духе мой философски настроенный друг проф. Филип Боббитт с факультета юриспруденции Техасского университета говорил мне: «Когда я отвечаю ребенку, спросившему меня, почему яблоко падает на Землю, что “это из-за тяготения, дорогой”, я не объясняю ничего. Предлагаемые физикой математические описания физического мира не являются объяснениями…». Я согласен с этим утверждением, если все, что подразумевается под тяготением, сводится к тому, что у тяжелых предметов имеется тенденция падать на Землю. С другой стороны, если понимать под тяготением весь комплекс явлений, описанных теориями Ньютона или Эйнштейна, включая движения приливов на Земле, планет и галактик, тогда ответ, что яблоко падает из-за тяготения, безусловно выглядит для меня как объяснение. Во всяком случае, именно так используют слово «объяснение» действующие ученые.