Как мы знаем, что последовательные координации могут когда-либо быть достигнуты? Согласно Рейхенбаху, "этот вопрос... эквивалентен вопросу Канта: 'Как возможна естественная наука?' "190
«Возможно» предполагается не в психофизическом, но в логическом смысле: это относится к логическим условиям координации. Мы видели, ... что должны существовать некоторые условия для определения координации; эти условия – общие принципы типа направления, метрических отношений, и т.д. Мы можем поэтому сформулировать критический вопрос следующим способом: посредством каких принципов координация уравнений к физической действительности станет уникальной?
Прежде, чем мы ответим на этот вопрос, мы должны охарактеризовать эпистемологическую позицию принципов координации. Они эквивалентны синтетическим априорным суждениям Канта. 191
Возможность уникальной координации теории с действительностью, самое возможность существования истинных теорий здесь основана на некоторых принципах координации, которые действуют так же, как синтетические априорные предложения Канта. При этом подходе у априорных понятий нет свойства аподиктичности, но есть конститутивная функция. По сути, это означает такую характеристику принципов координации, в силу которой их существование гарантирует возможность эмпирического знания. Принципы координации производят необходимую координацию, конституируя предмет знания: определяя координацию, они определяют индивидуальные элементы действительности, и в этом смысле составляют реальный объект. Конституирование требуется потому, что реальность самостоятельно не дана в опыте; предметы эмпирического знания – не реальные, ноуменальные объекты, но феноменальные объекты, представленные в интуиции.
Логический эмпиризм показал различие между аналитическими координативными определениями и синтетическими эмпирическими предложениями, причем только первые являются конвенциональными, и как только они установлены в соответствии с конвенцией, истинность или ложность эмпирических предложений оказывается однозначно определена опытом эмпирического содержания, уникально связанного с каждым эмпирическим предложением.
Однако сама возможность различения между координативными определениями и эмпирическими предложениями не является внешней, т.к. поскольку такое различение требуется нам каждый раз, когда нам надо установить эмпирическую истинность теории, то его проведение является, вообще говоря, произвольным. Тем самым следует признать, в духе классического холизма Дюгема – Куайна, что только вся теория (полная совокупность составляющих теорию предложений) обладает эмпирическим содержанием, а не отдельные ее предложения. Тогда истинность любого предложения может быть пересмотрена в том случае, если теория не соответствует опыту. Следовательно, истинность любого предложения, а не только координативных определений, может быть рассмотрена как устанавливаемая по конвенции.
Таким образом, то, что с кантианской точки зрения является априорным, с холистической точки зрения предстает вопросом конвенции. Но при этом холистический ответ кантианской доктрине состоял бы в том, что, в то время как для оценки эмпирической релевантности теории действительно должно быть проведено различие между априорным и апостериорным, все же способ, которым проводится это различие, произволен. В отличие от кантианской позиции, определенное таким образом априорное предложение не имеет такого принципиального эпистемологического отличия, которое предохраняло бы его от возможности пересмотра его истинностного статуса в случае получения противоречащих опытных данных.
Такая контингентность отличается от контингентности, предложенной логическими эмпиристами. Последняя представляет собой произвольность в отношении выбора координативного определения, системы координат для измерения; это не распространяется на ту детерминацию эпистемологического статуса предложения, которая делает его координативным определением. Координативное определение, как следует уже из его названия, подразумеватся видом предложений, соотносящих теорию с опытом. Холистическая же контингентность есть произвольность в выборе того, какую часть теории считать априорной, а какую – апостериорной. Это с очевидностью отлично также от отождествления апостериорного и контингентного, к которому пришли Куайн в результате своей критики аналитико-синтетической дистинкции в «Двух догмах эмпиризма» и Крипке в результате своей критики априорности в «Значении и необходимости». Однако для того, чтобы увидеть это различие, оказалось полезным вернуться к ответу логических эмпиристов на кантианский вызов.
Холистическая апостериорность может быть прояснена через верификационные процедуры. Согласно верификационистским представлениям, познавательно ценные высказывания можно отличить от познавательно не ценных с помощью формализуемых критериев: первые, в отличие от вторых, могут быть соотнесены с опытом, и их истинность – проверена в результате такого соотнесения. Вторые же просто никак не связаны с опытом: они либо аналитичны, т.е. всегда истинны, либо не имеют истинностного значения. Такой подход имеет определенные эпистемологические обязательства: если значение предложения есть его истинностное значение, то, по крайней мере для познавательно значимых высказываний, знать их значение значит знать условия, при которых они могут быть проверены опытом – условия их верификации (или, в другой версии – фальсификации). Основные проблемы из тех, с которыми столкнулся верификационизм, связаны с предположением, что верификация – это процедура, которая может быть проделана в отношении предложения, взятого в отдельности: если это простое предложение, не содержащее кванторов общности или их аналогов, смотри, связано ли оно непосредственно с опытом, если общее предложение или сложное – смотри, разъединяется ли оно на составляющие, непосредственно связанные с опытом, логически релевантным способом. Такие взгляды получили название атомистических. В их основе эксплицируются два исходных допущения:
эмпирическое содержание предложения (из числа составляющих теорию) может быть установлено независимо от остального корпуса предложений теории, благодаря соотнесению такого выражения с самой реальностью;
значение предложений теории есть их истинностное значение и оно также может быть непосредственно верифицировано опытом – путем соотнесения с реальностью – или верифицировано поэтапно, через приведение предложений к правильной логической форме и путем их логического анализа.
Критика, предпринятая в философии науки Гемпелем и Гудменом, а затем продолженная Куном и его последователями, показала, в чем эти идеи несостоятельны. В результате на смену в качестве принятого представления пришли другие взгляды, названные, в противоположность, холистскими.
По аналогии с приведенным ранее различением эмпирического и верификационистского атомизма можно различать эмпирический и верификационистский холизм: первый представляет собой утверждение, что эмпирическое значение предложений теории зависит от всего корпуса предложений теории, второй – что только вся теория в целом, а не отдельные ее элементы, может поверяться опытом. К этому второму положению добавляется обычно вывод из отказа признавать какое-либо существенное деление на аналитические и синтетические истины – что пересмотру в результате соотнесения с опытом может подвергнуться истинностный статус любого предложения, сколь бы независящим от опыта он ни казался. Эмпирический холизм для предложений теории – для которых больше не действительно деление на аналитические и синтетические, а также на верифицируемые и неверифицируемые (остаются требования непротиворечивости, грамматической правильности и т.п.) – можно признать следующим из верификационистского холизма: если ни одно из предложений не связано с чем-то вне теории – с опытом – привилегированным образом само по себе, то связь каждого из них с опытом, т.е. их условия истинности и условия верификации, должна зависеть от внутренних характеристик всей теории как целого.