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

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

(2) Принимая вызов построить лучшее определение понятия подтверждения, я должен сначала сказать, что не верю в возможность построить вполне удовлетворительное определение. Причина заключается в том, что теория, проверенная с большой изобретательностью и с искренним стремлением опровергнуть ее, будет иметь более высокую степень подтверждения, чем теория, проверенная кое-как. Но я не думаю, что можно вполне формализовать то, что мы понимаем под изобретательной и искренней проверкой⁸⁰. И построение адекватного определения степени подтверждения я не считаю важной задачей. (По моему мнению, если поиски лучшего определения имеют какое-либо значение, то только потому, что такое определение сделает еще более ясной неадекватность всех теорий вероятности, предлагаемых в качестве теорий индукции.) Достаточно адекватное, как я считаю, определение я предложил в другом месте⁸¹. Здесь я привожу несколько более простое определение (удовлетворяющее тем же самым условиям адекватности):

С(х, ;■)- Р(У>*)-Р(У)

р(у>х)-р(х.у)+р(у)

Здесь «С(х_у у)» означает «степень подтверждения х посредством «у», «р(х. у)» — относительная вероятность, «р(х)>> — абсолютная вероятность х. Данное определение можно реляти-визировать:

C(jc, у, z)- Р^.^)-р(у.г)

p(y,x.z)-p(x.y,z)+p(y₉z)

Здесь z представляет общие «основания знания» (прежние свидетельства, прежние и новые начальные условия), включа-

469

ющие в себя при необходимости признанные теории; у представляет новые результаты наблюдения, способные подтвердить (новую) объяснительную гипотезу х⁸².

Наряду с другими условиями адекватности⁸³, мое определение выполняет еще и то условие, что подтверждаемость некоторого высказывания — самая высокая возможная степень подтверждения — должна быть равна его содержанию (т.е. степени его проверяемости).

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

Мое определение само по себе не исключает ad hoc гипотез, однако его можно дополнить соответствующим правилом⁸⁴.

Этого достаточно для изложения моей собственной теории (которая далеко выходит за рамки того, что было сказано в «Логике открытия»). Возвратимся к выполнению нашей критической задачи: я считаю, моя теория доказывает, что ошибка заключена в верификационистском и индуктивистском подходе, от которого Карнап никогда не отказывался, несмотря на то что все-таки обратил внимание на мою критику. Но индуктивная логика невозможна. Я попытаюсь доказать это (следуя моей «Логике открытия») в последнем третьем пункте моей критики.

(3) Если для оправдания индукции нам нужен (вероятный) принцип индукции — такой, как принцип единообразия природы, — то нам требуется еще один такой принцип для оправдания первого принципа. В разделе «Предпосылки индукции»⁸⁵ Карнап вводит принцип единообразия. Он не упоминает об опасности регресса в бесконечность, однако его изложение показывает, что он имеет в виду: «Оппоненты, — пишет он (с. 181), — могли бы сказать, что утверждение вероятности единообразия должно рассматриваться как фактуальное утверждение... Мы отвечаем: ...это утверждение является аналитическим». Аргументы Карнапа меня не убедили, но поскольку он говорит, что «проблема оправдания

470

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

(б) Законы природы или научные теории, независимо от того, являются они каузальными или статистическими, представляют собой гипотезы о какой-то зависимости. Они утверждают, грубо говоря, что одни события (или описывающие их высказывания) в действительности не являются независимыми от других, хотя в чисто логическом отношении они независимы. Рассмотрим два совершенно не связанных между собой факта (скажем, «Чанки умный» и «Сэнди умная»), которые описываются высказываниями хи у. Кто-то может предположить, возможно, ошибочно, что между ними имеется связь (что Чанки находится в определенном отношении к Сэнди) и что информация или свидетельство у повышает вероятность*. Если он ошибается, т.е. если хи у независимы, то мы имеем:

(1) Р(х,У)=Р(х)