Этот кондиционал прямо верифицируем, «так как его сочетание с
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 должно имплицировать положение наблюдения О,