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

Допустим теперь, что 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 → О может быть положением наблюдения лишь в том случае, если не только О является положением наблюдения (по допущению), но и