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