Бертран Рассел - Человеческое познание его сферы и границы

В науке мы выводим не только законы, но также и частные факты. Если мы читаем в газете, что король умер, мы делаем вывод, что он мертв; если оказывается, что мы должны совершить длинное путешествие по железной дороге без возможности поесть в дороге, то мы делаем вывод, что нам придется поголодать. Все такие выводы могут быть оправданы только в том случае, если есть возможность установить законы. Если бы не было общих законов, то знание каждого человека было бы ограничено только его личным опытом. Больше необходимости в том, чтобы законы существовали, чем в том, чтобы их знали. Если за А всегда следует В и если какое-либо животное, увидев А, ожидает В, то об этом животном можно сказать, что оно знает о наступлении B без знания общего закона. Но хотя некоторое знание о еще не воспринятых фактах и может быть получено таким путем, все-таки достигнуть многого без знания общих законов невозможно. Такие законы в общем устанавливают вероятность (в одном смысле) и сами только вероятны (в другом смысле). Например, вероятно (в одном смысле), что если вы больны раком, то вероятно (в другом смысле), что вы умрете. Это положение вещей делает очевидным, что мы не можем достигнуть понимания научного метода без предварительного исследования различных видов вероятности.

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

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

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

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

Есть одно очень простое понятие, которое удовлетворяет требованиям аксиом теории вероятности и которое по другим основаниям имеет преимущество перед другими. Если дан конечный класс В, имеющий n членов, и если известно, что количество m из них принадлежит к какому-то другому классу A, то мы говорим, что если выбрать наудачу какой-либо член класса В, то шанс, что он будет принадлежать к классу А, будет равен числу m /n. Вопрос о том, соответствует ли это определение тому употреблению, которое мы хотим сделать из математической теории вероятности, мы будем рассматривать позже; если оно не соответствует, мы должны будем поискать какую-либо другую интерпретацию математической вероятности.

Следует иметь в виду, что здесь не встает вопрос об истинности или ложности. Любое понятие, которое удовлетворяет требованиям аксиом, может рассматриваться как понятие, которое само есть математическая вероятность. Действительно, возможно, что в одном контексте может быть удобным принять одну интерпретацию, а в другом — другую, так как удобство является единственным руководящим мотивом. Такова обычная ситуация при интерпретации математической теории. Например, как мы видели, вся арифметика может быть выведена из пяти аксиом, перечисленных Пеано, и, следовательно, если все, чего мы хотим от чисел, есть только то, что они должны повиноваться правилам арифметики, то мы можем определить, как ряд натуральных чисел, любой ряд, удовлетворяющий пяти аксиомам Пеано. Однако эти аксиомы удовлетворяются любой прогрессией, и, в частности, рядом натуральных чисел, начинающимся не с 0, а со 100, 1000 или с любого другого конечного целого числа. Только в том случае, если мы хотим, чтобы наши числа служили для перечисления, а не только для арифметики, мы получаем основание для выбора ряда, начинающегося с 0. Точно так же обстоит дело и в математической теории вероятности, где избираемая интерпретация может зависеть от той цели, которую мы имеем в виду.