Предположения и опровержения. Рост научного знания

Это эквивалентно следующему выражению:

(2) Р(х.У)=рШу),

которое представляет собой обычное определение независимости.

Если же предположение о взаимосвязи событий верно, то мы получаем:

(3) Р(х,у)>р(х)_у

т.е. информация у увеличивает вероятность х по сравнению с его «абсолютным» или «исходным» значением р(х).

Как и большинство эмпириков, я полагаю, что любое предположение о взаимозависимости или коооеляиии событий лол-

471

жно быть сформулировано в качестве особой гипотезы или отдельного закона природы («Сообразительность передается по наследству»). Затем формулировка гипотезы уточняется, для того чтобы сделать ее максимально проверяемой, и гипотеза подвергается строгим эмпирическим проверкам.

Карнап придерживается другого мнения. Он считает, что мы (в качестве вероятного) принимаем некий принцип, согласно которому свидетельство «Сэнди умная» увеличивает вероятность высказывания «А умный» для любого А — будет ли «А» именем кошки, собаки, яблока, теннисного мяча или церковного храма. Это — следствие предлагаемого им определения «степени подтверждения». Согласно этому определению, любые два предложения с одним и тем же предикатом («умный» или «усталый») и разными субъектами находятся в отношении взаимной зависимости, какими бы ни были их субъекты. В этом заключается реальное содержание его принципа единообразия.

Я далеко не уверен в том, осознает ли сам Карнап эти следствия своей теории, так как он нигде не упоминает о них. Но он вводит некий универсальный параметр X, и оказывается, что X + 1 представляет собой величину, обратную по отношению к «коэффициенту логической корреляции»⁸⁶ любых двух предложений с разными субъектами и одним и тем же предикатом⁸⁷. (Бесконечность X соответствует допущению о независимости.)

По мнению Карнапа, когда мы выбираем наше определение функции вероятности 1, мы должны выбрать конечное значение X. Таким образом, выбор X и вместе с тем выбор степени корреляции между любыми двумя предложениями с одним и тем же предикатом отчасти оказывается «решением» или «конвенцией» — выбором определения вероятности. Поэтому создается впечатление, будто на выбор X не влияет никакое утверждение о мире. Однако в действительности выбор X эквивалентен предельно широкому признанию зависимости. Он эквивалентен признанию такого количества законов природы, сколько существует предикатов, и каждый такой закон утвер-

472

ждает зависимость любых двух событий, которым приписывается один и тот же предикат. Поскольку такое допущение о мире вводится в виде определения, т.е. непроверяемо, постольку, как мне представляется, в нем содержится элемент априоризма.

Можно, по-видимому, возразить, что здесь нет априоризма, поскольку упоминаемые зависимости являются следствиями определения (вероятности или степени подтверждения), которое опирается на соглашение или «решение» и, следовательно, является аналитическим. Однако Карнап приводит два основания своего выбора функции подтверждения, которые не согласуются с такой точкой зрения. Первое состоит в том, что его функция подтверждения, как он говорит, является единственной (среди всех предлагаемых), «которая не является полностью неадекватной»⁸⁸ для объяснения (или «экспликации») того несомненного факта, что мы можем учиться на опыте. Но ведь этот факт является эмпирическим, поэтому теория, адекватность которой оценивается с точки зрения ее способности объяснить этот факт или согласоваться с ним, вовсе не будет аналитической. Интересно, что аргумент Карнапа в пользу его выбора X (который я подозреваю в априоризме) совершенно аналогичен аргументам Канта, Рассела или Джеффриса. Апелляцию к тому факту, что мы обладаем эмпирическим знанием, т.е. можем учиться на опыте, Кант называл «трансцендентальным» аргументом («Как возможно познание?»). Второе основание Карнапа заключается в том, что выбор подходящей X (которая не равна нулю и не является бесконечной, ибо бесконечная X эквивалентна независимости) будет более выгодным почти для всех миров (за исключением двух крайних случаев, когда все индивиды либо независимы, либо обладают похожими свойствами). Все это, как мне представляется, сводится к тому, что выбор X, т.е. функции подтверждения, зависит от его успешности или от вероятности его успешности в мире. Но в таком случае этот выбор не является аналитическим, несмотря на то что он включает в себя также «решение» относительно определения. Можно объяснить, как такое

473