После «Структуры научных революций»
Шрифт:
Редукция и революции
Предположим теперь, что уже разработаны адекватные технические средства для отличения ядра от его расширений. Что тогда можно будет сказать об отношении между изменениями ядра и научными революциями? Ответ на этот вопрос будет зависеть в конечном счете от применения редукционного отношения Снида к парам теорий, в которых один заменяется другим в качестве признанного базиса научных исследований. Насколько мне известно, никто еще не применял новый формализм к подобным парам [166] , однако Снид предполагает, что такое применение можно попытаться
В своей книге, гораздо яснее, чем в сообщении на данном симпозиуме, Штегмюллер четко присоединяется к этой традиционной идее и использует ее для устранения того, что он называет Rationalitatslucken (разрывами рациональности) в моей концепции. Как и многие другие, он обнаруживает разрывы рациональности в моих замечаниях о несоизмеримости двух теорий, разделенных революцией, в моем подчеркивании проблемы коммуникации, с которой сталкиваются сторонники таких теорий, и в моем утверждении о том, что эти проблемы делают невозможным какое-либо полное систематическое сравнение этих теорий [167] .
Возвращаясь к этим вопросам, я готов допустить: если бы, опираясь на отношение редукции, можно было показать, что более поздняя теория решает все проблемы, решаемые ее предшественницей, и еще многие сверх того, было бы бессмысленно говорить о технике сравнения этих теорий. В действительности формализм Снида не дает оснований для контрреволюционных утверждений Штегмюллера. Напротив, одно из главных достоинств этого формализма я усматриваю в том, что он помогает уточнить проблему несоизмеримости.
Чтобы показать это, я начну с изложения моей позиции, придав ей более точную форму Большинство читателей моей книги предполагало, что когда я говорил о несоизмеримых теориях, я имел в виду, что их нельзя сравнивать. Однако термин «несоизмеримость» заимствован из математики, и там он не имеет таких следствий. Гипотенуза прямоугольного треугольника несоизмерима с его стороной, однако их можно сравнивать и измерять с любой требуемой степенью точности. Отсутствует не сравнимость, а единица длины, с помощью которой гипотенузу и сторону треугольника можно измерить прямо и точно.
Применяя термин «несоизмеримость» к теориям, я имел в виду только то, что не существует общего языка, в котором обе теории могут быть выражены полностью и который, следовательно, может послужить базой для их последовательного сравнения [168] .
С этой точки зрения проблема сравнения теорий отчасти становится проблемой перевода, и мою позицию по отношению к ней можно кратко указать, сославшись на близкую позицию, разработанную Куайном в работе «Слово и объект» и в последующих публикациях.
В отличие от Куайна я не считаю, что референция в естественном и научном языках непостижима. Действительно, ее очень трудно открыть и никогда нельзя быть полностью уверенным в том, что это удалось. Но установление референции в иностранном языке вовсе не эквивалентно созданию руководства по переводу для этого языка. Референция и перевод – это две проблемы, а не одна, и их нельзя решить одновременно. Перевод всегда и необходимо несовершенен и опирается на компромиссы. Компромисс, подходящий для одной цели, может быть непригоден для другой. Умелый переводчик, двигаясь по тексту, действует не вполне систематично, а неоднократно
Как мне представляется, перевод одной теории на язык другой включает в себя компромиссы такого же рода, что и позволяет говорить о несоизмеримости. Однако сравнение теорий требует лишь идентификации референции. Неизбежное несовершенство перевода затрудняет решение проблемы, но не делает ее принципиально неразрешимой.
Опираясь на эти соображения, я сначала хочу показать, что использование Штегмюллером отношения редукции содержит в себе порочный круг. Анализ редукции у Снида опирается на принятую без обсуждения посылку, которую я считаю эквивалентной утверждению полной переводим ости.
Необходимым условием редукции теории V к теории Т является такое же отношение редукции между соответствующими ядрами Км К’. В свою очередь, это требует отношения редуцируемости между частными потенциальными моделями, характеризующими эти ядра. Таким образом, для всего этого требуется такое отношение р, которое однозначно ассоциирует каждый элемент множества М’рр с единственным элементом меньшего множества Мрр.
Снид и Штегмюллер подчеркивают, что элементы этих двух множеств могут быть по-разному описаны и благодаря этому обладать совершенно разными структурами [169] . Тем не менее они считают гарантированным существование отношения р, способного по структуре выделить элемент Мрр, соответствующий элементу М’рр, который обладает иной структурой, да еще описанной в иных терминах.
Такое допущение я рассматриваю как равнозначное предположению о беспроблемности перевода. Конечно, оно устраняет проблемы, которые для меня связаны с несоизмеримостью. Однако можем ли мы при современном положении дел считать гарантированным наличие такого отношения?
Для качественных теорий, полагаю я, достаточно ясно, что такого рода отношения не существует. Рассмотрим, в частности, лишь один контрпример из множества примеров, приведенных мною в других местах [170] . Базисный словарь химии XVIII столетия был преимущественно словарем качеств, а центральная проблема для химиков того времени состояла в прослеживании качеств в реакциях. Тела рассматривались как земли, масла, металлы и т. п. Флогистон считался субстанцией, которая при добавлении к различным землям наделяла их жаром, ковкостью и т. п. Химики XIX века в значительной мере избавились от таких вторичных качеств, поставив на их место весовые соотношения и пропорции. Знание этих соотношений для определенного элемента или смеси не приводит к качествам, которые в предшествующем столетии считались характерными для различных химических видов. Наличие у металлов общих свойств теперь вообще нельзя было объяснить [171] . Образец, считавшийся медью в XVIII столетии, оставался медью и в следующем столетии, однако его структура в множестве М’рр была совершенно иной, нежели в множестве Мрр и не существовало способа перехода от более поздней структуры к предшествующей.