Другим способом выразить ту же идею могло бы быть отрицание возможности сравнения теорий, основанное на предположении, что не существует фактов и данных, которые давали бы нам критерий сравнения, поскольку факты и данные всегда таковы только «относительно данной теории» [152] . Интересный факт состоит в том, что мы тоже стоим за «относительность» фактов и данных, в том смысле, что факты и данные зависят от конкретных операционных критериев данной дисциплины, а вследствие этого и от любой теории, предлагаемой в данной дисциплине, но мы не делали следующего шага, состоящего в утверждении, что данные и факты относительны к каждой отдельной теории; напротив, они остаются постоянными для всех теорий, относящихся к данной дисциплине. Это вполне совместимо с признанием того, что значение некоторого понятия или высказывания «в общем» релятивизируется к теориям, поскольку это не мешает двум (или более) теориям иметь одни и те же средства релятивизации по отношению к данному понятию или высказыванию. Согласно нашей точке зрения, это действительно может быть так по отношению к ограниченному классу понятий и высказываний, т. е. для операциональных понятий и для высказываний, содержащих только эти понятия. Это случай, когда две теории основаны на одних и тех же базовых предикатах, связанных с базовыми интенсионалами одними и теми же операциями, и отличаются только в силу различия используемых ими логических сетей (а значит, и в силу различия используемых ими теоретических понятий).

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

Мы занимаем эту позицию по двум причинам. Первая – та, что, поскольку в случае классической и квантовой механики их теоретические контексты разные, это порождает различия интенсионалов их соответствующих теоретических и операциональных понятий. С этой точки зрения положение не слишком отличается от случая евклидовой и неевклидовой геометрии, где мы все время должны иметь в виду, что это не об одном и том же пространстве мы говорим, что в нем только одна, или более одной, или ни одна параллельная линия не может пройти через данную точку, поскольку аксиоматические контексты, определяющие пространство, в этих трех случаях разные. Именно поэтому, между прочим, в данном случае нет никакого нарушения ни принципа непротиворечия, ни исключенного третьего (т. е. нет конфликта теорий), поскольку оба эти принципа предполагают постоянство значений. В дополнение к этому мы можем сказать, что в случае сравнения классической и квантовой механики нам не помогут и операциональные понятия, поскольку операции измерения в квантовой механике не те же самые, что в классической механике. Поэтому можно сказать, что эти две дисциплины ссылаются на разные «объекты» и потому несравнимы с точки зрения их взаимного превосходства, поскольку у них разные области применения. Тот факт, что у них есть некоторые общие термины, является следствием того, что некоторые интенсиональные компоненты остаются более или менее неизменными в понятиях, выражаемых этими терминами; но эти компоненты относятся друг к другу по-разному и к тому же связаны в этих двух теориях с разными компонентами [153] . Поэтому мы должны говорить, что квантовую механику следует принять не «над» классической механикой, но рядом с ней.

Можно рассмотреть и еще один пример, говорящий, по-видимому, о сравнимости теорий. Возьмем волновую и корпускулярную теории света (Т и Т0), как они понимались в начале XIX века, когда корпускулярная теория была изгнана из физики. В этом случае мы не могли бы не признать, что, хотя их теоретические рамки действительно различались, они основывались на одних и тех же операциональных критериях объективности света. На самом деле обе теории позволяли выводить проверяемые предложения по поводу реальных световых лучей, проходящих через отверстия, об их отражении, преломлении и дифракции с помощью соответствующих устройств, прохождении с разной скоростью сквозь среды разной плотности и т. д. Благодаря этому общему запасу эмпирических фактов было наконец найдено эмпирическое высказывание Е, формально выводимое из Т, в то время как его отрицание было формально выводимо из Т0, и это [154] в свое время привело к отказу от одной из этих теорий и принятию другой.

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

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

Конечно, вопрос о сравнении теорий гораздо сложнее, чем может показаться из сказанного в этом разделе, поскольку он глубоко коренится в гораздо более разработанном дискурсе относительно изменения теорий. Во всяком случае, он представляет собой достаточно четко выделяемую подпроблему этой более общей проблемы и характеризуется некоторыми логически и эпистемологически ключевыми вопросами, которые мы пытались здесь выделить и обсудить. Мы будем еще говорить о более широком смысле этой проблемы в ее отношении к другим вопросам, когда будем более подробно рассматривать изменение теорий. Тогда мы вернемся к вопросу о сравнимости, чтобы прояснить некоторые несущественные предпосылки настоящего обсуждения. В частности, некоторые моменты нынешнего обсуждения зависят, как кажется, от «сентенциального» (statement) понимания теорий и от дедуктивной модели сравнения теорий, хотя на самом деле это не так. Действительно важный тезис состоит в том, что сравнение теорий основывается на референции, а не на значении, и поэтому операциональные критерии так важны в этом отношении [155] .

Проведенный нами до сих пор анализ сложной структуры научной объективности дал нам достаточно инструментов анализа для того, чтобы заняться проблемой онтологического статуса научных объектов или, если кто-то это предпочитает, онтологической ангажированности науки. Однако прежде чем непосредственно заняться этим вопросом, опишем более точно основную идею общей позиции, принятой в этой книге, обсудив понятие, часто используемое в философии науки, но имеющее особое значение в рамках нашего подхода. Это – понятие универсума дискурса некоторой науки, которое обычно в литературе рассматривается как эквивалент понятия области индивидов данной науки. Такая эквивалентность – не просто случайное сосуществование языковых выражений. На самом деле оно покрывает собой по крайней мере два неявных предположения.

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

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