Можно попытаться критически проанализировать понятие "эмпирическая эквивалентность". Предположим, что оно определяется по отношению ко всем возможным данным или по отношению к некоторой ограниченной области данных, либо по отношению к тому, что известно в настоящее время. Например, теории Птолемея и Коперника могут считаться эмпирически эквивалентными по отношению к чисто кинетическим данным об относительных положениях Солнца и планет. Но они неэквивалентны по отношению к более широкой области данных, включающих ссылки на абсолютное пространство, инерциальные системы отсчета, эфир или фиксированный центр универсума. Другой пример: Максвелл отмечал эмпирическую эквивалентность электро- и магнитостатической теории, с одной стороны, и веберовской теории атомизма, пустого пространства и дальнодействия-с другой. Но эти теории эмпирически неэквивалентны, если в область наблюдения включаются движущиеся заряды и распространение электромагнитных волн. Поэтому, рассматривая такие случаи, реалист скажет, что для сравнения теорий должно расширить область наблюдения и тогда уж пытаться поставить решающие эксперименты.
"Научная практика... убеждает в том, что "теория" понимается не как аксиоматически построенное исчисление, - пишет М.Хессе. - Множество ее эмпирических следствий не ограничено логически выводимыми из нее теоремами. Сталкиваясь с эмпирической эквивалентностью теорий (Птолемея и Коперника, Максвелла и Вебера), научная практика почти всегда стремится к тому, чтобы найти решающие проверки допустимых, но не выводимых дедуктивно следствий из этих теорий. Это могут быть следствия, полученные путем присоединения иных", считающихся верными, теорий, либо утверждений о каких-то конкретных условиях, либо это могут быть "более простые" или "более естественные" приемы согласования опытных данных, а также выводы по аналогии, заимствованной из соответствующих областей знаний. Эти выводы позволяют проводить такое различение между сравниваемыми теориями, которого не обеспечивают прямые логические выводы"312.
Все это должно вести к выводу о том, что альтернативные теории не могут в действительности быть эмпирически эквивалентными и при более широком понимании эксперимента всегда можно эмпирически обосновать преимущества одной из них.
Но оппоненты "научного реализма" могут придать понятию эмпирической эквивалентности более сильный смысл, понимая его как "эквивалентность по отношению ко всякому возможному опыту". Пример таких онтологически несовместимых, но эмпирически эквивалентных относительно любого возможного опыта теорий приводит Патнэм: это теории пространства как "составленного" либо из сходящихся линейных сегментов, либо из точек313. Такие примеры, считает Хессе, наиболее затруднительны для "научного реализма".
Чтобы как-то справиться с подобными примерами, реалист должен выдвинуть встречные требования: исключить неясное понятие "всякого возможного опыта" и говорить только о реально достижимых опытных данных; затем нужно ввести различение между более сильными и слабыми подтверждениями, что дало бы возможность обосновать преимущества одной теории перед другой, даже если формально они выглядят эмпирически эквивалентными. Так, К. Глаймур предлагает следующий критерий: "Гипотезы подтверждаются по отношению к определенной теории и посредством некоторого набора опытных данных, ели применяя теорию, мы можем вывести из этих данных частный случай гипотезы, но без них такой вывод не получается"314.
Примером может служить вывод Ньютоном обратно-квадратичного закона для спутников Юпитера. Опытные данные, используемые Ньютоном, заключались в следующем: вектор, проведенный от Юпитера к его спутникам, описывает равные площади в равные промежутки времени, а периоды обращения спутников равны 3/2 расстояния от Юпитера. Другими словами, движение спутников удовлетворяет второму и третьему законам Кеплера. Применяя второй закон механики, Ньютон вывел, что существует сила, действующая между спутниками и Юпитером, и она обратно пропорциональна квадрату расстояния между ними. Иначе говоря, из опытных данных и механики он вывел частный случай универсального закона гравитации и тем самым подтвердил этот закон по отношению к механике.
Центральной идеей данного критерия подтверждения является то, что ученые предпочитают общие теории, содержащие многообразие внутренних связей. Это ценное обобщение методологического критерия простоты. Но, как замечает Хессе, данный критерий пригоден только для внутренне сцепленных систем гипотез, но не может не рассматриваться как общая теория сравнения различных теорий по силе их опытных подтверждений. Есть и более глубокая проблема: должна ли внутренняя сцепленность рассматриваться как показатель истинности теории? Ведь различные элементы аристотелевской космологии неплохо сцеплены друг с другом, но вряд ли кто-либо решится утверждать сегодня истинность этой теории.
М. Фридмэн предложил "семантически ориентированный" критерии подтверждаемости. Согласно этому критерию, теории подтверждаются лучше, чем их наблюдаемые следствия. Это происходит потому, что подтверждающие данные в пользу одного закона могут считаться подтверждениями и другого закона, если имеется теория, которая связывает эти законы. Например, если удается соединить механику с законами газов (кинетическая теория газов), то подтверждения механических законов становятся подтверждениями о газовых315. Однако, по мнению Хессе, критерий Фридмэна противоречит обычному пониманию того, какую роль играет вероятность в процессе подтверждения: "Вряд ли можно согласиться с тем, что обоснованная уверенность в множестве посылок выше, чем уверенность в их наблюдаемых следствиях"316. Поэтому она предлагает применить к этой концепции подход Бэйеса, связывающий вероятность гипотезы с вероятностью исходных данных. "Идеи Фридмэна о том, что подтверждение объединяющей теории каким-то образом оказывается более высоким, чем подтверждение простой конъюнкции ее следствий, не могут получить буквального выражения в теории вероятностей, но они могут быть переформулированы в требование, чтобы хорошая теория обладала более высоким подтверждением, чем произведение исходных вероятностей некоторых пар ее следствий, взятых в отдельности"317.
Это означало бы, что даже если мы имеем дело с парой эмпирически эквивалентных теорий, можно сказать, что теория, обладающая большей унифицированностью или взаимозависимостью некоторых своих следствий, обладает и большей вероятностью по сравнению с другой теорией. Все это может рассматриваться как аргумент против инструментализма, однако это не может быть достаточным аргументом в пользу реалистического толкования научных теорий: ведь критерии связанности и взаимозависимости следствий не обеспечивают истинности теорий. Поэтому, делает вывод Хессе, мы должны ограничиться более скромным вариантом реализма: хорошей теорией надо считать ту, которая обеспечивает наиболее подтверждаемые опытом и взаимосвязанные эмпирические следствия 318.
Но ведь это почти то же самое, к чему призывает ван Фраассен! "Конструктивный эмпирист" и "научный реалист" как бы делают шаг навстречу друг другу и в нерешительности останавливаются: дальнейшее движение означало бы отказ от своих собственных позиций!
Как верно заметил А. Масгрейв, ван Фраассену не удается доказать преимущества своей позиции над "научным реализмом", но поднимаемые им вопросы заставляют "научных реалистов" более самокритично отнестись к своим утверждениям; "критика со стороны "конструктивного эмпиризма" должна стряхнуть с реалистов известное самодовольство"319.
4. "Анти-реализм" М. Даммита
Как видим, инструменталисты и "конструктивные эмпиристы" критикуют "научный реализм" за необоснованность его претензий на определение истины как соответствия с реальностью. Другая линия критики намечена М.Даммитом. Он следующим образом реконструирует позицию "научного реализма": предложения науки соотносятся с реальностью, существующей независимо от нашего знания о ней, таким образом, что эта реальность сообщает каждому предложению истинность или ложность как бы независимо от того, что мы об этом знаем или даже можем знать. Следовательно, реализм предполагает принятие принципа бивалентности для научных предложений: любое такое предложение должно быть либо истинным, либо ложным320. Другим необходимым условием реалистической позиции является реалистическая семантика, согласно которой "значение - это отношение между единичным термином, фигурирующим в предложениях данного класса, и некоторым объектом из данной предметной области"321.
Эти два условия и вызывают возражения М.Даммита. Реалистическая семантика позволяет считать предложения истинными, если даже мы не в состоянии распознать эту истинность. Это превращает истинность в некую идеальную сущность, оторванную от реального процесса познания и от познающего субъекта. Альтернативой тут является семантика интуиционистская: предложение считается истинным, только, если указано построение, образующее его доказательство. Такая семантика, как известно, отвергает принцип двузначности для предложений. Идея Даммита состоит в том, чтобы перенести эту ее особенность на эпистемологическую почву вообще. "В семантической теории, аналогичной теории Гейтинга для математических предложений, то есть интуиционистски истолкованной, допустимо только такое понятие истинности, которое непосредственно связано с нашей способностью распознавать истинность некоторого предложения"322. Таким образом, по Даммиту, речь не может идти об истинности предложения до тех пор, пока у нас нет решающих свидетельств (доказательств), делающих это предложение для нас интуитивно (очевидно) истинным.