е. что между ними можно установить отношение включения, исключения или пересечения. Безнадежно также пытаться связать классические утверждения с релятивистскими посредством эмпирических гипотез. Такие гипотезы были бы столь же смешны, как смешно утверждение о том, что, "как только возникает одержимость дьяволом, происходит резкое изменение в мозге", которое выражает связь между терминами теории одержимости, объясняющей эпилепсию, и более современными "научными" терминами. Очевидно, мы не хотим вечно сохранять старую демонологическую терминологию и принимать ее всерьез только для того, чтобы обеспечить сравнимость классов содержания. В случае же сопоставления релятивистской и классической механики гипотезы такого рода даже нельзя сформулировать. Используя термины классической механики, мы принимаем некоторый универсальный принцип, который не принимается релятивистской механикой. Последнее означает, что этот принцип устраняется всякий раз, когда мы пишем некоторое предложение с намерением выразить релятивистское положение дел. Используя классические и релятивистские термины в одном и том же предложении, мы одновременно принимаем и устраняем определенные универсальные принципы, а это означает, что таких предложений просто не существует: сопоставление релятивистской и классической механики дает нам пример двух несоизмеримых структур. Другими примерами будут квантовая теория и классическая механика [132], теория импетуса и механика Ньютона [133], материализм и дуализм души и тела и т.д.

Конечно, все эти случаи можно интерпретировать иначе. Шэйпир, например, критиковал мое обсуждение теории импетуса, утверждая, что "у самого Ньютона не было полной ясности относительно того, нужна ли причина для инерционного движения" [134]. Кроме того, он видит "много... сходных черт и плавных переходов" от Аристотеля к Ньютону там, где я вижу несоизмеримость [135]. Первое возражение легко устраняется с помощью а) указания на формулировку Ньютоном первого закона движения: "corpus omne perseverare in statu quiescendi vel movendi uniformiter in directum...", в которой движение рассматривается скорее как состояние, а не как изменение [136] ; б) демонстрации того факта, что понятие импетуса определено в соответствии с некоторым законом, который не принимается Ньютоном и, следовательно, перестает служить в качестве принципа, используемого для образования фактов (с некоторыми подробностями это сделано в моем обсуждении данного случая). Пункт б) отвечает и на второе возражение: верно, конечно, что несоизмеримые структуры и несоизмеримые понятия могут обладать формальным сходством, однако это не затрагивает того факта, что одна: структура отменяет универсальные принципы другой. Именно этот факт лежит в основе несоизмеримости, которая сохраняется, несмотря на открываемое нами сходство структур.

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

Я уже сказал, что научное изменение может привести к замене утверждений в некоторой области и что такая замена будет повсеместной, если мы имеем дело с универсальными идеологиями. Она затронет не только теории, но также утверждения наблюдения и (см. выше о творчестве Галилея) естественные интерпретации. Такая подгонка (adaptation) наблюдения к теории (а в этом суть первого возражения) часто устраняет противоречащие ей протоколы наблюдения и спасает новую космологию способом ad hoc. Кроме того, возникает подозрение, что наблюдения, интерпретируемые в терминах новой теории, уже не могут быть использованы для опровержения этой теории. Нетрудно дать ответ по всем этим пунктам.

Что касается высказанного возражения, то в соответствии с изложенным выше (см. гл. 5 и 6) я хотел бы указать на то, что противоречие между теорией и наблюдением может свидетельствовать об ошибочности оперирования терминами наблюдения (observational terminology) (и даже наших чувственных впечатлений), так что вполне естественно изменить эту терминологию, приспособить ее к требованиям новой теории и посмотреть, что из этого выйдет. Такое изменение дает (и должно давать) начало новым вспомогательным дисциплинам (в примере с Галилеем: гидродинамике, теории твердого тела, оптике), что вполне может компенсировать некоторую потерю эмпирического содержания. А в отношении данного подозрения [137] следует вспомнить о том, что предсказания некоторой теории зависят от ее постулатов (и ассоциированных с ними грамматических правил), а также от начальных условий, в то время как значение "исходных" понятий зависит только от постулатов (и ассоциированных с ними грамматических правил). Однако в тех редких случаях, когда из теории следуют высказывания относительно возможных начальных условий [138], мы можем опровергнуть ее с помощью внутренне противоречивого протокола наблюдения, например такого: "Объект А движется не по геодезической линии"; этот протокол, согласно Эйнштейну – Инфельду – Хофману, гласит: "Сингулярность б, движущаяся по геодезической линии, не движется по геодезической линии".