…Кажется, я увлёкся. Каждый из этих способов основан на том, что философы называют «наблюдательной теорией»? Да, конечно. Каждый может давать ошибочный результат? Разумеется. Но фокус в том, что все они основаны на разных и независимых «наблюдательных теориях». Можно спросить: что толку в десяти свидетельствах «за», если ни одно из них нельзя считать непогрешимым? Давайте посчитаем.
Предположим, наши «наблюдательные теории» настолько ненадёжны, что мы только на 50 % уверены в каждой из них в отдельности. То есть, например, если мы видим капли воды, падающие с неба, то считаем, что с равной вероятностью это или дождь, или галлюцинация. Тогда, если у нас есть положительные свидетельства двух независимых методов наблюдения, вероятность того, что оба ошибочны, вычисляется как произведение вероятностей ошибки каждого из них. То есть 25 %. Для трех получаем 12,5 %. Для десяти — меньше 0,1 %. После пятнадцатой независимой проверки мы можем быть на 99,997 % уверены в том, что дождь действительно идёт. А если надёжность каждого из методов — не 50 %, а хотя бы 90, то вероятность ошибки будет микроскопически ничтожной.
Поэтому-то в науке придаётся такое значение независимым проверкам результатов в разных лабораториях, и особенно — разными методами. Но следует обратить внимание и на другой аспект ситуации. Согласование между собой результатов двух наблюдений, основанных на двух независимых теориях, в каждой из которых мы не вполне уверены, не только придаёт вес результатам наблюдения, но и дополнительно обосновывает сами эти теории. Так, возвращаясь к распаду трития, предположим, что мы не уверены ни в чём — ни в том, что при этом испускаются электроны, ни в том, что камера Вильсона действительно регистрирует их, а не что-нибудь другое, ни даже в уравнениях, выражающих воздействие магнитного поля на движущиеся электрические заряды. Тем не менее мы вычисляем величину, которая, при условии, что все предпосылки верны, выражает заряд электрона (точнее, отношение заряда к массе).
Далее мы обращаемся к катодным лучам. Мы опять же ни в чём твердо не уверены, даже в том, что катодные лучи — это те же электроны. Но в предположении, что это так, мы снова вычисляем заряд электрона по этим, совершенно не связанным с предыдущими, данным. И — удача! Величина получается та же самая. Едва ли кто станет отрицать, что этот результат придаёт нам уверенности во всех исходных предположениях разом. Впрочем, не будем полагаться на эмоции, а проанализируем ситуацию (заранее прошу прощения у читателя за наукообразие).
Пусть имеется эксперимент E1, который даёт в качестве результата число Q1, физическая интерпретация которого зиждется на ряде теоретических предложений (T …T"). Пусть имеется и другой эксперимент E2, который даёт в качестве результата число Q2, физическая интерпретация которого зиждется на ряде теоретических предложений (T2 …Tm. Если эти две физические интерпретации совпадают (т. е. в обоих случаях мы предполагаем, что измеряется одно и то же) и результаты эксперимента совпадают, то это служит практически неопровержимым доказательством всех теоретических предпосылок, кроме тех, которые были общими для двух экспериментов. Вероятность того, что два измеренных числа совпали случайно, практически нулевая. Будь одна из предпосылок неверна, одно из чисел изменилось бы, и результата бы не было. Теоретически возможно, что неверны две (или более) предпосылки, но таким особым образом, что их влияние в точности компенсируется, однако такая возможность устранима, во-первых, тщательным анализом, а во-вторых, проведением дополнительных экспериментов с другими наборами предпосылок. Великий Галилей снова послужит нам примером.
Фейерабенд («Против метода», раздел 11):
При рассмотрении в телескоп Марс действительно изменяется так, как требует концепция Коперника. Тем не менее если принять во внимание действие телескопа в общем, то это изменение кажется совершенно загадочным. Оно столь же непонятно, как и теория Коперника, если её соотнести с дотелеско-пическими свидетельствами. Однако это изменение соответствует предсказаниям Коперника. Именно эта гармония, а не какое-либо глубокое понимание космологии и оптики служит для Галилея доказательством системы Коперника и правдивости данных телескопа в решении как земных, так и небесных проблем. (…) «"Звёздный вестник", — пишет Ф. Хаммер в своём наиболее чётком, как мне представляется, изложении данного вопроса, — содержит два неизвестных, которые разъясняются одно через другое». Это совершенно справедливо, за исключением того, что «неизвестные» были не столько неизвестными, сколько известными как ложь, о чём говорит сам Галилей. Своеобразие ситуации заключается в том, что это — соответствие между двумя интересными, но опровергнутыми идеями, которые Галилей разрабатывает для того, чтобы предохранить каждую из них от устранения.
Оставлю на совести Фейерабенда «опровергнутые идеи», хотя и странно слышать это из уст пламенного романтика анархизма, который на словах отказывается признавать какие бы то ни было идеи опровергнутыми. Вникнем в суть дела. Коперник предсказывает изменение яркости Марса во времени на основании некой непроверенной теории. Галилей наблюдает Марс в телескоп, который был прибором ещё несовершенным, давал оптические артефакты, да к тому же освящённая веками традиция гласила, что небесные объекты вообще нельзя наблюдать в телескоп, потому что их природа иная, чем у земных. И вдруг — удача! Наблюдения согласуются с теорией. Может ли этому быть какое-нибудь иное объяснение, кроме того, что все предпосылки оказались верны? Если наблюдения были «телескопической иллюзией», то что же это за такая удивительная иллюзия, которая ведёт себя согласно теории Коперника? Ведь теория не о телескопах, а о планетах.
Так, как ситуация изложена Фейерабендом, она кажется похожей на порочный круг: Коперник подтверждает Галилея, Галилей подтверждает Коперника, рука руку моет. На самом же деле всё обстоит совершенно иначе: Коперник вычисляет некую величину на основании одной непроверенной теории, Галилей измеряет некую величину на основании другой непроверенной теории, вовсе не связанной с первой, и эти две величины совпадают, что возможно только в случае, если обе теории верны.
Вспомним Нестерова: «Для интерпретации наблюдения мы привлекаем знание половины теоретической физики». Это очень верное и важное наблюдение. Наука представляет собой не россыпь отдельных «фактов» и «теорий» и даже не аккуратные «прогрессивные последовательности» теорий по Лакатосу, но туго переплетённую ткань, в которой почти всё так или иначе увязано почти со всем. Типичная проблема философской методологии науки — это вопрос, сколько нужно свидетельств «за», чтобы считать теорию (парадигму, проблемный сдвиг) заслуживающей принятия или сколько противоречащих фактов, чтобы считать её опровергнутой. Обычный ответ — сколько бы ни было, всё недостаточно. Но реальная наука устроена совсем не так. Во-первых, как мы видели, независимые доказательства не «складываются», а «перемножаются». Во-вторых, в силу всеобщей взаимосвязанности утверждение или отрицание научной теории похоже не столько на сбор грибов, сколько на решение кроссворда.
Представьте себе, что вы отгадываете очень большой, потенциально бесконечный кроссворд. Слова в этом кроссворде не написаны аккуратно на плоском листе, а изгибаются в пространстве и могут пересекаться с другими, отстоящими очень далеко. Два слова, которые вы пытаетесь отгадать в разных местах кроссворда, могут неожиданно оказаться пересекающимися друг с другом. В уже, казалось бы, до конца разгаданный участок может вдруг вторгнуться новое слово, да так, что многое придётся переделывать. Например, вы отгадали Шопена, и вдруг оказывается, что его средняя буква должна быть первой буквой бесспорного Моцарта. Это ещё ничего, потому что можно заменить его на Шумана, оставив нетронутыми остальные слова.
Теперь вопрос: можно ли указать в такой игре точный и безошибочный критерий, когда слово наверняка отгадано правильно? Очевидно, нельзя. С другой стороны, повышается или понижается ваша уверенность в правильности решения с каждым новым отгаданным и увязанным с другими словом? Очевидно, повышается. Совершенно то же самое можно сказать относительно того, единственное ли возможное решение вы находите. Гарантии дать нельзя, но чем туже плетение, тем менее вероятно, что существует альтернативное решение. Ясно, что если рассматривать один (искусственно) изолированный участок кроссворда, то убедительность решения покажется сомнительной: «Шуман» опирается на «Моцарта», а «Моцарт» — на «Шумана», и где уверенность? Но та же самая идея о взаимосвязи, которая приводит философов к выводу о несуществовании «чистых наблюдений», одновременно делает неправомерным и такое локальное рассмотрение. Плетёнку научных теорий нужно рассматривать в целом. Но как это сделать?