Отношение моделей к теории и явлениям сложны и разнообразны. Приближения кажутся более прямолинейными. Однако Картрайт показывает, что это не так. Наша обычная идея аппроксимации заключается в том, что мы начинаем с чего-либо истинного и, чтобы избежать полной путаницы, записываем уравнение, которое лишь приблизительно правильно. Хотя и есть такие приближения в сторону от истины, существует гораздо больше приближений к истине. Во множестве теорий математической физики существует структурное представление, использующее некоторые уравнения на чисто гипотетическом уровне, те уравнения, которые уже являются упрощениями неразрешимых уравнений. Для того, чтобы приспособить их хоть к какому-нибудь уровню феноменологического закона, существуют возможности бесконечных аппроксимаций. Кто-то, изрядно провозившись, обнаруживает, что одно приближение прекрасно соответствует явлениям. Теория ничего не говорит о том, что мы должны использовать именно это приближение. Теория не говорит, что оно истинно. Но оно истинно, если что-либо вообще является истиной. Картрайт утверждает, что теория сама по себе не содержит истины, она помогает нам мыслить, но является всего лишь представлением. Если и имеется какая-либо истина, то она заключается в приближениях, а не в основополагающей теории.
Мир
Картрайт заключает свое вводное эссе, ссылаясь на различение Пьером Дюгемом двух образов мысли (упоминаемое в его работе 1906 года): глубокого, но узкого французского ума и широкого, но неглубокого английского ума. (Здесь мы не будем вдаваться в отдающие шовинизмом уловки и долго задерживаться на том, что математическая физика времен Дюгема развивалась немцами, широкое физическое моделирование, на которое ссылается Дюгем, часто осуществлялось шотландцами, а Лагранж, к примеру, гордился своим итальянским происхождением).
“Французский ум [пишет Картрайт - Я. Х.] видит вещи элегантным, унифицированным образом. Он берет три закона движения Ньютона, закон притяжения и превращает их в прекрасную абстрактную математику Лагранжа. Английский ум, по словам Дюгема, - полная противоположность этому. Он изобретает нечто из шестеренок и блоков и следит за тем, чтобы веревки не перпутались. Он помнит одновременно тысячу различных деталей, не налагая на них абстрактного порядка или организации. Различие между реалистом и мной почти теологическое. Реалист думает, что Создатель вселенной работал как французский математик. Но я считаю, что у Бога неточный английский ум” (стр. 19).
Мне самому больше нравится аргентинский миф Борхеса о библиотеке. Бог не писал Книгу Природы, как представляли себе старые европейцы. Он написал библиотеку, каждая книга которой очень коротка и при этом противоречит всем остальным книгам. Ни одна книга не избыточна. Для каждой книги существует доступный человеку кусочек природы, такой, что именно эта книга, а не какая-либо другая делает возможным понимание, предсказание и влияние на то, что происходит. Это далеко от неточности, это Новое Мировое Лейбницианство. Лейбниц говорил, что Бог выбрал мир с максимизированным многообразием явлений, отбирая при этом простейшие законы. Это так, но лучший способ максимизировать явления и иметь простейшие законы - это сделать законы противоречащими друг другу, когда каждый применяется к тому или этому явлению, но ни один не применяется ко всем сразу.
13. СОЗДАНИЕ ФЕНОМЕНОВ
Одна из ролей эксперимента настолько отрицается философами науки, что для нее даже нет названия. Я называю это созданием феноменов (явлений). Традиционно говорят, что ученые объясняют явления, которые они встречают в природе. Я говорю, что они часто создают явления, которые впоследствии становятся центральными элементами теорий.
Слово “феномен” имеет долгую философскую историю. В эпоху Возрождения некоторые астрономы пытались “спасти явление”, то есть создать систему вычислений, которая бы согласовывалась с известными закономерностями. Не все восхищались этим. Кто сравнится в презрении с Фрэнсисом Бэконом, в 1625 году писавшем в своем эссе “Предрассудки”: “Они подобны астрономам, которые для того, чтобы спасти явления, выдумывали эксцентриситеты, эпициклы и целую машинерию орбит, хотя сами не верили, что эти вещи существуют”. Несмотря на это, удивительно, что великий французский историк и философ науки, известный антиреалист Пьер Дюгем выбрал то же самое слово для названия одной из своих книг: “Спасти явления” (1908 г.). Бас ван Фраассен использовал это название для главы своей книги “Научный образ”. Эти авторы учат, что теория предоставляет формализм для погружения феноменов в согласованный порядок, но теория, там где она распространяется за пределы явления, не имеет отношения к какой-либо реальности. Они считают само собой разумеющимся то, что явления открываются наблюдателем и экспериментатором. Как же я могу утверждать, что основная роль эксперимента - это создание явлений? Разве я предлагаю обсудить некоторый вариант окончательного идеализма, в котором мы производим явления, полагаемые даже Дюгемом “данными”? Наоборот, я считаю, что создание явлений больше соответствует твердолобому научному реализму.
Филологический экскурс
Слово “феномен” имеет древнее философское происхождение. В Греции оно обозначало вещь, событие или процесс, который может быть виден, и происходит от глагола “являться”. С самого начала это слово использовалось для того, чтобы выражать философские мысли о видимом и реальности, и было философским минным полем. И все же оно имеет вполне определенный смысл в обычных научных работах. Явление достойно внимания. Явление различимо. Обычно явление - событие или процесс определенного типа, которое происходит регулярно при определенных обстоятельствах. Явление или феномен может также обозначать уникальное событие, которое мы выделяем как особо важное. Если мы знаем регулярность, проявляемую в явлении, мы выражаем ее в законоподобном обобщении. Сам факт такой регулярности иногда называется явлением.
Несмотря на такое употребление, множество античных мыслителей придерживалось того мнения, что феномены - изменяющиеся предметы чувств, в противоположность сущностям (essences), постоянной реальности. Таким образом, явления противопоставлялись реальности. Тогда как такой современный позитивист, как ван Фраассен, придерживается мнения, что явления - единственная реальность. Слово “явление” находится как бы между этими двумя учениями.
Эллинистические писатели противопоставляли феномены ноуменам, вещам в себе. Кант перенес это противопоставление в современную философию и сделал ноумены непознаваемыми. Вся естественная наука стала наукой феноменов. Затем был расцвет позитивизма, полагавшего, что непознаваемое может не приниматься в расчет, как если бы оно не существовало. Слово “феномен” стало обозначать для некоторых эмпирических философов чувственные данные - частные, личные, относящиеся к ощущениям. Феноменализм, по словам Дж. С. Милля, означает то, что вещи - лишь постоянные возможности ощущения и что внешний мир состоит из реальных и возможных данных чувств.
Слово “феноменология” было предложено в 1764 году физиком Дж. Х. Ламбертом как название для науки о явлениях, но с тех пор слово разделилось на два совершенно разных значения. Философы знают, что “Феноменология духа” Гегеля (1807 г.) - это исследование того, как разум развивается, проходя различные стадии познания себя как явления, но, в конце концов, постигает себя как реальность. В начале этого века слово “феноменология” было взято в качестве названия для немецкой школы философии, самым знаменитым из которой был Гуссерль. Меня настолько обучили этому философскому смыслу слова, что когда я выступал с лекцией по этому предмету в серии “Перспективы” университета Нотр-Дам (о чем вспоминаю с благодарностью), я с удивлением услышал на физическом факультете о желании взять на работу феноменолога. Феноменология - важная часть физики твердого тела и физики элементарных частиц. Если бы вы хотели проверить написанное мной о мюонах и мезонах в главе 8, вы бы наверняка воспользовались классической ссылкой на такую книгу, как например, “Мезоны и поля” Х. Бете. Там вы найдете обсуждение мюонов, за которым следует длинный раздел по феноменологии. Мое использование слова “феномен” (“явление”) - такое же, как у физиков. Его следует максимально отделять от философского феноменализма, философской феноменологии и частных, мимолетных чувственных данных. Явление для меня - нечто публичное, регулярное, возможно законоподобное, но, может быть, и исключительное.
То есть образцом для моего использования слова служат физика и астрономия. Наблюдатели звезд эпохи Возрождения имели в виду как регулярно наблюдаемые движения сфер, так и особые явления, например, затмение Марса, которое, как они надеялись, окажется выводимым из некоторого законообразного устройства небес. Но, конечно, астрономы были также и философами, которые были ближе к грекам в использовании обертонов слова феномен. Феномены были “видимостями” (“appearances”). Историк науки Николя Жардэн рассказывал мне, что Кеплер считал недостатком солнечной системы то, что при наблюдении мы видим явления, - то, где по видимости движутся планеты, - а не истинные положения и пути небесных тел.
Решение явлений
Иногда слова старых астрономов о спасении явлений звучали вполне серьезно, но я думаю, что задолго до Бэкона эти слова зачастую использовались с некоторой иронией. В семнадцатом веке научное использование слова “явление” распространилось на все то, что называлось “явлениями природы”. Это включало как закономерности, так и то, что наши современные страховые компании продолжают называть божьими делами: такие бедствия, как например, землетрясение. Даниэль Дефо говорит о дневной видимости звезд как о явлении. Явлением может быть скорее аномалия, чем то, что известно как регулярность.
Выражение “спасать явления” (“to save the phenomena”) претерпело смысловые сдвиги. Его корни можно проследить до древних греков, затем встретить его у римлян, использовавших глагол salve (спасать). В английском языке семнадцатого века он трансформировался не в глагол save, а в глагол solve, так что, например, Дэвид Юм писал о “решении явления” (“the solution of the phenomenon”). Это также обозначало “объяснение явлений”, что было полностью противоположно тому, что Дюгем имеет в виду под спасением явлений. Таким образом, всякий, кто надеется, что филология даст урок философии, должен себя осаживать.
Не потерялась ли здесь родословная слова “явление” настолько, что нет возможности придать ему тот смысл, который придаю ему я? Напротив, этимология моего значения на редкость согласована, а также совпадает с основным современным значением этого слова, используемым в естественных науках. В восемнадцатом веке слово “phenomenon” употреблялось в английском языке преимущественно в моем смысле. Можно было бы подумать, что его использование у Беркли служит контрпримером, поскольку в настоящее время его называют феноменалистом, сводившим внешний мир к чувственным данным. Совсем наоборот. В книге Siris (1744), написанной им в конце жизни, он употреблял это слово 40 раз. Эта книга - замечательный, хотя и несколько сумасшедший трактат обо всем, начиная с запоров, включая науку и кончая верой в Бога. Беркли использует фразу “явление природы” в обычном для своего времени значении, для обозначения известных закономерностей. Конечно, Беркли считал, что все явления - видимости (appearances), но не потому что он считал их чувственными данными! В философских частях своей книги Беркли пытается опровергать английских философов естественных наук, работавших в традиции Бойля и Ньютона. Он предоставляет совершенно нематериалистическое и несколько антиреалистическое описание решения явлений, но его замечания следуют из его теорий материи и причинности, а не из некоего нестандартного смысла этого слова, в котором само “явление” обозначает чувственно данное.
Здесь можно вполне положиться на словари. Оксфордский энциклопедический словарь (ОЭС), который представляет собой богатое месторождение примеров, часто ошибается относительно философских слов, потому что он отражает тот анахронический стиль философствования, который был принят в том городе, где была написана эта великая книга. Так, в ОЭС говорится, что слово “явление” стало обозначать “прямое содержание чувственного опыта” с момента выхода в свет книги “Действующие силы человеческого разума” Томаса Рида (1788 г.). Но это неправильное прочтение того места, на которое ссылается словарь. Рид говорит о явлениях природы, и так же как Беркли, в качестве стандартного примера рассматривает действие магнита на стрелку компаса. Это действие не есть “прямое содержание чувственного опыта”, как утверждает словарь, но наблюдаемая закономерность природы. Рид защищает традиционную ньютоновскую линию, ставшую впоследствии частью позитивизма Конта, а именно то, что решение явления представляет собой описательные законы, но ничего не говорит о действующих причинах.
Именно немецкой философии мы обязаны возрождением “философского” смысла слова “феномен”, которое стало принятым в английской школе феноменализма и континентальной школе феноменологии. Парадоксально, что если бы британцы придерживались взгляда своих мэтров, таких как Беркли или Рид, они бы никогда не впали в крайности эмпирицизма.
Эффекты
Когда физики встречаются в теории и эксперименте с поучительными явлениями, они начинают называть их эффектами. Я не знаю, когда это началось, но к 1880-м годам это стало всеобщей практикой: эффект Фарадея или магнитооптический эффект, эффект Комптона, эффект Зеемана, фотоэлектрический эффект, аномальный эффект Зеемана, эффект Джозефсона. Эверитт отмечает, что Максвел говорит об эффекте Пельтье в своей “Теории тепла” (1872 г.). Может быть, с этого момента началось использование этого слова.
“Эффекты” начали действительно скапливаться в физике начиная с середины 1880-х годов. Это можно было бы использовать в качестве симптома новой эпохи в самой физике. Что такое эффект, и почему люди начали называть что-либо “эффектами”? Возьмем, к примеру, эффект, обнаруженный Е. Г. Холлом в 1879 году, когда он занимался исследованиями в новой физической лаборатории Роулэнда при Университете Джона Хопкинса. Роулэнд попросил Холла исследовать некое замечание, сделанное экспромтом Джеймсом Клерком Максвеллом. В “Трактате по электричеству и магнетизму” Максвелл писал, что когда проводник с током помещен в магнитное поле, то поле действует на проводник, а не на ток. В недавнем исследовании эффекта Холла Дж. З. Бухвальд использует этот случай для того, чтобы восстановить дух теории Максвелла того времени. Холл предположил, что Максвелл имел в виду изменение сопротивления проводника или образование разности потенциалов под действием [магнитного] поля. Холлу не удалось подтвердить первый из этих эффектов, но в конце концов он подтвердил второй. Он получил разность потенциалов на золотом листе, на прямой, перпендикулярной к напряженности магнитного поля, и току. Начальные объяснения этого явления оказались ошибочными, потому что использование других проводников создает разницу потенциалов в направлении, противоположном направлению в случае с золотом. Сам Холл описывал этот эффект как явление - так же, как это делается во множестве стандартных словарей по физике, которые начинают статью “эффект Холла” словами “явление, которое ...”. В своей дневниковой записи за 10 ноября 1879 года, описывая некоторые экспериментальные успехи, Холл писал:
“Казалось неосторожным поверить, что открыто новое явление, но теперь, когда прошло почти две недели и эксперимент был успешно повторен при разных обстоятельствах ..., уже можно заявить, что магнит в самом деле действует на электрический ток или, по крайней мере, на электрическую цепь, и этот эффект никогда явно не наблюдался и не был доказан.”
Только одно замечание, которое возникло из теоретической перспективы Клерка Максвелла, заставило Холла насторожиться. То, что он обнаружил, было не тем, что ожидал найти Максвелл. Открытие также не было сделано в ходе проверки теории. Это было исследованием, как если бы Максвелл заявил, что в неисследованных водах может быть остров.
Явления и эффекты относятся к одному типу: это закономерности, достойные упоминания. Слова “явления” и “эффекты” могут часто быть синонимами, и все же они указывают в разных направлениях. Слово “явления” вызывает из полусознательных хранилищ языка события, описываемые талантливым наблюдателем, который не проникает в мир, а наблюдает за звездами. Эффекты напоминают нам о великих экспериментаторах, в честь которых эффекты называются: мужчин и женщин, комптонов и кюри, проникавших в суть природных процессов, для того чтобы создать закономерности, которые, по крайней мере поначалу, могли считаться регулярными (или аномальными) лишь по отношению к будущему теоретическому основанию.
Создание явлений
Обычная точка зрения: Холл не создавал своего эффекта! Он обнаружил, что прохождение тока через золотой лист создает разность потенциалов на прямой, которая перпендикулярна вектору напряженности магнитного поля и току. Он и другие исследователи позже изучали ответвления этого эффекта. Что, например, происходит с образцами, отличными от золота, или с полупроводниками? Вся эта работа требовала мастерства. Вся аппаратура была произведена вручную, при этом был сделан ряд изобретений. Но мы склонны считать, что явления, обнаруженные в лаборатории, представляют собой части Божьего рукоделия, которое еще предстоит открыть.
Такой подход естественен с точки зрения философии, определяемой теорией. Мы формулируем теории о мире. Мы делаем предположения относительно различных законов природы. Явления суть закономерности, следствия этих законов. Поскольку наши теории направлены на то, чтобы добывать истину о вселенной - Бог писал законы в Своей Книге до начала времен, - то из этого следует, что явления всегда существовали, ожидая своего открытия.
Я же, напротив, полагаю, что эффект Холла не существует вне аппаратуры определенного типа. Ее современный эквивалент стал технологией, производимой надежным и единообразным способом. Эффект, по крайней мере в чистом состоянии, может быть реализован только в подобных приборах.
Это звучит парадоксально. Разве ток, проходящий по проводнику под прямым углом к магнитному полю, не производит потенциал в любом уголке природы? И да, и нет. Если в природе имеет место такое сочетание условий, без мешающих причин, тогда имеет место эффект Холла. Но нигде вне лаборатории не наблюдается такое чистое сочетание условий. В природе происходят события, являющиеся следствием эффекта Холла и множества других эффектов. Но этот способ описания явлений как взаимодействия или результирующей некоторого числа различных законов, ориентирован на теорию. Это описание говорит о том, как мы анализируем сложные явления. Не стоит представлять себе, будто Бог запускает эффект Холла левой рукой, некий другой эффект - правой рукой, а затем определяет результат. В природе просто имеется сложность, которую мы можем удивительным образом анализировать. Мы делаем это, различая в уме большое количество различных законов. Мы делаем это, наблюдая в лаборатории чистые, изолированные явления.
У нас есть идея большого количества законов природы, складывающихся в “результирующий”. Эта метафора исходит из механики. Имеется одна сила и другая сила, один вектор и другой вектор, и с помощью двух угольников можно нарисовать диаграмму, которая покажет, что происходит в результате. Однако Джон Стюарт Милль уже давно заметил, что этот факт из механики не подлежит обобщению. Большая часть науки отлична от механики.
В эпоху Возрождения слово “явление” означало по преимуществу солнечные и астрономические закономерности и аномалии. Те, кто не разделяют моей фантазии, могут представлять, что задолго до того, как Бог создал Солнце и Землю, он имел в уме некоторую Универсальную Теорию Поля. Когда он создавал небо и землю, то они были подчинены гравитационным и другим полевым принципам. С тех пор, по нашим представлениям, законы существовали всегда. Но явления или то, что старые астрономы называли явлениями, не существовали до того момента, как была сотворена наша часть вселенной. Я считаю, что также и эффект Холла не существовал до тех пор, пока Холл не понял, как его выделить, очистить и создать в своей лаборатории. Чтобы привести более свежий пример, напомним, что 20 лет назад во вселенной не существовало мазеров и лазеров. Может быть это и не так, может быть, существовал один или два (некоторые космологические явления недавно были объяснены как мазерные). Теперь же во вселенной имеются десятки тысяч лазеров, большая часть которых находится в пределах трех или четырех миль от того места, где я сейчас пишу.
Редкость явлений
Не случайно, что в эпоху Возрождения слово “явление” применялось преимущественно по отношению к небесным событиям. Не случайно также, что теперь астрономия - наиболее уважаемая из древних эмпирических наук. Одна из хороших, хотя и непроверенных гипотез заключается в том, что огромное разнообразие гигантских земляных сооружений, каменные кольца, Стоунхендж, храмы народа Майя и т. п. объекты, разбросанные по всем частям света, были построены огромной ценой, для того чтобы изучать звезды или приливы. Почему старая наука почти на каждом континенте развивалась, начиная с изучения звезд? Потому, что лишь небо предоставляет некоторые явления непосредственно, а все другие добываются - с помощью тщательного исследования и сопоставления. На фоне всеобщего хаоса только планеты и более отдаленные тела подчиняются правильной комбинации сложных закономерностей.
Но разве Бог не предоставил человечеству возможность заметить другие явления, отличные от небесных, такие как приливы и другие периодические явления, например, менструацию? Мне скажут, что мир полон очевидных явлений. В связи с этим будут приводить всякого рода аргументы пасторального характера. Но все они по-преимуществу упоминаются городскими философами, которые ни разу в жизни не собирали зерно и не доили козу. (Множество моих размышлений о недостатке явлений в мире происходят из моих ранних утренних наблюдений за дойкой нашей козы Медеи. Годы ежедневных наблюдений помешали нам сделать какие-либо истинные обобщения относительно Медеи, разве, может быть, то, что “Она часто своенравна”.) Когда я говорю, что в мире мало явлений, мне приводят в ответ традиционные практические знания матерей и охотников, моряков и поваров. И все же, когда мы говорим с романтиком, который советует нам стать мудрее и вернуться к природе, нам советуют не подмечать ее явления, а стать частью ее ритма. Кроме того, большая чать вещей, которые называются природными, например, дрожжи для закваски хлеба, имеют длинную технологическую историю.
За пределом планет, звезд и приливов, в природе существует достаточно мало явлений, ожидающих своего наблюдения. Каждый вид растений и животных имеет свои привычки, и я полагаю, что каждая из них может быть названа явлением. Может быть, история природы также полна явлений, как и ночное небо. Каждый раз, когда я говорю, что в природе существует столько-то явлений, которые предстоит наблюдать, скажем 60, мне мудро напоминают о существовании и других явлений. Но даже тот, кто составит самый длинный список, согласится, что большинство явлений современной физики было изготовлено. Явления, относящиеся к видам - например, заключающееся в том, что лев-самец во время охоты лишь страшно рычит, сидя неподвижно у своего жилища, в то время как самки преследуют и загоняют испуганную газель, - относятся лишь к единичным курьезным случаям. Но явления физики - эффект Фарадея, эффект Холла, эффект Джозефсона служат ключами, открывающими вселенную. Люди создают ключи, но также, видимо, и замки, которые ими открываются.
Эффект Джозефсона
Было давно известно, что при температуре около 4° К происходит масса занятных вещей. Вещества становятся сверхпроводящими, так что сменив тепловой режим и индуцируя ток в замкнутой электрической цепи, можно получить вечный электрический ток. Что произойдет, если сверхпроводники будут разделены тонким листом электроизолятора? Что произойдет, если два сверхпроводника будут соединены батареей? В 1962 году Брайан Джозефсон предсказал, что между двумя сверхпроводниками, разделенными изолятором, будет течь ток. Более того, если присоединить батарею, то возникнет режим автоколебаний.
Эффект Джозефсона выводим из теории сверхпроводимости, которую пятью годами ранее выдвинули Дж. Бардин, Дж. Н. Купер и Дж. Р. Шриффер (теория BCS*). Сверхпроводимость - это движение пар электронов, называемых куперовскими парами, которые не встречают никакого препятствия в охлажденном теле. Для того чтобы ток прекратился, все куперовские пары должны одновременно остановиться. Это происходит так же часто, как закипание воды в холодильнике. Когда сверхохлажденное тело нагревается, электроны разделяются, блуждая заходят в атом или что-либо еще и останавливаются. Джозефсон понял, что куперовские пары будут проходить через изолятор, создавая ток Джозефсона. Возможно, что этот удивительный эффект не был бы установлен, если бы уже не существовала теория BCS. Такая гипотеза могла бы показаться теперь анахронизмом, поскольку основная идея связана с квантованием электронного потока, о котором в то время много говорили. Только недавно квантование потока стало “очевидным” следствием теории BCS. Каковы бы ни были реальные тонкости, связанные с фактами, мы можем отметить все разнообразие явлений. Фарадей обнаружил свой магнитооптический эффект, потому что надеялся найти взаимодействие между электромагнетизмом и светом. Холл обнаружил свой эффект, потому что электродинамика Максвелла предполагала, что должно существовать два или три взаимодействия. Джозефсон обнаружил свой эффект, сделав блестящий вывод из теоретических посылок. Холл не “подтверждал” теории Максвелла, хотя и добавил еще один факт в духе Максвелла. Джозефсон в самом деле подтвердил новую теорию сверхпроводимости, но не потому, что теория дает наилучшее объяснение этого явления, а потому, что никому бы не пришло в голову создавать именно это явление без теории.
В последнем абзаце я сменил способ выражения: от нахождения эффекта к созданию явления. Это сделано намеренно. Эффект Джозефсона не существовал в природе до тех пор, пока у людей не было соответствующей аппаратуры. Эффект не предшествовал теории. Разговоры о создании явлений становятся наиболее убедительными, когда явление предшествует какой-либо сформулированной теории, но это не обязательно. Множество явлений создается после теории.
Эксперименты не идут
Нет более известного изречения, чем утверждение о том, что экспериментальные результаты должны быть повторяемы. На мой взгляд, это звучит как тавтология. Эксперимент - это создание явлений, а явления должны обладать различимой закономерностью, так что эксперимент, который не повторяем, не может создать явление.
У студентов другой опыт. Больше не существует общего мнения о том, что теоретический курс “надо оценивать” в лаборатории: эксперименты не идут, числа нужно подгонять, реагенты не реагируют, колония бактерий не растет. Лабораторию нужно усовершенствовать!
С этой проблемой сталкиваются не только на стадии обучения. В моем университете есть некий очень сложный и дорогой прибор X. Таких приборов в мире очень мало, может быть, только наш прибор работает очень хорошо. Это такой прибор, для работы с которым нужно заказывать время за год вперед, и ваша заявка будет бесконечно обсуждаться, после чего вам разрешают поработать на приборе два дня. Молодой энтузиаст A получает с помощью прибора X впечатляющие результаты. Признанный и опытный в той же области специалист B приезжает поработать два дня и терпит неудачу. Он предлагает с пристрастием посмотреть на результаты работы A. В самом ли деле A получил то, о чем он заявляет, или он всех обманывает? (Это подлинная история, основанная на случае, произошедшем с некоторым профессором, на чью работу мне довелось писать рецензию).
Конечно, в настоящее время некоторые лабораторные курсы просто ужасны. Порой уже старый B не имеет нужной сноровки, а может быть, молодой A действительно вводит всех в заблуждение. Тем не менее, парадоксальность обобщения заключается в том, что большая часть экспериментов большую часть времени “не идут”. Игнорировать этот факт означает забыть то, в чем, собственно, заключается эксперимент.
Экспериментирование означает создание, производство, уточнение и приведение к устойчивости явлений. Если явления были бы разнообразны по своей природе и их также легко можно было бы собирать, как лесные ягоды, то было бы удивительно, если бы эксперименты не шли. Но получение устойчивых явлений - тяжелый процесс. Вот почему я говорю о создании, а не просто об открытии явлений. Это долговременная трудная задача.
Или, скорее, это бесконечное число различных задач. Среди них - разработка эксперимента, который бы пошел, а также обучение тому, как сделать так, чтобы эксперимент пошел. Но, наверное, подлинное мастерство заключается в том, чтобы понять, когда эксперимент в самом деле идет правильно. Это одно из объяснений того, почему наблюдение, в научно-философском смысле этого слова, играет относительно малую роль в экспериментальной науке. Описание эксперимента у оксфордских философов, выглядящее как считывание и записывание показаний приборов, не имеет отношения к реальности. То, что имеет реальное значение, - это необыкновенная способность замечать все странное, неправильное, поучительное или искаженное в причудливом поведении приборов. Экспериментатор - не “наблюдатель” в смысле традиционной философии науки, а скорее бдительная и наблюдательная личность. Только когда экспериментатор наладит свои приборы, он может получать и записывать наблюдения. Но это уже пикник в конце пути.
Ученик в школьной лаборатории в основном приобретает (или не приобретает) умение распознавать удачный ход эксперимента. Уже все продумано, все разработано, все собрано, но чего-то все равно не хватает. Умение распознавать правильный ход эксперимента конечно включает понимание того, как работает аппаратура, что позволяет знать, как ее настроить. Лабораторный курс, в котором все эксперименты прошли удачно, был бы прекрасным с точки зрения технологии, но не научил бы абсолютно ничему в проведении эксперимента. С другой стороны, не удивительно, что молодой энтузиаст A получает результаты, а знаменитый B не получает их. Дело в том, что A имел возможность лучше узнать аппаратуру, он сам изготовил какие-то ее части и помучился, исправляя неполадки. Все это неотъемлемая часть знания того, как создать явление.
Повторение экспериментов
Мнение об обязательной воспроизводимости эксперимента давно считается фольклором. Это породило философскую псевдопроблему. Очевидно, что многообразие экспериментов более убедительно, чем повторение одного и того же события. Таким образом, философы пытались либо показать, что повторения настолько же важны как и первый эксперимент, или стремились объяснить с помощью теории вероятностей, почему повторения менее ценны. Это псевдопроблема, поскольку, грубо говоря, никто никогда не повторяет эксперимента. Обычно серьезные повторения эксперимента являются попытками сделать то же самое лучше - породить более устойчивый, менее зашумленный вариант явления. При повторении эксперимента обычно используются разные виды оборудования. Время от времени люди просто не верят в результаты эксперимента и пытаются повторить его вновь. Примером могут служить истории, связанные со свободными кварками, а также работа по гравитационным волнам. Двадцать лет назад появилось сенсационное сообщение о том, что некоторый вид червей можно научить делать лабиринты, и если скормить обученных червей их собратьям, то и эти каннибалы будут хорошо делать лабиринты. Эксперимент повторили, поскольку никто не поверил в результаты. И тоже вполне обоснованно.
В школах и институтах эксперименты повторяются до тошноты. Цель этих ученических упражнений никогда не заключается в том, чтобы проверить или разработать теорию. Их цель состоит в том, чтобы научить людей тому, как стать экспериментаторами и отсеять тех, для кого экспериментальная работа вряд ли будет подходящей профессией.
Может показаться, что существует одна область, в которой эксперименты должны повторяться. Это имеет место тогда, когда мы пытаемся провести точные измерения таких природных констант как, например, скорость света. Может показаться, что мы должны проделать множество замеров и усреднить их. Как еще мы могли бы определить то, что свет движется со скоростью 299792,5 ? 0,4 км/с? Но даже в такой области ожидается именно лучший эксперимент, а не повторение менее удачных попыток на менее совершенном оборудовании. К. Д. Фроом и Л. Эссен пишут в своем обзоре “Скорость света и радиоволны” следующее (стр. 139):
“Мы повторим нашу философскую позицию относительно экспериментальных измерений. Их наиболее важная цель состоит в повышении точности измерений, так чтобы систематические ошибки могли бы быть измерены и устранены. Опыт показывает, что широко применяемое усреднение неизменно оставляет систематические погрешности, о которых мы не подозреваем. Мы не видим преимущества в том, чтобы использовать огромное количество измерений, как это делалось в классических методах оптики и в некоторых других современных измерениях. Мы так же считаем неоправданным брать дисперсию по отношению к среднему вместо того, чтобы вычислять ее по единичному наблюдению, поскольку остаточная систематическая погрешность не устраняется при использовании дополнительных измерений.”
С точки зрения точности, единственными измерениями, которые превзошли измерения Эссена (1950), а также Хансена и Бола (1950), были измерения Фроома 1958 года.
14. ИЗМЕРЕНИЯ
Представляется, что человечество всегда занималось измерениями. Разве вавилонские землемеры не были предшественниками геометров? Отчеты о наблюдениях за положениями планет с точностью до многих шестидесятеричных цифр можно обнаружить в глубокой древности. Историки науки когда-то говорили, что Галилей был, скорее, платоником, больше работавшим головой, чем экспериментатором, работавшим руками, но позже были обнаружены некоторые его точные численные наблюдения за ускорениями тел, движущихся по наклонной плоскости. Мы видели, как Гершель проводит год своей зрелой жизни в бесконечных измерениях отражений, преломлений, степеней прохождения света или теплового излучения. Для обнаружения трансверсального электрического потенциала Холлу понадобились точные измерения тока. Измерения, связанные с брэгговской дифракцией рентгеновских лучей, открыли дорогу к молекулярной биологии.
Поскольку измерения являются очевидной частью научной жизни, некоторая доля скептицизма здесь не повредит. Разве роль измерения в физике была всегда такой? Хорошо ли мы понимаем смысл наиболее точных, элегантных, и восхитительных измерений в истории науки? Является ли измерение неотъемлемой частью научного разума, или оно представляет лишь философский интерес? Меряется ли в измерениях нечто реально существующее в природе или просто порождаются артефакты нашего теоретизирования?
Странности
Мои самые нелепые волнения начались, когда я увидел одну почтовую открытку в музее истории науки Оксфорда. На этой открытке была репродукция картины шестнадцатого века, называвшейся “Измерители”. Хранитель музея, наверное, считал, что эта открытка прекрасно дополняет его превосходную коллекцию медных инструментов, современную картине. Дама измеряет свое платье. Строитель измеряет количество гравия. Песочные часы меряют время. Вокруг лежат секстанты, астролябии и инструменты для черчения. С другой стороны, никто ничего не измеряет. Строители не обращают внимания на уровень гравия в ящике. Никто не видит, как падает песок в песочных часах. Дама прикладывает свой метр к одежде, но метр провисает, так что платье кажется даме сантиметров на тридцать длиннее, чем на самом деле.
Может быть эта картина - пародия. Или дама только начала мерять свое платье. Кто-то хочет взять астролябию. Строители скоро поймут, что измерительный ящик скоро переполнится. На песочные часы кто-то посмотрит. Или это только мы можем из другого времени расшифровывать эту картину одним из этих двух способов - как пародию или как остановленное начало? Понятны ли нам старые цели “измерения”?
Гершель измерял пропорции света и тепла, передаваемые различными веществами с точностью до тысячной. Мы сомневаемся, что он мог проводить измерения света с такой точностью, и знаем, что это было бы невозможно для тепла. Что же делал этот осторожный, ньютонианского духа, индуктивист в 1800 году со своими неимоверными преувеличениями? Конечно, получаемые им числа не были результатом применения теории погрешностей. Если посмотреть на еще более раннее время, чтобы связать установленные числа и проделанные наблюдения, то историки будут еще более озадачены. Может быть, Галилей был первым, кто размышлял о средних величинах, и прошло много времени, прежде чем использование среднего арифметического, или просто усреднения, стало обычным делом для экспериментаторов. К 1807 году Гаусс разработал теорию ошибок (погрешностей), и астрономы стали ее использовать. Хотя во всех современных физических измерениях требуется указание ошибок, за пределами астрономии физики не заявляли об оценках погрешности вплоть до 1890-х годов (или даже позже).
Наше понимание чисел и измерения становится ясным и несомненным только к концу девятнадцатого века. После 1800 года стало появляться огромное количество чисел, особенно это было заметно в общественных науках. В своей фундаментальной статье “Функция измерений в физических науках” Кун предлагает говорить о второй научной революции, во время которой был “математизирован” целый ряд физических наук. Он относит это событие к периоду между 1800 и 1850 годами и считает, что к 1840 году измерение, как мы его теперь представляем, заняло свое фундаментальное место в науке.
Природные константы
Возможно, что поворотной точкой послужил 1832 год, когда Чарльз Бэббэдж (1792-1871), изобретатель цифрового вычислителя, написал короткую брошюру, в которой призывал опубликовать таблицы со всеми константами, известными в науках и ремеслах. По его замыслу, должны были быть опубликованы все известные константы, которых насчитывается около 20 типов. Бэббэдж начал с известного списка астрономических величин, удельных весов, атомных весов и тому подобного. Здесь были также и биологические, географические и антропометрические числа: длины рек, количество дуба, которое человек может напилить за час, средняя длина костей некоторых видов существ, число студентов в разных университетах и книг в больших библиотеках.
Черчиль Эйзенхарт из Бюро Стандартов США однажды в разговоре со мной высказал предположение, что статья Бэббэджа ознаменовала начало современной идеи “природных констант”. Он не имел в виду, что константы были не известны до Бэббэджа. Сам Бэббедж перечисляет множество недавних источников тех или иных чисел. Одна фундаментальная константа - g ньютоновской гравитации - была известна по крайне мере с 1798 года. Суть заключается в том, что Бэббэдж суммирует эту работу, официально устанавливая то, что было в умах множества его современников, а именно, что мир может быть определен набором чисел, которые можно назвать константами.
Точные измерения
Ежедневная практика измерений может не требовать объяснения. Без довольно тонких измерений Холл не смог бы заметить влияние тока и поля на потенциал. Он мог бы для начала нуждаться только в качественном эффекте, но без довольно точных измерений его последователи не смогли бы заметить разницы между проводниками, а также определить “угол Холла” как характеристику различных веществ. Существует, однако, другой класс измерений, представляющих большие проблемы. Он включает множество великих исторических измерений.
Мы должны реконструировать тексты, чтобы узнать больше о замечательной идее Аристарха Самосского, предложившего измерить диаметр Земли, смотря в полдень в колодец, и производя некоторые перемещения по пустыне.* Но о том, как и почему Кавендиш “взвесил Землю” в 1798 году, известно очень много. Работа Физо о скорости света (1847 г.) - шедевр точности. Ее непосредственным продолжением был метод Майкельсона, использовавший дифракционные решетки, что позволило увеличить точность измерений на много порядков. Еще одной вехой было измерение Милликеном заряда электрона в 1908-1913 годах.
В чем был смысл этих уникальных экспериментов? Ими восхищаются по крайней мере по двум причинам. Во-первых, они были исключительно точными и не оспорены до сих пор. Во-вторых, каждый исследователь произвел новый блестящий метод. Каждый экспериментатор проявил свой гений не только в выдвижении блестящей экспериментальной идеи, но и в том, чтобы заставить ее работать, часто путем изобретения многочисленных экспериментальных концепций и технологических новшеств.
Эти два простых ответа могут быть недостаточными. Почему важна точность? В чем суть этой замечательной способности в получении очень точных чисел, которые сами по себе не значат слишком много? Для начала давайте не будем слишком обобщать. Как это всегда бывает при изучении эксперимента, нет одного ответа на все вопросы.
Первое следствие эксперимента Милликена заключается в численном подтверждении гипотезы о существовании минимального количества электрического заряда. Он обнаружил, что заряд на его маслянных каплях был кратен одной и той же величине. Из этого был сделан вывод, что минимальный заряд должен быть зарядом электрона. Милликен ожидал именно этого, но в те дни, когда об электронах только начали что-то узнавать, этот результат был весьма важен. В этом контексте точное значение заряда электрона e было не так уж важно. По словам самого Милликена, он был в состоянии представить “прямое и ощутимое доказательство того, что все электрические заряды, каким бы образом они ни были получены, в точности кратны одному определенному элементарному электрическому заряду...”. Конечно, Милликен был очень горд тем, что смог “провести точное измерение величины элементарного электрического заряда...” Я не сомневаюсь и в справедливости слов, произнесенных в речи перед присуждением ему Нобелевской премии, что “точным измерением величины заряда Милликен оказал физике неоценимую услугу, поскольку знание этой величины позволит нам с большой точностью вычислить многие важные физические константы”. Но если быть скептиком относительно точных измерений, способность измерения порождать другие измерения вряд ли может служить убедительным аргументом в пользу точности.
В 1908 году можно было бы сомневаться в том, что существует определенный минимальный отрицательный заряд e. Но когда в 1798 году Кавендиш “взвесил Землю”, никто не сомневался, что у нашей планеты есть удельный вес. Триумф Кавендиша заключался в том, что он измерил это представляющееся невзвешиваемым количество. Это не только удовлетворяло внутреннее любопытство, но позволяло путем нехитрых рассуждений получить гравитационную константу g . На самом деле, Ньютон с самого начала понимал, как можно измерить эту величину (Principia, Книга 3, предложение 10). Он также предлагал эксперименты, которые позже были проделаны французской экспедицией в Эквадоре около 1740 года. Эта экспедиция получила довольно хорошие результаты, замеряя углы, на которые отклонялся от вертикали отвес под действием такого большого естественного объекта, как гора Чимборазо. Работа Кавендиша была более значимой, поскольку при определении g он смог применить новую экспериментальную идею (которую не он сам придумал), в соответствии с которой использовались искусственные веса.
Существует некоторая аналогия между работой, которую проделал Кавендиш, и измерениями скорости света Физо в 1847 году. В 1675 году Ремер оценил скорость света по наблюдениям затмений лун Юпитера. Он плохо знал межпланетные расстояния, поэтому он ошибся на 20%, но (по аналогии с Милликеном) показал, что скорость света конечна (эта величина теперь обозначается как c). В конце века в рспоряжении Гюйгенса было достаточно астрономических данных, чтобы получить хорошее значение c. К 1847 году скорость света была получена методом Ремера для всех мыслимых целей.
В чем же заключалась позиция Физо? Конечно, важно чтобы разные методы давали одни и те же результаты. Если бы Физо получил ответ, радикально отличающийся от результатов по методу Ремера, мы были бы отброшены назад в догалилеевскую эпоху, в которой скорость света на Земле была другой по сравнению с остальной солнечной системой. Что более важно, Кавендиш и Физо работали в лаборатории с искусственными инструментами. Это бы не прошло с лунами Юпитера или горой Чимборазо. В лаборатории происходит то, что я называю созданием явлений. В лабораторных условиях можно произвести устойчивые численные явления, которыми можно замечательно управлять.
Через небольшое время Физо проделал еще один эксперимент. Как изменится скорость света при прохождении через трубку с текущей водой? Будет ли скорость просто суммой скоростей света и воды? Его исходная позиция была связана с теорией эфира, основы которой я даю в следующей главе. Замысел Физо (если, конечно, так можно говорить о 1852 годе) состоял в том, чтобы сравнить ньютоновскую теорию и теорию относительности. В своей популярной книге 1916 года “Теория относительности” Эйнштейн, написав о двух способах сложения движения, замечает: “В этом месте нам служит путеводной звездой очень важный эксперимент, который был проделан замечательным физиком Физо более полувека назад и который с тех пор был повторен многими лучшими экспериментальными физиками, так что мы уже не можем сомневаться по поводу результата”. Затем Эйнштейн упоминает о том, что теория этого явления была дана Лоренцем, и продолжает так: “Это обстоятельство ни в коей степени не уменьшает окончательность эксперимента как решающей проверки теории относительности, поскольку электродинамика Максвелла-Лоренца, на которой была основана исходная теория, никоим образом не противоречит теории относительности”. Замечательное утверждение: эксперимент, проведенный более пятидесяти лет назад, оказался решающей проверкой совершенно новой теории! Это замечание вдвойне странно, поскольку результат Физо не создавал проблем для традиционной теории эфира, и, как мы увидим в следующем разделе, Майкельсон и Морли, “повторившие” этот эксперимент в 1886 году, думали, что они подтвердили существование классического ньютоновского эфира. То, что мы имеем, - это замечательный способ измерения, который исследователи использовали в своих целях. Одна цель - это доказательство правильности той теории, которая вам нравится. Другая цель - это развитие более хитрых вариаций методики, самым знаменитым примером которой стала работа Майкельсона 1881 года. В этом случае мы можем сказать, что даже такой великий теоретик, как Эйнштейн, с готовностью использовал наугад старые эксперименты.
“Теория другими средствами”
В книге ван Фраассена “Научный образ” говорится о том, что “подлинное значение теории для работающего ученого определяется тем, как ее можно использовать в разработке эксперимента” (стр. 73). Он продолжает обсуждать пример Милликена и пишет, что “эксперимент - это продолжение теории другими средствами”* . Может показаться, что эти два замечания противоречат друг другу. Может быть, у него было представление об опыте, который сам вытаскивал себя за волосы, осуществляя теорию другими средствами, для того, чтобы делать больше экспериментов. Это не такое уж плохое описание примера Милликена, потому что с использованием значения е становятся возможными совершенно различные эксперименты.
Афоризм относительно “теории другими средствами” основан на следующей идее. Теория предполагала, что существует электрон, и электроны имеют определенный заряд. Но здесь в теории существует пробел: никакое теоретическое рассуждение не даст нам значения е. Мы выдвигаем теорию “другими средствами”, проводя экспериментальное определение величины е. Это очень привлекательная метафора, но мне не хочется придавать ей большого значения. Кавендиш определил значение гравитационной константы g , но не продвинул ньютоновской теории ни на йоту. Конечно, можно посмотреть на вопрос следующим образом. Ньютоновская теория содержит утверждение о том, что сила притяжения F между двумя массами m1 и m2, находящимися на расстоянии r друг от друга, определяется как
m1 ? m2
F = g ? r2
Но значение константы g просто не является частью теории. Найдя значение g , Кавендиш не развил теории. На самом деле g - уникальная природная константа. Как я уже вкратце замечал, большая часть физических констант связана законами физики с другими константами. Это важный факт для определения каждой константы. Однако g не связана вообще ни с чем более.
Конечно, мы надеемся, что g окажется связанной с чем-либо. Сила тяжести, электромагнитные силы, так же как сильные и слабые взаимодействия, может быть, и будут объяснены когда-нибудь в рамках одной правдоподобной теории или, например, с помощью идеи, вытекающей из некоторых размышлений П. А. М. Дирака пятидесятилетней давности. Предположим, что возраст вселенной около 1011 лет, тогда можно предположить, что сила тяжести становилась меньше по сравнению с электромагнитной силой на 10-11 своей величины каждый год. Эту разницу вполне можно замерить с помощью современной техники. Такие измерения могут научить нас очень многому о мире, но это не будет продолжением ньютоновской теории или какой-либо другой теории, другими средствами.
Вклад Милликена в теорию электрона более значителен, чем вклад Кавендиша в теорию гравитации, не потому что он заполнил пустоту в теории. Скорее потому, что он подтвердил существование минимального электрического заряда. Теперь очевидно, что я разделяю убеждение ван Фраассена, отвергавшего модель науки, в которой экспериментаторы сидят рядом с теоретиками, ожидая, когда их попросят проверить, подтвердить или опровергнуть теории. Конечно, им приходится часто подтверждать теории, даже если это, как в случае с Милликеном, и не является изначальным мотивом. Мне представляется, что отношение опыта Милликена к теории состоит в том, что он подтвердил широкий спектр возможных размышлений по поводу того, что существует минимальный отрицательный электрический заряд, скорее всего, связанный с гипотетическим объектом, называемым электроном. Он также определил величину этого минимального заряда, но это число не имело отношения к теории. Как говорится в приведенном выше фрагменте из нобелевской речи, значение этого открытия заключалось в более точном определении других констант, которые, в свою очередь, оказали не очень большое влияние на развитие теории.
Существуют ли точные природные константы?
Единственным великим философом, знакомым с измерением, был Ч. С. Пирс, который долгое время работал в службе береговой и геодезической разведки США и Лоуэлловской обсерватории в Бостоне. Он разработал прекрасные маятниковые эксперименты для нахождения g . В отличие от кабинетных ученых, он с презрением относился к постулату о том, что “некоторые непрерывные величины имеют точные значения”. В 1892 году в эссе “Пересмотр учения о необходимости”, вошедшем в большинство антологий Пирса, он писал следующее:
“Тому, кто находится за сценой и знает, что наиболее точные сравнения масс, длин и углов, далеко превосходящие по точности все другие измерения, все же менее точны, чем банковские счета, и то, что обычные определения физических констант, которые появляются каждый месяц в журналах, стоят в одном ряду с измерениями драпировщиками ковров и занавесей, идея математической точности, демонстрируемая в лаборатории, покажется просто смешной”.
У Пьера Дюгема можно найти похожее положение. Он считал природные константы артефактами нашей математики. Мы порождаем теории, в которых есть пробелы, такие как g . Но конкретное значение g не есть объективный факт о нашей вселенной. Это качественный факт о том, что наша вселенная может быть представлена определенными математическими моделями и, исходя из этого, возникает другой качественный факт о том, что существует нечто вроде точного числа, которое согласуется наилучшим образом с нашей математикой. Эта мысль лежит в основе язвительного антиреализма Дюгема относительно теорий и природных констант.
Подтверждение в смысле наименьших квадратов
Не были ли введены в заблуждение Дюгем и Пирс тем, что имели дело с периодом, когда константы были не точны? Не совсем так. Посмотрим на то, что на протяжении последнего десятилетия было множеством наиболее широко принятых констант, рекомендуемых международному сообществу комитетом по данным науки и технологии. У редакторов, Коэна и Тэйлора, было большое количество фундаментальных констант, основанных на работе главных национальных лабораторий мира. Данные подразделялись на следующие типы: “более точные”, “менее точные БКЭД данные” и “менее точные КЭД данные”. КЭД обозначало работу с использованием квантовой электродинамики, а БКЭД обозначало работу без использования квантовой электродинамики. Наконец, было еще некоторое количество “других менее точных величин”. В последнем разделе мы встречаем нашу знакомую, гравитационную константу g . Относительно нее известно, что “в настоящее время не существует каких-либо верифицированных теоретических уравнений, связывающих g с какой-либо другой физической константой. Таким образом, она может и не иметь непосредственного отношения к результирующим значениям нашего упорядочивания” (стр. 698).
Что мы в основном делаем с другими константами - это определяем отношения пар констант. Таким образом, открытие в 1962 году эффекта Джозефсона (см. гл. 13), произвело радикальное изменение в точных измерениях, поскольку этот эффект предоставил удивительно простой способ определения величины e/h, отношения заряда электрона к константе Планка. К 1972 году точное значение отношения массы электрона к массе мюона стало известно с точностью до пятого знака. Само это отношение было определено, исходя из других отношений.
В итоге было получено большое количество численных оценок констант, после чего перешли к оценкам по методу “наименьших квадратов”. Грубо говоря, было постулировано, что все теории в рамках определенной группы являются истинными (например, КЭД или БКЭД). Таким образом, образовалось большое количество уравнений, связывающих большое количество чисел. Естественно, что числа не вполне подходили ко всем уравнениям. Затем мы нашли точное приписывание чисел, которое делает истинными все уравнения и которое минимизирует ошибки во всех наилучших независимых оценках различных констант и отношений констант. Естественно, что все на самом деле несколько более сложно, поскольку мы приписываем нашим измерениям разные уровни точности. “Наилучшее соответствие”, вместе с которым автоматически получается оценка частных ошибок, предоставляет одну оценку всех констант, за исключением, быть может, нескольких одиночек, таких как “первая” константа науки, то есть g .
Эффект Джозефсона изменил одно множество первоначальных оценок, которые все были “скорректированы”. Этот процесс никогда не кончается: “Тем не менее, после опубликования поправки 1973 года число новых экспериментов было пополнено, давая улучшенные значения для некоторых констант... Нужно понимать, однако, что поскольку поправки, основанные на методе наименьших квадратов, связаны сложным образом и изменение в измеренной величине одной константы обычно приводит к соответствующим изменениям в значениях других, необходимо быть осторожным при выполнении вычислений, использующих таблицу поправок 1973 года и результаты более поздних экспериментов.”
Несомненно, что когда появятся следующие приближения по методу наименьших квадратов (а это произойдет очень скоро), целая сеть из теории и чисел покажется на некоторое время более удовлетворительной. И все же скептик может настаивать на том, что все, что при этом делается, - это нахождение наиболее удобного набора чисел, которые можно подогнать под наши константы. Может быть, и всю эту процедуру можно представить по-дюгемовски. В любом случае, мы вряд ли сможем назвать эту специфическую форму определения констант “продолжением теории другими средствами”.
Измерение всего
Кун говорит, что страсть к измерениям относительно нова. При этом он цитирует Кельвина: “Я часто говорю, что когда вы можете измерить то, о чем вы говорите, вы знаете что-то об этой вещи. Когда вы не можете ее измерить, ... то ваши знания скудны и неудовлетворительны”. Поскольку Кельвин говорил это часто, существовали и искаженные версии его слов. Карл Пирсон вспоминает “утверждение Кельвина о том, что у вас может быть только плохое и неясное представление о явлении до тех пор, пока вы не измерили его и не превратили в числа”. Если кто-то думает, что энтузиазм по поводу измерений остался не затронутым идеологией, то пусть обратит внимание на следующий кусок из длинных графоманских виршей о лаборатории Райерсона в Чикаго, ставшей местом проведения опытов Майкельсона:
Это теперь Райерсона закон, что миру назначил цену:
Мерять учись, человек, а не то проиграешь войну.
Пирсон, Кельвин и лаборатория Райерсона существовали в конце девятнадцатого века, который начался просто с водопада чисел. Теперь мир воспринимается более количественным образом, чем когда-либо. Мир представляется составленным из численных величин. Каковы были последствия фетишизации точности измерения для развития естественных наук? Чтобы ответить на этот вопрос, мы должны обратиться к уже упоминавшемуся эссе Куна “Функция измерения в современной физической науке”, переизданному в его “Существенном напряжении” (“The Essential Tension”).
Функция измерения
Почему нужно измерять? Один из ответов можно найти в попперовской диалектике гипотез и опровержений. В соответствии с этим мнением, эксперименты служат для того, чтобы проверять теории. Лучшие эксперименты подвергают теории наибольшему риску. Следовательно, точные измерения должны соответствовать лучшим экспериментам, поскольку измеряемые числа скорее всего, будут конфликтовать с предсказанными.
Ребенок в сказке Андерсона сказал, что король гол. Кун подобен этому ребенку. Поскольку, несмотря на всю пышность идеи о гипотезах и опровержениях, то, о чем говорит Поппер, почти никогда не происходит. Точные измерения делаются не для того, чтобы проверять теории. Кавендиш вообще не проверял теории тяготения, он определял g . Физо получил лучшее значение скорости света, а затем использовал технологию, которую он разработал для этой цели, чтобы исследовать (а не проверять) возможность того, что свет может иметь различные скорости, которые будут зависеть от скорости среды, в которой он движется. Только 60 лет спустя Эйнштейн случайно обнаружил, что этот опыт служит “решающей проверкой”. В более банальных делах числа, определяемые в лаборатории, обычно не используются для того, чтобы подвергать суду теорию. Как настаивал Кун, эксперименты обычно имеют успех, если в них с некоторой точностью получаются числа, которые ученые более или менее ожидали получить.
В таком случае, большинство измерений есть то, что Кун называет нормальной наукой. Хорошие измерения требуют новых технологий и, таким образом, предполагают решения множества загадок экспериментального характера. Измерения проясняют детали известного материала. Следует ли из этого, что фетишизация измерений, пик которой пришелся на эпоху Кельвина, не имела никакого воздействия на науку, за исключением того, что делала более интенсивной научную деятельность? Совсем не так. Кун суммирует функцию измерения следующим образом. “Я верю, что в девятнадцатом веке математизация физики породила в большой степени уточненные профессиональные критерии решения проблем и одновременно очень сильно увеличила эффективность профессиональных процедур верификации” (стр. 220). В сноске он упоминает “эзотерические качественные различия”, которые привели к отбору трех проблем: фотоэлектрический эффект, излучение черного тела и удельные теплоемкости. Квантовая механика дала решение этим проблемам. Кун отмечает ту скорость, с которой первая версия квантовой теории была принята “профессионалами”. Он написал бесподобную книгу о второй из этих проблем, “Теория твердого тела и квантовая прерывность (1894-1912)”.
Мои комментарии по поводу книги Куна таковы. Нужно отличать функцию измерения от заявляемых поводов для измерения. У экспериментаторов самые разные причины для проведения измерений. Усилия по измерению вознаграждаются, когда экспериментаторы изобретают остроумные системы измерения. Однако практика измерения имеет побочный продукт, которого ни в коей мере не ожидал Кельвин, Пирсон и лаборатория Райерсона. Вдруг оказывается, что некоторые числа, полученные в экспериментах, вопреки ожиданиям не согласуются. Это - аномалия, которую иногда даже называли “эффектом”. Чем больше фетишизировалась точность, тем чаще встречались “эзотерические трудности”. На самом деле, их появляется не так уж много, и эти завораживающие редкие аномалии составляют фокус профессионального решения проблем. Когда кто-либо предлагает новую теорию, ее задача - объяснить эти “эзотерические различия”. Затем существуют быстрые тесты, которые должна пройти теория. Они являются эффективными процедурами верификации, о которых пишет Кун, и они являются частью его позиции относительно научных революций.
Не будем переоценивать эту историю о функциональности. Это не вся история. Конечно, множество экспериментов изобретается специально для того, чтобы проверять теории. Создается специальная аппаратура, чтобы сделать проверки более убедительными. Философия тоже оказывает некоторое воздействие. В дни Кельвина процветал старый позитивизм, который искал факты, и когда описывались эксперименты, говорили о том, что пытаются найти сложные числовые факты. Сейчас процветает философия Поппера, и когда кто-нибудь описывает свой эксперимент, то говорит, что пытается проверить теорию (иначе он не получит материальной поддержки!). Добавим к этому, что куновское описание измерений существенно не отличается от описания Поппера. Точные измерения обнаруживают явления, которые не согласуются с теориями, в результате чего предлагаются новые теории. Но в то время как Поппер рассматривает это как явную цель экспериментатора, Кун считает это побочным продуктом. На самом деле, его описание этой “функции” очень сходно с тем, что в социальных науках называлось функционализмом.
Функционализм
Часто говорят, что философия Куна превратилась в социологию. Это неправильно, если имеется в виду эмпирическая социология. Кун не получил ни одной теоремы вроде следующей: “Если в лаборатории работает более, чем N человек, а доля молодых специалистов, приходящих на работу в лабораторию и оставляемых здесь, есть k, то доля тех, кто переходит на другую работу, есть 1-k”. Хотя Кун и не эмпирический социолог, он до некоторой степени старомодный спекулятивный социолог. Некоторые из таких социологов, называемых функционалистами, обнаруживают иногда тот или иной устоявшийся порядок в обществе или субкультуре. Они не будут спрашивать, как этот порядок возник, но захотят узнать, почему он сохраняется. Будет сделано предположение, что исходя из других свойств группы, этот порядок обладает некоторыми достоинствами, которые способствуют сохранению самого общества. Эта функция данного порядка. Она может быть непонятной членам общества, но мы должны понимать этот порядок в терминах его функций.
Так же и Кун, который отмечает возрастающую роль измерений в физике. Он предполагает, что только к 1840 году математизация стала всеобъемлющей. Кун спрашивает не то, как это произошло, а почему это сохраняется. Циники могут предположить, что измерения предоставляют ученым некое занятие. Кун говорит, что аномалии, которые неизбежно возникают в области точных измерений, фокусируют дальнейшую деятельность ученых даже на том этапе, который он называет кризисом. Они также определяют то, что означает для теории быть хорошей заменой предшествующей теории. Таким образом, измерение - важная ниша в куновском представлении о цикле “нормальная наука - кризис - революция - новая нормальная наука”.
Официальная позиция
Кун любознателен и любит сокрушать авторитеты. Точные измерения не укладываются в его концепцию, поскольку, по-видимому, точные измерения констант стали самодостаточным миром исследований. Благодаря эффекту Джозефсона, “1 июля 1972 года Национальное Бюро Стандартов США приняло точное значение 2e/h = 483593,420 ? 109 Гц/В для установления узаконенного или поддерживаемого значения вольта в США” (стр. 667). Существует, по крайней мере, еще 11 других таких же определений вольта, по данным 11 больших национальных лабораторий в Японии, Канаде и т. д. Не было бы абсурдным существование и 12 различных региональных определений “вольта”, поскольку проблема частично заключается в том, что когда экспериментатор хочет получить точное значение вольта, он должен обратиться в ближайшую лабораторию или применить “передвижные температурно-управляемые транспортные стандарты для вольта”. Вот пример одной философии измерений: она появляется в конце обзора Коэна и Тейлора, упоминавшегося выше, “Приближение с помощью метода наименьших квадратов, полученное в 1973 году”: “Мы считаем, что в области фундаментальных констант должна быть проведена большая работа и что романтике следующего десятичного знака нужно отдаться со всей страстью не ради ее самой, но ради новой физики и более глубокого понимания природы, которая здесь еще скрывается от нас” (стр. 726).
15. БЭКОНИАНСКИЕ ТЕМЫ
Фрэнсис Бэкон (1560-1626) был первым философом экспериментальной науки. Хотя он и не внес особого вклада в научное знание, большинство его методологических идей живы и поныне, как, например, идея “критического эксперимента”.
Бэкон родился в семье придворного во времена долгого правления Елизаветы I. (“Когда королева спросила его, сколько ему лет, то он, хотя был еще совсем ребенком, учтиво ответил, что ему 'на два года меньше, чем благодатному правлению Ее Величества'”). Он был главным судебным обвинителем своей эпохи, преследуя в равной степени “преступников и интересы выгоды”. (“Он никогда не унижал преступивших закон и даже не стремился возвышаться над ними, а был мягкосердечен, как будто одним глазом сурово смотрел на типический случай, а другим глазом, полным жалости и сострадания, - на личность). Он брал взятки и был уличен (“Я был самым справедливым судьей в Англии за последние 50 лет, но это был самый справедливый приговор парламента за последние 200 лет”).
Бэкон видел, что наблюдение природы учит нас меньше, чем эксперимент. (“Секреты природы открываются нам гораздо охотнее под напором нашего умения, чем когда мы идем у них на поводу”). Он был до некоторой степени прагматиком. ( “Следовательно, в данном случае истина и польза - одно и то же, а сами исследования имеют большую ценность как залог истины, чем как средство сделать жизнь удобнее”). Он призывает нас экспериментировать, чтобы “растрясти складки природы”. Нужно “подергать льва за хвост”. Бэкон ссылается не больше не меньше как на царя Соломона: “Слава Божия - облекать тайною дело, а слава царей - исследовать дело”*. Он учил, что истинный смысл этих слов в том, что каждый исследователь есть царь.
Муравей и пчела
Бэкон презирал схоластические и книжные попытки выводить знание из начальных принципов. Вместо этого, полагает он, мы должны создавать понятия и находить истины более низкого уровня общности. Наука должна строиться снизу вверх. Бэкон не предугадал ценности теоретизирования, порождения гипотез и математических вычислений, которые с тех пор научились использовать, не ожидая, пока какая-либо система проверок станет доступной. Но когда он выражает презрение по отношению к авторам, которые выходят за пределы фактов, он имеет в виду не новую науку, а схоластику. Тем не менее, к нему плохо относились многие современные философы, признававшие примат теории. Они называли его индуктивистом. И все же именно Бэкон сказал, что “делать заключение исходя из простого перечисления примеров (как делают логики) без испытания его посредством контрпримеров - значит делать неверное заключение”. Бэкон называл индукцию через простое перечисление ребячеством. Будучи философом эксперимента, Бэкон не очень хорошо укладывается в простую дилемму индуктивизма и дедуктивизма. Он стремился исследовать природу во что бы то ни стало. “Не следует разочаровываться или смущаться, если эксперименты, которые вы пытаетесь проделать, не отвечают вашим ожиданиям. Ведь несмотря на то, что успешный эксперимент и был бы более приемлемым, неуспешный часто более поучителен”. Таким образом, Бэкон уже понимал обучающую ценность опровержения. Он видит, что новая наука будет союзом экспериментальной и теоретической деятельности. В духе своего времени он выражает мораль аналогией из жизни насекомых:
“Экспериментаторы подобны муравьям, они только собирают и используют; теоретики подобны паукам, которые ткут свои паутины из себя самих. Пчела выбирает средний путь: она собирает материал с полевых и садовых растений, но преобразует и переваривает его, используя свои собственные силы. Подлинное занятие философией чем-то похоже на этот путь, поскольку оно основывается не только на силе ума, но и на материале естественной истории и механических экспериментов, и не просто целиком закладывает этот материал в память, но лишь изменив и переварив его в своем восприятии”.
“Следовательно, - продолжает он, - основываясь на более близкой и чистой связи между этими двумя способностями, экспериментальной и рациональной (которая никогда еще не была реализована), можно надеяться на многое”.
В чем же величие науки?
Союз между экспериментальными и рациональными способностями во времена пророчеств Бэкона едва зарождался. В наше время Пол Фейерабенд спрашивал, во-первых, “Что такое наука?”, а во-вторых, “В чем величие науки?” Я не нахожу, что второй вопрос действительно важен, но, поскольку мы иногда видим нечто великое в естественной науке, можно ответить на этот вопрос словами Бэкона. Наука - это союз двух способностей, рациональной и экспериментальной. В 12-й главе я подразделил то, что Бэкон называл рациональными способностями, на теоретизирование и вычисление, утверждая, что это разные способности. Величие науки заключается в том, что она есть сотрудничество между различными типами исследователей: теоретиками, вычислителями и экспериментаторами.