Шаги за горизонт

Гораздо более серьезные языковые трудности возникли, однако, в атомной физике. При описании процессов, протекающих в области мельчайших размеров, при описании взаимосвязей, проанализированных и математически выраженных квантовой теорией, обыденный язык и язык классической физики столь явно обнаружили свою непригодность, что даже физики эйнштейновского ранга до конца жизни не в состоянии были примириться с новой ситуацией.

Положим, мы наблюдаем электроны в камере Вильсона; мы видим их след в виде полосы конденсированного пара, похожей на полосу, по которой мы распознаем самолет, летящий высоко в небе; на этом основании мы уверенно говорим об электронах как о быстро летящих электрически заряженных частицах. Но в других экспериментах те же самые образования проявляются как волны, способные вызвать явления дифракции и интерференции; они, следовательно, не могут быть только частицами ничтожной протяженности, одновременно они должны быть и процессами, распространяющимися в более обширном пространстве. Как можем мы охарактеризовать подобные образования, если всякое сравнение с образами нашего чувственно воспринимаемого мира оказывается неприменимым или в лучшем случае может выступать лишь в качестве намека и остается жестко связанным с экспериментами определенного типа? Здесь опять-таки невозможно входить в содержание квантовой теории и выяснять суть описываемых ею явлений, но, как и раньше, допустимо, пожалуй, задаваться вопросом о языке, на котором фактически говорят об атомах и элементарных частицах.

После открытия, сделанного Планком в 1900 году, история становления квантовой теории напоминает историю становления теории относительности, с той разницей, что первая заняла гораздо больше времени. Важнейшие экспериментальные данные в исследованиях атомных спектров и в химии были получены уже на рубеже столетий и накапливались в течение первых двух десятилетий XX века. Затем, в 20-е годы, на основе этого богатейшего материала была разработана математическая формулировка квантовой и волновой механики и в результате было достигнуто наконец полное понимание квантовомеханических явлений. За 30 лет, прошедших с тех пор, в среде физиков выработался язык, на котором они говорят об атомарных явлениях. На этот раз, однако, он не согласуется с искусственным языком математики. Вместо этого сложился особый прием: для описания мельчайших частей материи используются попеременно различные, противоречащие друг другу наглядные образы. В зависимости от характера конкретного эксперимента определяется, целесообразно ли в данном случае говорить о волне или о частице, о траекториях электрона или о стационарных состояниях. При этом, однако, мы всегда ясно сознаем, что подобные образы — лишь неточные аналогии, что мы имеем дело всего лишь с условными событиями и пытаемся с их помощью приблизиться к реальному событию.

Если же требуется точная формулировка, чаще всего приходится ограничиваться искусственным языком математики.

Такой способ формирования языка связан прежде всего с основополагающим парадоксом квантовой теории. Всякий эксперимент независимо от того, относится ли он к явлениям повседневной жизни или атомной физики, необходимо описывать в понятиях классической физики. Понятия классической физики образуют тот изначальный язык, на котором мы планируем опыты и фиксируем их результаты. Мы не в состоянии заменить его другим. Тем не менее законы природы ограничивают применимость этих понятий так называемыми соотношениями неопределенностей. Например, мы не можем точно знать положение элементарной частицы и одновременно с той же степенью точности — ее скорость. Чем точнее измеряем мы это положение, тем менее точно наше знание о скорости, и наоборот. Произведение обеих неточностей равно постоянной Планка, деленной на массу соответствующей частицы. Н. Бор говорил о дополнительности понятий места и скорости и указывал, как правило, на то, что в атомной физике мы вынуждены пользоваться разными способами описания, исключающими, но также и дополняющими друг друга, адекватное же описание процесса достигается в конечном счете только игрой различных образов. Ситуация дополнительности привела к тому, что физик, говоря о событии в мире атомов, нередко довольствуется неточным метафорическим языком и, подобно поэту, стремится с помощью образов и сравнений подтолкнуть ум слушателя в желательном направлении, а не заставить его с помощью однозначной формулировки точно следовать определенному направлению мысли. Речь становится однозначной, только если мы пользуемся искусственным языком математики, корректность которого подтверждается опытом и не вызывает сомнений.

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

Логика, называемая квантовой, была проанализирована уже в 30-е годы Г. Биркгофом и И. фон Нейманом, а недавно вновь подробно исследована К. Ф. фон Вейцзеккером [82] . Прежде всего здесь должна утрачивать силу одна из основополагающих аксиом аристотелевской логики, то есть логики повседневной жизни. Речь идет о принципе, согласно которому либо утверждение некоего высказывания, либо его отрицание должно быть верным. Из двух высказываний, например «Здесь есть стол» и «Здесь нет стола», одно обязательно должно быть верным, а другое ложным, третьего не дано: terbium non datur. В квантовой логике вместо этой аксиомы выдвигается, согласно Вейцзеккеру, следующий постулат: в случае простой альтернативы отмеченного типа высказыванию приписывается определенная истинность, которую можно охарактеризовать двумя комплексными числами. Здесь, разумеется, неуместно входить в детали; отметим лишь, что эти числа позволяют образовать третье, именуемое значением истинности; оно равно 1, если высказывание верно, и 0, если оно ложно. Допустимы, однако, и промежуточные значения, например значение ¹/₂, когда высказывание с равной вероятностью может оказаться как истинным, так и ложным. Существуют, следовательно, промежуточные ситуации, для которых остается неопределенным, ложно или истинно высказывание, причем слова «остается неопределенным» ни в коем случае нельзя понимать просто в смысле незнания истинного положения дел. Высказывание с промежуточным значением истинности нельзя, стало быть, истолковывать так, что-де «в действительности» истинно либо одно, либо другое альтернативное высказывание и неизвестно лишь, какое из них считать таковым. Высказывание с промежуточным значением истинности скорее уж вовсе не поддается выражению на обыденном языке. Вейцзеккер называет такое высказывание дополнительным по отношению к простым альтернативным высказываниям.

82

⁷⁴ Birkhoff G., Neuman J. von. The Logic of Quantum Mechanik//Annals of Math., 1936, vol. 37; Weizs"acker К. von. Komplementerit"at und Logik//Die Naturwissenschaften, Bd. 42, Heft 19, 20. Меськов В. С. Очерки по логике квантовой механики. М., МГУ, 1986.

Против подобного расширения логики сразу же напрашивается возражение. Когда мы говорим или пишем об этой логике, мы недолго думая пользуемся обычной, аристотелевской логикой. Явно или неявно мы постоянно руководствуемся той же аксиомой: tertium поп datur. В силу этого возникает впечатление, что задуманное расширение логики внутренне противоречиво. В ответ на это возражение Вейцзеккер справедливо подчеркнул возможность выделить в языке разные уровни. На первом уровне мы говорим об объектах, об атомах и электронах или же об объектах повседневной жизни, столах и стульях; на втором уровне говорится о высказываниях об объектах; он содержит, следовательно, высказывания о высказываниях об электронах или высказывания о теории электронов; на третьем уровне можно говорить о высказываниях о высказываниях об объектах и т. д. В принципе было бы допустимо пользоваться на различных уровнях языка различными логиками, а в предельном случае, на высшей ступени, вновь вернуться к обычной логике. В таком случае нечего было бы возразить против использования аристотелевской логики при описании более общей логики, действующей на других ступенях. Ситуация в логике напоминала бы тогда ситуацию в квантовой теории. Хотя мы должны утверждать, что квантовомеханические законы справедливы всюду, в том числе и в сфере явлений повседневной жизни, классическая физика содержится в квантовой в качестве предельного случая, а это значит, что при описании не слишком малых объектов квантовомеханические черты событий играют подчиненную роль и в повседневной жизни ими вообще можно пренебречь. Аналогично классическая, аристотелевская логика содержалась бы в квантовой в качестве предельного случая и во множестве рассуждений принципиально допускалось бы использование классической логики.

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

Возвращаясь снова к низшему уровню языка, к высказываниям об объектах и тем самым к квантовой логике, поясним характерное отличие этой логики от обычной следующим примером: представим себе атом, движущийся в закрытом ящике, разделенном перегородкой пополам. Пусть в перегородке имеется очень маленькая дырка и атом временами может пролетать через нее. По классической логике атом может находиться либо в левой, либо в правой половине ящика. Третьей возможности не существует: tertium non datur. В квантовой теории, если мы вообще хотим продолжать пользоваться словами «атом» и «ящик», необходимо допустить и иные возможности, странным образом являющие собой смешение первых двух возможностей. Это требуется для объяснения результатов определенных опытов. Допустим, мы наблюдаем свет, рассеянный атомом, и проводим три испытания. В первом опыте атом заключен в левой половине ящика (дырка в перегородке закрыта) и мы измеряем распределение интенсивности рассеянного света. Во втором опыте атом заключен в правой половине ящика и снова изучается рассеянный им свет. В третьем опыте мы опять-таки исследуем: распределение интенсивности рассеянного света при условии, что атом может свободно перемещаться из одной половины ящика в другую и обратно. И вот, если бы атом находился всегда либо в левой, либо в правой половине ящика, распределение интенсивности в третьем опыте необходимо складывалось бы из наложения соответствующих распределений первого и второго опытов, а общая картина определялась бы только временем, которое атом проводит в одной из половин. Эксперименты, однако, показывают, что это, вообще говоря, неверно. Реальное распределение интенсивности, как правило, оказывается иным в силу так называемой интерференции вероятностей, играющей важную роль в квантовой теории [83] . Здесь, впрочем, нет нужды объяснять суть дела детальней. В разобранном только что третьем случае налицо ситуация, характеризующаяся тем типом высказываний, который был назван дополнительным по отношению к типу альтернативных высказываний.

83

⁷⁵ Этот же принципиальный постулат квантовой теории только на другом конкретном примере более подробно разобран в кн.: Фейнман Р., Лейтон Р., Сэндс М. Фейнмановские лекции по физике. М., «Мир», 1978. Т. 8, 9. Квантовая механика, § 1, 2. Вероятностное истолкование волновой функции Шрёдингера и понятие суперпозиции состояний приводили, казалось, к парадоксальным заключением, что вызвало серьезные споры между ведущими физиками-теоретиками. См. по этому поводу: Эйнштейн А., Подольский Б., Розен Н. Можно ли считать квантовомеханическое описание физической реальности полным?//Эйнштейн А. Собр. научн, трудов. М., «Наука». Т. 3, с. 604–611; Бор Н. Дискуссии с Эйнштейном о проблемах теории познания в атомной физике//Бор Н. Атомная физика и человеческое познание. М., ПЛ., 1961, с. 51–94; Шрёдингер Э. Современное положение в квантовой механике//Шрёдингер Э. Новые пути в физике. М., «Наука», 1971, с. 66—106.

Рассмотрим теперь на этом примере различные уровни языка. В классической логике отношение между разными уровнями было бы отношением однозначного соответствия. Два высказывания: «Атом находится в левой половине» и «Истинно, что атом находится в левой половине» — логически относятся к разным уровням. Но в классической логике оба высказывания полностью эквивалентны, то есть оба либо истинны, либо ложны. Не может случиться так, что одно будет истинным, а другое ложным. Но в логической схеме дополнительности это отношение сложнее. Из истинности или ложности первого высказывания действительно следует истинность или ложность второго, но из ложности второго не обязательно следует ложность первого. Если второе высказывание ложно, может все еще быть неопределенным, находится ли атом в левой половине ящика. Атом не обязательно будет находиться и в правой половине. Относительно истинности высказываний уровни языка остаются полностью эквивалентными, но относительно ложности они уже неэквивалентны. Отсюда легко понять и то, почему мы говорим о «неколебимости классических законов» в квантовой теории.

Везде, где применение в данном эксперименте законов классической физики приводит к определенному выводу, тот же результат даст и квантовая теория, и экспериментально он тоже будет подтверждаться.

Намеченная здесь модифицированная логика квантовой теории неизбежно влечет за собой модификацию онтологии. Ведь всякому высказыванию, которое оставляет неопределенным, в правой или в левой половине ящика находится атом, соответствует в природе некая ситуация, не отождествимая ни с той, когда атом находится в левой половине, ни с той, когда атом находится в правой половине ящика. Такие соответствующие дополнительным высказываниям состояния Вейцзеккер назвал сосуществующими состояниями, указывая тем самым, что оба альтернативных состояния присутствуют в них в качестве возможностей. Понятие состояния могло бы стать первой дефиницией в системе квантово-теоретической онтологии. Мы сразу же замечаем, что подобное использование слова «состояние», тем более выражения «сосуществующие состояния» столь радикально отличается от принятого в языке материалистической онтологии, что позволительно усомниться в целесообразности используемой здесь терминологии. С другой стороны, если мы понимаем, что слово «состояние» означает скорее возможность, чем действительность, и что его можно просто заменить словом «возможность», получается вполне приемлемое понятие «сосуществующие возможности» — ведь одна возможность может пересекаться с другой или включить ее в себя.

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