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