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

Наша проблема получила теперь точную формулировку. Чтобы понять, действительно ли фальсификация научных теорий ставит под вопрос их истинность (что на первый взгляд кажется тавтологически очевидным), мы должны посмотреть, как они ведут себя по отношению к указанному выше условию. Ясно, что ложность предложения S, о котором утверждалось, что оно истинно в некоторой данной теории, не может быть доказана в этой самой теории, по крайней мере почти во всех известных случаях. Другими словами, не только невозможно фальсфицировать «непосредственно истинное» предложение в теории, в которой оно является протокольным предложением, но столь же невозможно доказать, что некоторое теоретическое предложение в одно и то же время истинно и ложно в одной и той же (непротиворечивой) теории. Далее, трудно также теоретическому предложению быть фальсифицированным посредством неожиданного нового эмпирического предложения, несовместимого с ним. Мы допустим такую возможность, поскольку, в конце концов, ошибки в науке возможны, как и везде. Но в чем состоит научно значимый эффект утверждения, что некоторое теоретическое предложение ложно? Он состоит попросту в том, что противоречащее ему предложение истинно. Но это новое предложение, также теоретическое и несовместимое с S в рассматриваемой теории, по необходимости должно быть утверждаемым в некоторой другой теории.

Заметим, что мы рассматриваем случай, когда S объявляется ложным, а не просто, так сказать, «проблематичным». Например, представим себе, что S противоречит некоторое эмпирическое предложение Е; с этого момента суждение об S откладывается. Может случиться, что с помощью какой-то добавки, поправки или каких-то изменений более или менее ad hoc мы сможем устранить затруднение и сохранить S в теории. Может даже случиться, что мы оставим ситуацию в некоторого рода лимбе, надеясь избавиться от затруднения позднее. И только если мы найдем другую теорию, которая будет считаться более удовлетворительной, чем принятая ранее, мы действительно скажем, что S было признано ложным, и отвергнем его. Другими словами, мы не только утверждаем, что истинность, но и что ложность должны сопровождаться в науке основаниями; а их могут дать только теории. Заметим, что мы сейчас говорили об отвержении предложений, а не теорий, учитывая то, что мы говорили при обсуждении герменевтического измерения науки. Это значит, в частности, что отказ от одного теоретического предложения может повлечь за собой такую перестройку теории, которая оставит ее в рамках принятой «модели», или гештальта.

Мы можем столкнуться с трудностями в связи с нашим условием вечной истинности; действительно, пусть S имеет форму Ра; чтобы сказать, что Ра истинно в теории Т и ложно в теории Т⁰, нам надо знать, что Ра согласуется со своим референтом в теории Т и не согласуется со своим референтом в теории Т⁰. Но это бросает вызов вечной истинности S, только если мы можем показать, что S – та же самая пропозиция (а не только то же самое предложение!) в Т и Т⁰, и что референт предложения Ра – также тот же самый референт в обоих этих случаях. Именно это условие вряд ли выполняется во всех известных случаях. Как мы уже объясняли ранее, понятия, обозначаемые посредством Р и а, вряд ли те же самые в обеих теориях, а следовательно и значение S должно измениться. Это предполагает, что и предложение уже не то, и мы должны заключить, что некоторое новое предложение, так сказать, «похожее» на S, оказалось доказанно ложным в Т, оставив S (навечно) истинным в Т. Именно это утверждают сторонники «нагруженности теорией», поскольку для них (бесспорная) изменчивость значения полностью применима также и к референциальным понятиям. По причинам, уже подробно разъясненным, мы не можем подписаться под этим мнением и можем признать, что истинность сохранена в обеих теориях, только если сохраняется идентичность референтов и обе теории просто выражают некоторые взаимно дополнительные точки зрения на них (ситуация, в общем, неизвестная в прошлом, но навязанная квантовой физикой). Помимо этой возможности мы должны также принять во внимание возможность того, что референт уже не тот же самый, хотя и обозначается теми же словами.

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