Объективное знание. Эволюционный подход

где есть сложение дедуктивных системпо Тарскому: если обе аксиоматизируемы, А + Dесть содержание конъюнкции а.Ь.

Таким образом, сравнимость будет достаточно редкой в этой частично упорядоченной системе. Однако есть способ показать, что эта частично упорядоченная система может быть «в принципе» — то есть без противоречия — линейно упорядочена. Этим способом является применение формальной теории вероятностей. (Я утверждаю здесь только ее применимость к аксиоматизируемым системам, но не исключено, что ее можно расширить и на неаксиоматизируемые системы; см. также главу 9).

Мы можем написать 'p(x, Y)' или

P(X,Y)

(читается как «вероятность хпри условии Y »)и применить формальную систему аксиом для относительной вероятности, которую я изложил в других местах (например, в моей L. Sc. D., Новые приложения *iv и *v [52] ) . В результате p(x,Y)будет числом от 0 до 1 — обычно мы не имеем представления о том, каким именно числом — и мы можем утверждать в самом общем виде, что

52

Я использовал мерусодержания впервые в 1954 году (ср. L. Sc. D., р. 400), а меры истинностного и ложностного содержания и т.д. — в C.&R. (р. 385). (Добавлено в 1978 г.). Нам может понадобиться также «тонкая структура» содержания (см. L. Sc. D., Новое приложение *vii).

р(а, В)и р(c, D) в принципе совместимы.

И хотя мы обычно не имеем в нашем распоряжении достаточной информации для решения вопроса о том, имеет ли место

р(а, В) р(с, D)или p(а, В) p(с, D),

мы можем утверждать, что по крайней мере одно из этих отношений должно иметь место.

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

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

сt(а),

или (абсолютное) содержание а, а также относительные меры

ct(a, b)и ct(a, В),

то есть относительное содержание апри условии, соответственно, b или В.(Если Ваксиоматизируемо, то мы, конечно, сразу же получаем ct(a,b) = ct(a,В).)Эти «меры (measures)* ctможно задать с помощью исчисления вероятностей, то есть с помощью определения

сt(а, В)= 1 - р(а, В).

Теперь в нашем распоряжении есть средства для определения (мер) истинностного содержания ct _T(a)и ложностного содержания ct _F(a):

ct _T(a) = ct(A _T),

где A _T, как и раньше, есть пересечение Аи системы, в смысле Тарского, всех истинных высказываний; и

ct _F(a) = ct(a, A _T))

то есть ложностное содержание (его мера) есть относительное содержание (его мера) апри данном А _T— истинностном содержании а. Другими словами, это есть степень, в которой авыходит за пределытех высказываний, которые (а) следуют из а и (b) истинны.

8. Замечания о правдоподобности

С помощью сформулированных в предшествующем разделе идей мы можем теперь четче разъяснить то, что мы интуитивно понимаем под правдоподобностью (verisimilitude).Говоря интуитивно, теория Т ₁менее правдоподобна, чем теория Т ₂,если и только если (а) их истинностные содержания и их ложностные содержания (или их меры) сравнимы, и либо (b) истинностное содержание, но не ложностное содержание, у Т ₁ меньше, чем соответствующее содержание либо (с) истинностное содержание Т ₁ не больше, чем истинностное содержание Т ₂, но ложностное содержание у нее больше. Короче, мы говорим, что T ₂ближе к истине, или больше похожа на истину, чем Т ₁ , если и только если из нее следует больше истинных высказываний, но не больше ложных высказываний, или по крайней мере столько же истинных высказываний, но меньше ложных.

В общем виде мы можем сказать, что только конкурирующиетеории — такие как теории гравитации Ньютона и Эйнштейна — интуитивно сравнимы с точки зрения их (неизмеренного) содержания. Вместе с тем существуют и конкурирующие теории, не сравнимые друг с другом.

Интуитивную сравнимость содержания теорий Ньютона (N)и Эйнштейна (Е)можно установить следующим образом [53] : (а) на каждый вопрос, на который дает ответ теория Ньютона, теория Эйнштейна дает ответ, по крайней мере столь же точный; это значит, что содержание (его мера), в несколько более широком, чем у Тарского, смысле [54] , теории Nменьше или равно содержанию теории Е;(Ь) есть вопросы, на которые теория Эйнштейна Едает (нетавтологический) ответ, в то время как теория Ньютона Nне дает на него ответа; это значит, что содержание Nопределенно меньше, чем содержание Е.

53

Я обсуждал этот пример вкратце в примечании 7 к заметке, впервые опубликованной как Popper К. R.// The British Journal for the Philosophy of Science (B.J. P. S.). Vol. 5, 1954. Pp. 143 ff, а затем в моей книге L, Sc. D., 2-е изд., 1968, Новое приложение ix, см. p. 401. Я продолжал с тех пор работать над ним — см., например, мою статью в сборнике в честь Герберта ФеЙгля: Popper К. R.A Theorem on Truth-Content // Mind, Matter and Method: Essays in Philosophy of Science in honour of Herbert Feigl. Ed. by Feyerabend P.and Maxwell G.1966. Pp. 343-353. В этой статье я показал, что если (неизмеренные) содержания двух дедуктивных теорий хи усравнимы, то их истинностные содержания также сравнимы, и будут больше или меньше друг друга в соответствии с тем, больше или меньше их содержания. Как показал Дэвид Миллер, доказательство этой теоремы можно существенно упростить. Важно никогда не забывать следующего: хотя функции мерысодержания, истинностного содержания и ложностного содержания в принципесравнимы (поскольку в принципе сравнимы соответствующие вероятности), мы в общем случае не имеем средств для их сравнения, кроме как путем сравнения неизмеренных содержаний конкурирующих теорий, быть может чисто интуитивного. (Добавление 1974 г.: Теперь показано, что ложностное содержание также возрастает вместе с содержанием — см. четыре дискуссионные заметки Павла Тихи, Джона Г. Хэрриса и Дэвида Миллера в "The British Journal for the Philosophy of Science". Vol.25, 1974. Pp. 155-188).

54

Введенное Тарским понятие (неизмеренного) класса следствий, или содержания, позволяет нам сравнивать содержание теорий, если и только если одна из них следует из другой. Сформулированное здесь обобщение позволяет сравнивать содержания (или меры содержания) теорий, если одна из теорий может ответить на все вопросы, на которые может ответить другая, и по крайней мере с такой же точностью.

Итак, мы можем интуитивно сравнить содержания этих двух теорий и увидеть, что теория Эйнштейна имеет большее содержание. (Можно показать, что этот интуитивный результат подтверждается мерами содержания ct(N)и ct(E)).Это значит, что теория Эйнштейна потенциально,или виртуально,лучше, поскольку даже до всякой проверки мы можем сказать: если она верна, то ее объяснительная сила больше. Более того, это обстоятельство бросает нам вызов — предпринять более разнообразные проверки этой теории. Таким образом, оно предлагает нам новые возможности больше узнать о фактах: без вызова, брошенного нам теорией Эйнштейна, мы никогда бы не измерили (с необходимой высокой точностью) видимое расстояние между звездами, окружающими Солнце, во время затмения или красное смещение света, испускаемого белыми карликами.

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

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

Это утверждение образует логическую основу метода науки — метода смелых предположений и попыток их опровержения. Теория тем более дерзка, чем больше ее содержание. Такая теория также является и более рискованной: начнем с того, что она с большей вероятностью может оказаться ложной. Мы пытаемся найти ее слабые места, опровергнуть ее. Если нам не удастся опровергнуть ее или если найденные нами опровержения окажутся в то же время опровержениями и более слабой теории, которая была предшественницей более сильной [55] , тогда у нас есть основания заподозрить или предположить, что более сильная теория имеет не больше ложностного содержания, нежели ее более слабая предшественница, и, следовательно, что она имеет большую степень правдоподобности.

55

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