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

Такова же и точка зрения Карнапа. Его новым критерием демаркации, как мы видели, является подтверждаемость, и в этих двух книгах Карнап разъясняет, что методы подтверждения предложений тождественны индуктивным методам. Поэтому можно сделать вывод о том, что теперь критерием демаркации становится подтверждаемость посредством индуктивных методов. Другими словами, языковое выражение относится к эмпирической науке только тогда, когда имеется логическая возможность подтвердить его с помощью индуктивных методов или индуктивного свидетельства.

Как я уже сказал в разделе 2, этот критерий демаркации не удовлетворяет моим требованиям: он не исключает никаких псевдопредложений (например, астрологии). На это, без сомнения, можно было бы ответить, что данный критерий и не предназначался для того, чтобы исключать мои «псевдопредложения», ибо они являются просто ложными или опровергнутыми [disconfirmed] предложениями в отличие от метафизических неподтверждаемых [non-confirmable] предложений. Такой ответ меня не удовлетворяет (поскольку я считаю, что у меня есть критерий, который исключает астрологию, например, и доказал свою чрезвычайную плодотворность при рассмотрении множества проблем), однако, как и прежде, я готов ограничиться доказательством того, что этот критерий приводит к ошибочной демаркации.

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

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

460

мире, неотличима от 1. Кроме того, для него можно вообразить даже экспериментальное подтверждение⁶⁶. Но в моем смысле оно непроверяемо: нельзя вообразить себе способ его опровержения. И вследствие своей неопровержимости оно, согласно моему критерию демаркации, попадает в класс метафизических предложений. С другой стороны, высокая степень подтверждаемое™ в смысле Карнапа делает его гораздо более научным, чем любой научный закон.

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

Перед лицом того факта, что в соответствии с его определением «степени подтверждения» законы природы оказываются лишенными подтверждения, Карнап выбирает два пути: (а) он вводит ad hoc новое понятие, называемое (ограниченным⁶⁸) «подтверждением примера закона L», которое определяется таким образом, что иногда вместо нуля мы можем получить степень подтверждения, близкую к 1; (б) он разъясняет, что законы природы на самом деле в науке не нужны и можно обойтись без них. (Верификационизм считал законы бессмысленными. Конфирмационизм делает их излишними — вот и вся выгода, которую приносит ослабление верификационного критерия.)

Теперь я несколько подробнее рассмотрю (а) и (б).

(а) Карнап понимает, конечно, что нулевое подтверждение всех законов противоречит интуиции. Поэтому он пред-

461

лагает измерять интуитивную «надежность» закона с помощью степени подтверждения некоторого примера этого закона (см. прим. 68 выше). Однако он нигде не упоминает о том, что эта новая мера, введенная на с. 572 «Оснований вероятности», не удовлетворяет практически ни одному критерию адекватности и ни одной теореме, перечисленным на предшествующих страницах. Однако это так, и поэтому «подтверждение примера» закона L свидетельством е просто не является вероятностной функцией от L и е («регулярной с-функцией от L и е).