Отвечая на эти вопросы, сторонники принципа верификации проводили различие между сильной и слабой верификацией[71]. Сильная верификация имеет место как раз тогда, когда утверждение может быть дедуцировано из конечного набора положений наблюдения. К примеру, мое утверждение, что в этой комнате кто-то что-то делает, сильно верифицируемо, так как оно может быть тривиальным следствием наблюдаемых фактов. И именно схема сильной верификации неприменима к общим тезисам. Что же касается слабой верификации, то она требует лишь того, чтобы верифицируемое утверждение вносило какие-то наглядные изменения в ожидаемый ход событий. С этой точки зрения принцип «каждое событие имеет причину» (и другие общие утверждения) оказывается в полной мере верифицируемым: без допущения этого принципа я не могу ожидать, что мне удастся находить устойчивые корреляты у событий, а с его допущением я ожидаю этого. Проблема, однако, в том, что, как утверждается, было показано, что слабый принцип верификации слаб до такой степени, что верифицируемой оказывается вообще любая пропозиция. Если так, то принцип верификации действительно не работает и не может иметь никакой ценности для аргументов.
Чтобы понять, насколько все это серьезно, рассмотрим только что упомянутое доказательство верифицируемости любой пропозиции. Оно было предложено еще И. Берлином и А. Черчем[72], а одна из его последних версий выдвинута Скоттом Сомсом, текстом которого[73] я чуть позже и воспользуюсь.
Доказательство Сомса довольно сложно, но начиналось все с простых соображений. Идея слабой верифицируемости была четко сформулирована Алфредом Айером в книге «Язык, истина и логика» (1936). Пропозиция слабо верифицируема, когда из нее «в сочетании с другими посылками могут быть дедуцируемы некоторые опытные пропозиции [положения наблюдения], без того, чтобы их можно было дедуцировать из одних этих посылок»[74]. И. Берлин, однако, заметил, что если О — положение наблюдения, то, каким бы ни было положение S, О следует из конъюнкции S и S О, не следуя из одного лишь положения S → О[75]. Айер, впрочем, нашел, как ответить на это возражение. Он провел различие между прямо и косвенно верифицируемыми положениями. Положение прямо верифицируемо, «либо если оно само по себе является положением наблюдения, или же таково, что в сочетании с одним или несколькими положениями наблюдения оно влечет по меньшей мере одно положение наблюдения, которое не может быть дедуцировано из одних лишь этих других посылок»[76]. Положение косвенно верифицируемо, «во-первых, если в сочетании с рядом других посылок оно влечет по крайней мере одно прямо верифицируемое положение, которое не может быть дедуцировано только из этих других посылок; и, во-вторых, если эти другие посылки не содержат каких-либо положений, не являющихся аналитическими, прямо верифицируемыми или такими, относительно которых можно независимо установить, что они являются косвенно верифицируемыми»[77].
И Айер утверждает, что всякое верифицируемое положение должно быть либо прямо, либо косвенно верифицируемо. Это позволяет отвести возражение Берлина. В самом деле, рассмотрим еще раз его аргумент. Пусть S — произвольное положение, О — положение наблюдения. Возьмем положение S → О. Из него одного нельзя заключить к О. Но к О можно заключить, соединяя его с S. Однако отсюда нельзя сделать вывод, что S — верифицируемое положение, так как мы знаем, что если S верифицируемо, то оно либо прямо, либо косвенно верифицируемо. Если оно прямо верифицируемо, то S → О должно быть положением наблюдения, а если оно косвенно верифицируемо, то S → О должно быть аналитическим, прямо или косвенно верифицируемым положением. Однако это не все варианты. Что если S → О не является аналитическим или верифицируемым положением? Тогда S нельзя будет признать ни прямо, ни косвенно верифицируемым. Аргумент Берлина, таким образом, предполагает аналитичность или верифицируемость произвольной конструкции S → О, т. е. (учитывая нелепость первого варианта, т. е. аналитичности произвольного положения) предполагает то, что требуется доказать. Поэтому его нельзя рассматривать как доказательство верифицируемости произвольного положения[78], и принцип верификации сохраняет свою силу.
73