.
И Айер утверждает, что всякое верифицируемое положение должно быть либо прямо, либо косвенно верифицируемо. Это позволяет отвести возражение Берлина. В самом деле, рассмотрим еще раз его аргумент. Пусть 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, то О» влечет