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

Едва ли могло быть иначе. Мы построили (до с. 570) подробную теорию подтверждения (в смысле вероятности 1). На с. 571 мы обнаруживаем, что для законов это подтверждение равно нулю. При этом мы сталкиваемся со следующими альтернативами: (i) либо мы признаем этот результат корректным и говорим, что степень рациональной веры в хорошо подкрепленный закон не может отличаться от нуля, от степени веры в опровергнутый закон и даже от степени веры в противоречивое предложение; (и) либо мы рассматриваем этот результат как опровержение нашего убеждения в том, что наша теория дает нам адекватное определение «степени подтверждения». Вряд ли можно считать приемлемой третью возможность, а именно, ad hoc введение новой меры для того, чтобы избежать этого неожиданного результата. Однако самое непростительное — это, не предупредив читателя, сделать важный шаг к отказу от метода «экспликации» (см. прим. 69 ниже), который использовался до сих пор: это может внушить ложное впечатление, будто была произведена лишь небольшая коррекция.

Если мы серьезно относимся к вероятности и подтверждению, то трудно было сделать более радикальное изменение. Функцию подтверждения, имеющую значение 0, мы заменили другой функцией, значение которой часто приближается к 1. Если мы столь свободно позволяем себе вводить новые меры, опираясь лишь на то соображение, что нулевая вероятность противоречит интуиции, а вероятность, близкая к 1, «более точно выражает то, что неопределенно подразумевают под на-

462

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

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

То, что даже столь минимальное требование не может быть выполнено, нетрудно показать с помощью примера самого Карнапа — закона «Все лебеди белы». Этот закон следует считать фальсифицированным, если наше свидетельство состоит из одного черного и, скажем, 1000 белых лебедей. Однако при таком свидетельстве подтверждение примера не будет равно 0, а будет близко к 1. (Точное отклонение от 1 зависит от выбора параметра Л, рассматриваемого ниже.) Вообще говоря, если теория в среднем фальсифицируется в каждом я-ом случае, то ее (ограниченное) «подтверждение» равно не 0, а приближается к 1 — 7_п, так что закон «При каждом подбрасывании монеты выпадает орел» обладает степенью подтверждения ¹/₂ вместо 0.

Рассматривая в «Логике открытия» теорию Рейхенбаха, приводящую к эквивалентным результатам⁷⁰, я назвал эти неожиданные следствия «разрушительными». По прошествии двадцати лет я продолжаю так считать.

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

463

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

В одном отношении Карнап идет даже дальше, чем Шлик. Последний считал, что без законов мы не могли бы делать предсказаний. Карнап же утверждает, что «законы не являются необходимыми для предсказаний»⁷². И продолжает: «Тем не менее целесообразно формулировать универсальные законы в книгах по физике, биологии, психологии и т.д. Хотя эти законы, сформулированные учеными, не обладают высокой степенью подтверждения, — пишет он (смазывая суть дела, ибо у них самая низкая степень подтверждения), — их частные случаи хорошо подтверждены...»