Научная объективность и ее контексты

Какое-то время люди соглашались с тем, что теоретические понятия, входящие в теории Т и Т₀, различны по значению, даже когда обозначаются одними и теми же словами, поскольку предполагалось, что «наблюдательные» понятия – единственные нелогические компоненты Е – в любом случае имеют одинаковое значение в обеих теориях. Но сперва сомнения в возможности четко различить наблюдательные и теоретические понятия, а затем тезис, что все понятия (в том числе так называемые наблюдательные или эмпирические) нагружены теорией, с неизбежностью подорвали прежнюю уверенность в возможности сравнивать теории. Сравнение теорий предполагает межтеоретическую устойчивость значений (которая, как предполагалось, обеспечивается наблюдательными средствами); коль скоро она исчезает, значения всех понятий становятся строго зависимыми от теории, в которую эти понятия входят, и сравнение понятий становится таким образом невозможным. Это основной аргумент в пользу предполагаемой «несоизмеримости» теорий – одного из излюбленных тезисов «новой» философии науки[151].

Однако согласно точке зрения, которой мы придерживаемся в данной книге, предпосылки вышеприведенного аргумента не могут считаться выполненными, поскольку, если вводить операции предложенным нами способом, то мы действительно получим инструменты, позволяющие сказать, что:

(a) существуют по крайней мере некоторые предикаты, которые могут быть признаны эмпирическими (а именно операциональные);

(b) у этих предикатов есть базовый интенсионал, или устойчивая сердцевина значения, не зависящая от теории;

(c) ничто не мешает одним и тем же операциональным предикатам входить в две разные теории Т и Т₀ без изменения их базовых интенсионалов;

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

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

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

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