И Айер утверждает, что всякое верифицируемое положение должно быть либо прямо, либо косвенно верифицируемо. Это позволяет отвести возражение Берлина. В самом деле, рассмотрим еще раз его аргумент. Пусть S — произвольное положение, О — положение наблюдения. Возьмем положение S → О. Из него одного нельзя заключить к О. Но к О можно заключить, соединяя его с S. Однако отсюда нельзя сделать вывод, что S — верифицируемое положение, так как мы знаем, что если S верифицируемо, то оно либо прямо, либо косвенно верифицируемо. Если оно прямо верифицируемо, то S → О должно быть положением наблюдения, а если оно косвенно верифицируемо, то S → О должно быть аналитическим, прямо или косвенно верифицируемым положением. Однако это не все варианты. Что если S → О не является аналитическим или верифицируемым положением? Тогда S нельзя будет признать ни прямо, ни косвенно верифицируемым. Аргумент Берлина, таким образом, предполагает аналитичность или верифицируемость произвольной конструкции S → О, т. е. (учитывая нелепость первого варианта, т. е. аналитичности произвольного положения) предполагает то, что требуется доказать. Поэтому его нельзя рассматривать как доказательство верифицируемости произвольного положения^[78], и принцип верификации сохраняет свою силу.

В рецензии на второе издание упомянутой книги Айера А. Черч, однако, показал, что даже при этих уточнениях любое положение должно оказываться верифицируемым. Айер после этого признал свое поражение^[79]. Как уже упоминалось, аргумент Черча был усовершенствован Сомсом, и теперь мы приступаем к его рассмотрению. Следуя Айеру, Соме называет «прямо верифицируемым» такое утверждение S, которое либо (а) является утверждением наблюдения, либо (b) «само по себе или с одним или множеством утверждений наблюдения Р, Q, R,... логически влечет утверждение наблюдения, которое не следует из одних лишь Р, Q, R,...». «Косвенно» же S верифицируемо, «если (a) S само по себе или в сочетании с другими посылками Р, Q, R,... логически влечет прямо верифицируемое утверждение D, которое не следует из одних лишь Р, Q, R,...; и (b) другие посылки Р, Q, R,... либо аналитичны, либо прямо верифицируемы, либо относительно них можно независимо показать, что они косвенно верифицируемы» (в этой дефиниции нет круга, так как последнее условие носит дополнительный характер).

Допустим теперь, что S — это произвольное утверждение, a R, нe-R и О — независимые утверждения наблюдения. Сочетание S с кондиционалом «если S или R, то О» влечет О. Этот кондиционал прямо верифицируем, «так как его сочетание с R влечет утверждение наблюдения О, которое не выводимо из одного лишь R». Соответственно, если утверждение наблюдения О не следует из одного лишь прямо верифицируемого кондиционала «если S или R, то О», а следует из него в сочетании с S, то S должно быть признано косвенно верифицируемым. Если же О следует из одного лишь кондиционала «если S или R, то О», то путем логических преобразований несложно убедиться, что оно следует из «не-S & не-Л», что, в свою очередь, означает, что не-S прямо верифицируемо, а из этого, как можно показать, вытекает, что его отрицание, а именно S, должно быть косвенно верифицируемо (положение О → D.V., где D.V. — произвольное прямо верифицируемое положение, а О — положение наблюдения, такое, что из О → D.V. не следует D.V., является косвенно верифицируемым: из него в сочетании с О следует прямо верифицируемое положение; далее мы отмечаем, что отрицание положения наблюдения есть положение наблюдения, и, исходя из сделанных допущений, получаем, что из эквивалентного О → D.V. косвенно верифицируемого положения не-D.V. → не-О, в сочетании с не-D.V., вытекает положение наблюдения не-О, т. е. прямо верифицируемое положение, что и означает, что положение не-D.V. является косвенно верифицируемым^[80]). Эти варианты исчерпывают все случаи. Итак, при данных критериях верифицируемости любое предложение оказывается верифицируемым^[81]. Отсюда Соме и заключает о крахе принципа верификации. Однако это не следует из его доказательства.

В самом деле, если мы присмотримся к приведенному доказательству, мы увидим, что из него вытекает лишь вывод о неэффективности понятия косвенной верифицируемости, характерной для абстрактных теоретических положений: оно показывает, что произвольное положение S может быть косвенно верифицируемым. Но это еще не повод полностью отбрасывать принцип верификации как таковой и понятие прямой верифицируемоести. И чтобы говорить о крахе принципа верификации, Соме и другие его критики должны были бы доказать, что произвольно взятое положение можно истолковать в качестве прямо верифицируемого. Но неясно, как сделать это.

Более того, можно попробовать показать, что доказательство того, что любое положение может быть прямо верифицируемым, в принципе невозможно. В самом деле, любое подобное доказательство должно предполагать следующие вещи: (1) произвольное S в сочетании с некими положениями наблюдения X должно имплицировать положение наблюдения О, и (2) упомянутые положения наблюдения X не должны делать этого. Чтобы вывод проходил для всех S, он должен игнорировать содержательную сторону S, т. е. быть формальным выводом. X при этом обязан иметь структуру S → О. Причем если мы должны показать, что S является прямо верифицируемым, то указанная дополнительная формула, т. е. S → О, с необходимостью должна быть истолкована как положение наблюдения (в противном случае S не будет соответствовать дефиниции прямо верифицируемого положения).

Задумаемся теперь, при каких условиях S → О может быть положением наблюдения. Оно может быть положением наблюдения, если наблюдаемым окажется отношение, выражаемое символом «→». Он указывает на корреляцию, а именно на то, что положение дел, констатируемое в S, вызывает положение дел, констатируемое в О, а отсутствие последнего предполагает отсутствие первого. Корреляции могут фиксироваться в наблюдении, так что в том, что подобное утверждение может быть положением наблюдения (или их совокупностью, что тоже допустимо), нет ничего удивительного. Однако корреляция, фиксируемая в наблюдении, — это всегда корреляция чего-то и чего-то, а именно корреляция одного наблюдаемого положения дел и другого наблюдаемого положения дел. Это означает, что S → О может быть положением наблюдения лишь в том случае, если не только О является положением наблюдения (по допущению), но и S также является положением наблюдения, а значит, прямо верифицируемым (по определению). Иными словами, любое доказательство прямой верифицируемости S должно исходить из его прямой верифицируемости, что указывает на очевидный круг в рассуждении. Значит, можно заключить к невозможности доказательства, что любое положение может быть прямо верифицируемым, что и требовалось показать.

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

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