и более спорным позднее[150].
Какое-то время люди соглашались с тем, что теоретические понятия, входящие в теории Т и Т0, различны по значению, даже когда обозначаются одними и теми же словами, поскольку предполагалось, что «наблюдательные» понятия – единственные нелогические компоненты Е – в любом случае имеют одинаковое значение в обеих теориях. Но сперва сомнения в возможности четко различить наблюдательные и теоретические понятия, а затем тезис, что все понятия (в том числе так называемые наблюдательные или эмпирические) нагружены теорией, с неизбежностью подорвали прежнюю уверенность в возможности сравнивать теории. Сравнение теорий предполагает межтеоретическую устойчивость значений (которая, как предполагалось, обеспечивается наблюдательными средствами); коль скоро она исчезает, значения всех понятий становятся строго зависимыми от теории, в которую эти понятия входят, и сравнение понятий становится таким образом невозможным. Это основной аргумент в пользу предполагаемой «несоизмеримости» теорий – одного из излюбленных тезисов «новой» философии науки[151].
Однако согласно точке зрения, которой мы придерживаемся в данной книге, предпосылки вышеприведенного аргумента не могут считаться выполненными, поскольку, если вводить операции предложенным нами способом, то мы действительно получим инструменты, позволяющие сказать, что:
(a) существуют по крайней мере некоторые предикаты, которые могут быть признаны эмпирическими (а именно операциональные);
(b) у этих предикатов есть базовый интенсионал, или устойчивая сердцевина значения, не зависящая от теории;
(c) ничто не мешает одним и тем же операциональным предикатам входить в две разные теории Т и Т0 без изменения их базовых интенсионалов;
(d) возможно формулировать эмпирические предложения Е, в которые входят только такие О-предикаты и которые затрагивают только их базовые интенсионалы (так что для проверки Е нужны только операции, подразумеваемые в операциональных определениях О-предикатов).
При этих условиях – когда для Е обеспечена устойчивость фактически затрагиваемых значений – две теории являются сравнимыми в определенном выше смысле. Заметим также, что в силу функции, которую мы приписали О-предикатам, это имеет место потому, что обе теории касаются одних и тех же объектов, благодаря референциальным компонентам интенсионала этих предикатов.
Другим способом выразить ту же идею могло бы быть отрицание возможности сравнения теорий, основанное на предположении, что не существует фактов и данных, которые давали бы нам критерий сравнения, поскольку факты и данные всегда таковы только «относительно данной теории»[152]. Интересный факт состоит в том, что мы тоже стоим за «относительность» фактов и данных, в том смысле, что факты и данные зависят от конкретных операционных критериев данной дисциплины, а вследствие этого и от любой теории, предлагаемой в данной