контингентность есть произвольность в выборе того, какую часть теории считать априорной, а какую – апостериорной. Это с очевидностью отлично также от отождествления апостериорного и контингентного, к которому пришли Куайн в результате своей критики аналитико-синтетической дистинкции в «Двух догмах эмпиризма» и Крипке в результате своей критики априорности в «Значении и необходимости». Однако для того, чтобы увидеть это различие, оказалось полезным вернуться к ответу логических эмпиристов на кантианский вызов.

Холистическая апостериорность может быть прояснена через верификационные процедуры. Согласно верификационистским представлениям, познавательно ценные высказывания можно отличить от познавательно не ценных с помощью формализуемых критериев: первые, в отличие от вторых, могут быть соотнесены с опытом, и их истинность – проверена в результате такого соотнесения. Вторые же просто никак не связаны с опытом: они либо аналитичны, т.е. всегда истинны, либо не имеют истинностного значения. Такой подход имеет определенные эпистемологические обязательства: если значение предложения есть его истинностное значение, то, по крайней мере для познавательно значимых высказываний, знать их значение значит знать условия, при которых они могут быть проверены опытом – условия их верификации (или, в другой версии – фальсификации). Основные проблемы из тех, с которыми столкнулся верификационизм, связаны с предположением, что верификация – это процедура, которая может быть проделана в отношении предложения, взятого в отдельности: если это простое предложение, не содержащее кванторов общности или их аналогов, смотри, связано ли оно непосредственно с опытом, если общее предложение или сложное – смотри, разъединяется ли оно на составляющие, непосредственно связанные с опытом, логически релевантным способом. Такие взгляды получили название атомистических. В их основе эксплицируются два исходных допущения:

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

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

Критика, предпринятая в философии науки Гемпелем и Гудменом, а затем продолженная Куном и его последователями, показала, в чем эти идеи несостоятельны. В результате на смену в качестве принятого представления пришли другие взгляды, названные, в противоположность, холистскими.

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

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

Этого, однако, может оказаться недостаточно для эмпирического холизма: иначе можно было бы сказать, что внутри частей теории влияние соответствующих изменений может распределяться таким образом, чтобы не затрагивать какие-то элементы. Тогда аргумент от изменений может выглядеть так: любые изменения в любой части теории, если имеют место, вызывают определенные изменения значений всех остальных элементов теории. Между тем, изменения могут быть разными и, по крайней мере, кажется весьма правдоподобным предположение, что изменения разных видов могут по разному влиять на разные элементы теории, в том числе и в отношении различия между непосредственным воздействием и опосредованным. Изменение представлений о выводе и его валидности, обусловливающих логическую структуру теории, могут повлечь за собой изменения эмпирического содержания предложений теории, но это влияние может не быть непосредственным. По крайней мере, такие изменения будут опосредованы изменениями на разных уровнях межконцептуальных связей, а стало быть, могут быть значительно разнесены во времени и даже в предметных областях: какая-то часть теории может меняться быстрее другой. Если под изменениями понимать изменения правил, то мы вполне можем представить себе изменение такого рода, затрагивающее не весь корпус правил, а лишь определенную его часть и, соответственно, во всяком случае, сказывающееся на той части теории, которая непосредственно управляется этими правилами, быстрее и значительнее, чем на остальных (а где-то на «другом конце» теории степень влияния этого изменения вполне может оказаться нулевой, если даже предполагать, что оно непременно должно и там сказаться).

Отдельную проблему для эмпирического холизма может представлять и неопределенность в отношении границ теории: где еще продолжается теория Т, а где – уже не она? Где границы той предметной области, к которой приложима данная теория? Такого рода соображения, вместе с идеей теории как структуры правил, обусловили третье направление в понимании зависимости эмпирического значения предложений теории от целого, частью которого они являются: оно получило название молекуляристского. Этот подход предполагает, что значение предложения определяется неким фрагментом теории, но не всей теорией в целом, например – определенной группой правил. Но, как мы видели, концепция правила сама нуждается в прояснении: в частности, может оказаться, что ответ на вопрос «Что значит знать определенное правило теории?» должен включать в себя холистское положение: «Знать определенное правило теории можно только, зная всю систему правил». В самом деле, если мы считаем, что эмпирическое значение предложений теории регулируется неким правилом R: «'Т' значит t тогда и только тогда, когда то-то и то-то» – то мы должны знать условия валидности, истинности и т.д. R, т.е. мы должны знать соответствующую другую группу правил (не говоря уже о правилах, регулирующих понимание всего того, что входит в состав «то-то и то-то» – кантовские принципы чистого понимания). Это возражение может сниматься либо

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

апелляцией к тому, что можно следовать правилу, не артикулируя его, т.е. не имея всей системы посылок, выводом из которых это правило кажется теоретикам (путь Витгенштейна или, скорее, «Крипкенштейна»).

В первом случае молекуляризм, вероятнее всего, попадает в зависимость от возможности распространения на данную теорию многоуровневой (по крайней мере, двухуровневой) модели структурирования (по принципу: метатеория – объектная теория); во втором случае само правило редуцируется к совокупности обыденного дотеоретического – т.е. собственно эмпирического – знания. Этот путь не снимает для молекуляризма заявленной проблемы, поскольку ставит определимость значения в зависимость, в конечном счете, не от определенной группы правил, а от условий установления определенной конвенции – условий удовлетворительности соответствующих обобщений.

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