Сознание и вещи. Очерк феноменалистической онтологии.

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

Отвечая на эти вопросы, сторонники принципа верификации проводили различие между сильной и слабой верификацией[71]. Сильная верификация имеет место как раз тогда, когда утверждение может быть дедуцировано из конечного набора положений наблюдения. К примеру, мое утверждение, что в этой комнате кто-то что-то делает, сильно верифицируемо, так как оно может быть тривиальным следствием наблюдаемых фактов. И именно схема сильной верификации неприменима к общим тезисам. Что же касается слабой верификации, то она требует лишь того, чтобы верифицируемое утверждение вносило какие-то наглядные изменения в ожидаемый ход событий. С этой точки зрения принцип «каждое событие имеет причину» (и другие общие утверждения) оказывается в полной мере верифицируемым: без допущения этого принципа я не могу ожидать, что мне удастся находить устойчивые корреляты у событий, а с его допущением я ожидаю этого. Проблема, однако, в том, что, как утверждается, было показано, что слабый принцип верификации слаб до такой степени, что верифицируемой оказывается вообще любая пропозиция. Если так, то принцип верификации действительно не работает и не может иметь никакой ценности для аргументов.

Чтобы понять, насколько все это серьезно, рассмотрим только что упомянутое доказательство верифицируемости любой пропозиции. Оно было предложено еще И. Берлином и А. Черчем[72], а одна из его последних версий выдвинута Скоттом Сомсом, текстом которого[73] я чуть позже и воспользуюсь.

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