Читаем Научная объективность и ее контексты полностью

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

Рис. 7.1 а. Глобальные значения Ор₁ и Ор₂ безусловно отличны от глобальных значений Op'₁ и Op'₂ в силу различия их контекстов. В частности, хотя Ор₁ и Op'₁ связаны с Th₁ и Th₂ (Th'1 и Th'₂) теми же самыми формальными отношениями f₁ и f₂, значения Th₁ и Th'₁, как и значения Th₂ и Th'₂, отличаются от них в силу различия их контекстуальных определений. Фактически: (i) Th₁ непосредственно связана с Th₂ через f₅ и непосредственно связана с Th₃ через f₄ (она также опосредованно связана с Th₃ через f₅ и f₆), тогда как Th'₁ непосредственно связана с Th'2 через другую функцию g₁ и опосредованно связана с Th'₃двумя различными способами, т. е. через g₁ и f₆ и через g₁ и g₂. (ii) Референциальные значения Ор₂ и Op'₂ различны, поскольку они связаны с двумя различными операциями ω4 и ωn. Но это различие значения влияет также на Th3 и Th' в силу функционального отношения f3, так что значения Thз и Th' реально различны, и этот факт влияет на весь теоретический контекст Т и Т'. b. Что же касается референциальных значений Op₁, Op₂, Op'1 и Op', здесь надо провести следующее различие: (i) Op1 и Op'1 имеют то же самое референциальное значение, поскольку они непосредственно соотносятся с теми же самыми операциями ω₁, ω₂ и ω₃. (ii) Op2 и Op' имеют другие референциальные значения, поскольку они соотносятся с двумя другими операциями – ω₄ и ω_n..с. Если теперь вспомнить строгое соответствие между операциями и объектами теорий, нетрудно будет увидеть, что ему автоматически соответствуют референциальные значения их операциональных понятий. Вытекающие отсюда возможности очерчены в диаграмме.

II – Отношения между объектами двух теорий T и T' (рис. 7.2).

Рис. 7.2. a. Это случай, когда все операциональные понятия из Т присутствуют с теми же самыми референциальными значениями в T', причем T' содержит и собственные операциональные понятия. Мы будем называть эти две теории локально совместимыми. b. В этом случае все операциональные понятия в T и T' имеют одно и то же референциальное значение. Следовательно, T и T' имеют дело с одной и той же областью объектов и полностью сравнимы. c. Здесь T и T' имеют общими хотя бы некоторые операциональные понятия с одинаковыми референциальными значениями, в то время как другие операциональные понятия (даже если они обозначаются одинаковыми именами) фактически имеют разные референциальные значения. Таков, в частности, случай, представленный на предыдущей диаграмме. Мы будем называть две такие теории частично сравнимыми. d. В этом случае все операциональные понятия имеют разные референциальные значения в T и T', и это значит, что они имеют дело с совершенно разными областями объектов. Мы называем их несравнимыми (или несоизмеримыми).

Ясно, что несоизмеримость – отнюдь не единственный возможный случай, а лишь одна из четырех возможностей.

III – Сравнимость и несравнимость в отличие от совместимости и несовместимости.

Четырем рассмотренным случаям соответствуют следующие ситуации:

Из этого следует:

4 – Связанные с этим типы прогресса:

(a) Случай 3a Ai: T и T' сравнимы, совместимы T и T': непрерывный линейный и кумулятивный прогресс.

(b) Случай 3a Aii: T и T' сравнимы, совместимы и взаимно дополнительны: непрерывный, нелинейный, кумулятивный прогресс.

(d) Случай 3a B: T' фальсифицирует T и замещает ее: прерывный некумулятивный прогресс.

(e) Случай 3b: T и T' не сравнимы и ни одна из них не фальсифицируется: прерывный кумулятивный прогресс.

Комментарии:

Можно сказать, что типичная позиция логического эмпиризма ограничивается нашим случаем 4a; попперианская доктрина ограничивается случаем 4d; доктрина «несоизмеримости» Куна и Фейерабенда ограничивается случаем 4e. Однако Кун и Фейерабенд ввели нелогические критерии сравнения теорий, так что для них несоизмеримость не влечет за собой несравнимость. Однако они не смогли увидеть в этом возможность прогресса, из-за отсутствия у них ясного и эффективного различения несовместимости и несравнимости.