Критика инструменталистской точки зрения

Аргумент Беркли, как мы видели, опирается на признание определенной философии языка, которая, может быть, убедительна на первый взгляд, но не обязательно истинна. Кроме того, он зависит от проблемы значения²⁵, которая прославилась своей неопределенностью и едва ли имеет большие шансы на решение. Положение становится еще более тяжелым, если мы учтем некоторые новейшие направления развития аргументов Беркли, краткое изложение которых мы дали в предшествующем разделе. Поэтому я попытаюсь сформулировать ясное решение нашей проблемы с помощью иного подхода — опираясь на анализ науки, а не на анализ языка.

Мою критику инструменталистского понимания научных теорий можно суммировать следующим образом.

Инструментализм можно выразить в форме тезиса, утверждающего, что научные теории — теории так называемой «чистой науки» — являются не чем иным, как правилами вычисления (или правилами вывода), которые в принципе носят такой же характер, как и правила вычисления так называемых «прикладных наук». (Это можно сформулировать также в виде тезиса о том, что «чистой» науки не существует и что всякая наука является «прикладной».)

Мой ответ инструментализму заключается в том, что я показываю существование глубоких различий между «чистыми» теориями и техническими правилами вычисления и что, хотя инструментализм может дать прекрасное описание этих правил, он совершенно неспособен понять различия между ними и научными теориями. Поэтому инструментализм терпит крах.

Анализ многих функциональных различий, существующих между правилами вычисления (скажем, для навигации) и научными теориями (такими, как теория Ньютона), является весьма интересной задачей, но нам достаточно краткого перечня уже имеющихся результатов. Логические отношения между теориями и правилами вычисления не являются симметричными и отличаются от тех отношений, которые могут существовать между различными теориями или между различными правилами вычисления. Способ, с помощью которого опробуются правила вычисления, отличается от того способа, с помощью которого проверяются теории, и мастерство, которого требует применение правил вычисления, отлично от того, которое требуется для их (теоретического) обсуждения и для (теоретического) определения пределов их применимости. Все это, конечно, лишь некоторые предварительные общие замечания, но их, по-видимому, достаточно для понимания направления нашей аргументации.

Обсудим теперь несколько более подробно один из названных пунктов, поскольку из него вытекает аргумент, аналогичный тому, который я уже использовал против эссенциа-лизма. Я хочу рассмотреть тот факт, что теории проверяются посредством попыток опровергнуть их (попыток, которые многому нас учат), в то время как для технических правил вычисления ничего подобного не существует.

Теория проверяется не просто в процессе ее применения или испытания, а в процессе применения ее к специальным случаям, для которых она дает результаты, весьма отличные от тех, которых мы могли бы ожидать в свете других теорий, если бы у нас не было этой теории. Другими словами, для наших проверок мы пытаемся выбрать такие решающие случаи, в которых можно ожидать, что теория потерпит крушение, если она не истинна. Такие случаи являются «решающими» в смысле Бэкона: они указывают пункты расхождения между двумя (или более) теориями. Из того факта, что без данной теории мы должны были бы ожидать иного результата, вытекает, что наше ожидание было результатом некоторой другой (возможно, бо-

лее старой) теории, но мы вряд ли осознаем этот факт. Однако если Бэкон верил, что решающий эксперимент может обосновать, или верифицировать, теорию, мы должны сказать, что в лучшем случае такой эксперимент может лишь опровергнуть, или фальсифицировать, теорию²⁶. Решающий эксперимент — это попытка опровергнуть теорию, и если такая попытка не приводит к успеху, а напротив, теория с ее неожиданным предсказанием оказывается права, то мы вправе сказать, что теория подкрепляется этим экспериментом. (Она подкрепляется тем лучше²⁷, чем более неожиданным или менее вероятным был результат эксперимента.)

Против развитого здесь понимания можно возразить (вслед за Дюгемом²⁸), что в каждую проверку включается не только проверяемая теория, а целая система наших теорий и предположений, фактически почти все наше знание, так что мы никогда не можем с уверенностью сказать, какие из этих предположений опровергнуты. Однако эта критика упускает из виду тот факт, что если каждую из двух теорий (в отношении которых решающий эксперимент должен произвести выбор) мы берем вместе со всем предшествующим, исходным знанием, то выбор осуществляется между двумя системами, различающимися между собой только теми теориями, которые противостоят друг другу. Эта критика, далее, упускает из виду и тот факт, что мы утверждаем опровержимость не теории как таковой, а теории вместе с данным предшествующим, исходным знанием, часть которого при постановке другого решающего эксперимента может быть опровергнута как ответственная за опровержение. (Таким образом, рассматриваемую теорию мы можем охарактеризовать как ту часть всей системы нашего знания, для которой мы имеем — хотя бы и смутно, нечетко — некоторую альтернативу и которую мы стремимся подвергнуть решающим проверкам.)

Ничего похожего на такие проверки не существует для инструментов и правил вычисления. Конечно, инструмент может сломаться или устареть. Однако едва ли имеет смысл говорить, что мы подвергаем инструмент самым строгим про-

веркам с тем, чтобы отбросить его, если он не выдержит этих проверок: корпус каждого самолета, например, можно «испытывать на прочность», но эта проверка предпринимается не для того, чтобы отказаться от корпуса самолета после его разрушения, а для того, чтобы получить информацию о корпусах самолетов (то есть проверить теорию о них), так чтобы их можно было использовать в границах их применимости (или безопасности).

В целях инструментального, практического применения теория может использоваться в границах ее применимости даже после опровержения: астроном, считающий, что теория Ньютона оказалась ложной, без колебаний будет использовать ее формализм в границах его применимости.

Иногда, к своему разочарованию, мы можем обнаружить, что сфера применимости некоторого инструмента меньше, чем мы ожидали вначале, но это не заставит нас отбросить этот инструмент именно как инструмент — будь это теория или что-то еще. Вместе с тем такое разочарование означает, что мы получили новую информацию благодаря опровержению теории — той теории, из которой следует, что инструмент применим в более широкой области.

Таким образом, как мы видели, инструменты и даже теории в той мере, в которой они являются инструментами, не могут быть опровергнуты. Следовательно, инструменталистекая интерпретация не способна объяснить реальные проверки, являющиеся попытками опровержения, и не может пойти дальше утверждения о том, что различные теории имеют разные области применения. Поэтому у нее нет возможности понять научный прогресс. Вместо того чтобы (вместе со мной) говорить, что теория Ньютона была фальсифицирована решающими экспериментами, которые не смогли фальсифицировать теорию Эйнштейна, и что поэтому теория Эйнштейна лучше, чем теория Ньютона, последовательный инструменталист должен, ссылаясь на «новую» точку зрения, сказать словами Гейзенберга: «...Мы не можем больше говорить: механика Ньютона ложна... Теперь мы предпочитаем использовать

такую формулировку: классическая механика... «права» везде, где применимы ее понятия»²⁹.

Поскольку слово «права» здесь означает «применима», постольку процитированное утверждение равнозначно следующему: «Классическая механика применима там, где применимы ее понятия», а это весьма бессодержательно. Однако в любом случае главным здесь является то, что, отвергая фальсификацию и акцентируя внимание на использовании знания, инструментализм оказывается столь же обскурантистской философией, как и эссенциализм, ибо лишь в поисках опровержений наука может надеяться чему-либо научиться. Только при рассмотрении того, каким образом ее различные теории выдерживают проверки, наука может обнаружить разницу между лучшими и худшими теориями и найти критерий прогресса. (См. гл. 10 ниже.)

Итак, инструмент для предсказания нельзя фальсифицировать. То, что на первый взгляд может показаться фальсификацией, оказывается не более чем дополнительным предупреждением относительно границ применимости наших инструментов. Это объясняет, почему инструменталистское понимание может быть использовано ad hoc для спасения физической теории, находящейся под угрозой противоречий, что и было сделано Бором (если я прав в своей интерпретации его принципа дополнительности, данной в разд. 2). Если теории являются лишь инструментами для предсказания, то мы не обязаны отбрасывать отдельную теорию, даже если мы уверены в том, что непротиворечивой физической интерпретации ее формализма не существует.

В итоге мы можем сказать, что инструментализм не способен объяснить того большого значения, которое для чистой науки имеют проверки даже наиболее отдаленных следствий ее теорий, так как он не способен объяснить интереса ученого, занимающегося чистой наукой, к истине и лжи. В противоположность весьма критической позиции, которой должен придерживаться ученый, занимающийся чистой наукой, инструменталистский подход (аналогичный подходу прикладной науки) довольствуется успехами применения

научного знания. Поэтому именно инструментализм, по-видимому, виновен в том, что в настоящее время квантовая теория находится в застое. (Это было написано до опровержения принципа четности.)