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