Но как только мы начинаем доказывать или то, что какая-либо отдельная индукция, которая к настоящему времени подтвердилась, будет или вероятно будет подтверждена в будущем, или то, что правила процедуры, дававшие до сих пор большую пропорцию индукций, которые к настоящему времени были подтверждены, способны давать большую пропорцию подтвержденных индукций в будущем, мы выходим за пределы теории конечной частоты, поскольку мы здесь имеем дело с классами, члены которых неизвестны. Математическая теория вероятности, как и вся чистая математика, хотя и дает знание, не даст (по крайней мере в одном весьма важном смысле) чего-либо нового; индукция же, напротив, определенно дает что-то новое, и сомнение касается только того, является ли то, что она дает, знанием.
Я пока не хочу исследовать индукцию критически, я хочу только выяснить, что она не может быть введена в сферу теории конечной частоты, даже если мы будем рассматривать отдельную индукцию как одну из класса индукций, поскольку проверенные индукции могут давать только индуктивное свидетельство в пользу еще не проверенной индукции. Если затем мы скажем, что принцип, оправдывающий индукцию, является "вероятным", то мы должны употреблять слово "вероятный" в ином смысле, чем оно употребляется в теории конечной частоты; этот смысл должен - как я сказал бы - быть тем, что мы называли "степенью правдоподобия".
Я склонен думать, что если признать индукцию или любой другой постулат, который мы решим поставить вместо нее, то все точные и измеримые вероятности могут быть интерпретированы как конечные частоты. Допустим, что я, например, говорю, что "имеется высокая степень вероятности, что Зороастр существовал". Чтобы обосновать это утверждение, я должен буду рассмотреть сначала, каковы относящиеся к этому вопросу свидетельства, а затем поискать подобные свидетельства, о которых известно, что они правдивы или неверны. Класс, от которого зависит вероятность, не является классом пророков существующих и несуществующих, ибо, включая несуществующих, мы делаем этот класс до некоторой степени неопределенным; не может этот класс быть также классом только существующих пророков, поскольку исходным вопросом как раз и является вопрос, принадлежит ли Зороастр к этому классу. Мы должны будем рассуждать следующим образом: в случае вопроса о Зороастре имеется свидетельство, принадлежащее к определенному классу А; мы находим что из всех свидетельств, которые принадлежат к этому классу и которые могут быть проверены, отношение p оказывается правдивым свидетельством; мы, следовательно, может сделать индуктивный вывод, что есть вероятность p в пользу подобных свидетельств в случае Зороастра. Таким образом, частота плюс индукция оказываются достаточными для этого использования вероятности.
Или допустим, что, подобно епископу Батлеру, мы говорим:
"Вероятно, что вселенная является результатом замысла Создателя" Здесь мы начинаем с таких вспомогательных аргументов, как аргумент, что создание часов предполагает часового мастера. Имеется множество образцов часов, о которых известно, что они сделаны часовыми мастерами, и нет ни одних часов, о которых было бы известно, что они сделаны не часовым мастером. В Китае существует вид мрамора, который иногда чисто случайно производит впечатление картины, созданной художником; я видел поразительные примеры этого.
Но это бывает так редко, что, когда мы видим картину, мы бываем правы (допуская индукцию), делая с очень высокой степенью вероятности вывод о создавшем ее художнике. Епископу-логику остается - как он и подчеркивает это заглавием своей книги - доказать эту аналогию. Это может считаться сомнительным делом, но, конечно, не может быть подведено под математическую вероятность.
Пока, следовательно, может казаться, что сомнительность и математическая вероятность - последняя в смысле конечной частоты - являются единственными понятиями, необходимыми в добавление к законам природы и правилам логики. Это заключение, однако, является только предварительным. Нельзя сказать ничего окончательного, пока мы не рассмотрим некоторые другие предложенные определения "вероятности".
ГЛАВА 4.
ТЕОРИЯ ЧАСТОТЫ МИЗЕСА-РЕЙХЕНБАХА.
Частотная интерпретация вероятности в форме, отличающейся от интерпретации, данной в предшествующей главе, была развита в двух имеющих большое значение книгах германских профессоров, которые жили тогда в Константинополе.
Труд Рейхенбаха является развитием труда Мизеса и в различных отношениях лучшей формулировкой той же самой теории. Я поэтому ограничусь рассмотрением теории Рейхенбаха.
Изложив аксиомы исчисления вероятности, Рейхенбах предлагает далее интерпретацию, которая, по-видимому, внушена статистическими корреляциями. Он исходит из допущения двух последовательностей (x1, х2, ... , xn...), (y1, y2, .... Уn...) и двух классов О и p. Некоторые или все х принадлежат к классу O; его интересует вопрос: как часто соответствующие у принадлежат к классу P?