Часть 15.

Б. Правдоподобие и частота

Я намереваюсь сейчас обсудить вопрос: при каких обстоятельствах правдоподобие предложения o выводится из частоты fx при данном некотором fx? Другими словами, если "fa" есть предложение "a есть x", то при таких обстоятельствах правдоподобие предложения "альфа есть бета" выводится из одного или более предложений формы: члены а, являющиеся членами p, составляют отношение m/n".

Этот вопрос, как мы увидим, не совсем такой общий; как тот, который мы должны поставить, но желательно обсудить его первым.

Обыденному здравому смыслу, по-видимому, ясно, что в типичных случаях математической вероятности она равна степени правдоподобия. Если я вытаскиваю наудачу карту из колоды, то степень правдоподобия предложения "карта будет красная" будет в точности равна степени правдоподобия предложения "карта будет не красная", и, следовательно, степень правдоподобия каждого предложения равна 1/3, если 1 представляет собой достоверность. В отношении игральной кости степень правдоподобия предложения "выпадет 1" совершенно та же, что и предложения "выпадет 2", или 3, или 4, или 5, или 6. Отсюда все выведенные частоты математической теории могут быть интерпретированы как выведенные степени правдоподобия.

В этом переводе математических вероятностей в степени правдоподобия мы пользуемся принципом, в котором математическая теория не нуждается. Математическая теория просто считает случаи; а при переводе мы должны знать или допускать, что каждый случай равно правдоподобен. Необходимость в этом принципе признавалась с давних пор; он был назван принципом недостаточного основания, или (Кейнсом) принципом индифферентности. Мы рассмотрели этот принцип в связи с теорией Кейнса, а теперь мы должны рассмотреть этот принцип сам по себе. Но перед обсуждением его я хочу отметить, что он не нужен в математической теории вероятности. В этой теории нам нужно знать только численность различных классов. Этот принцип требуется только тогда, когда математическая вероятность рассматривается как мера правдоподобия.

То, в чем мы нуждаемся, есть нечто вроде следующего:

"Если дан объект а, отношении которого мы хотим знать, какую степень правдоподобия приписать предложению "a есть p", и если дано, что единственно относящееся к делу знание, которое мы имеем, есть "а есть а", тогда степень правдоподобия предложения "a есть p" будет представлять собой математическую вероятность, измеряемую отношением числа членов, общих для альфа, и бета, к числу членов альфа.

Иллюстрируем это еще раз примером с самым высоким человеком в Соединенных Штатах и шансом, что он живет в штате Айова. Здесь, во-первых, мы имеет описание d, приложимое к одному и только одному человеку из числа названных людей А1, А2, ... an, где n есть число жителей Соединенных Штатов. Это значит, что одно и только одно из предложений "d= Аr" (где r обозначает любого жителя от 1 до n) известно как истинное, но мы не знаем, какое именно. Если это действительно есть все наше относящееся к делу знание, то мы предполагаем, что любое из предложений "d=Ar' столь же правдоподобно, как и любое другое. В этом случае каждое имеет правдоподобие 1/n. Если в штате Айова имеется m жителей, то предложение "d живет в штате Айова" эквивалентно дизъюнкции m предложений "d= Аr" и, следовательно, имеет m раз правдоподобие любого из них, поскольку они взаимно исключают друг друга. Следовательно, оно имеет степень правдоподобия, измеряемую дробью m/n,

Конечно, в вышеприведенной иллюстрации предложения "d = Ar" не все одного уровня. Свидетельство позволяет нам исключить детей, людей низкого роста и, возможно, женщин. Это показывает, что применение этого принципа связано с затруднениями, но это не значит, что он ложен.

Случай с вытаскиванием карты из колоды ближе подходит к осуществлению условий, требуемых принципом. Здесь описание "d" есть "карта, которую я собираюсь вытащить". Все 52 карты имеют то, что мы можем рассматривать как названия: "двойка пик" и так далее Мы имеем, таким образом, 52 предложения "d = Аr", из которых одно и только одно истинно, но мы не имеем никаких данных, которые склоняли бы нас в пользу одного, а не какого-либо другого. Следовательно, правдоподобие каждого равно 1/52. Если мы это признаем, то это связывает правдоподобие с математической вероятностью.

Мы можем, следовательно, сформулировать как возможную форму "принципа индифферентности" следующую аксиому:

"Если дано описание d, относительно которого мы знаем, что оно применимо к одному и только одному из объектов а1, a2, ... an, и если дано, что мы не имеем знания относительно того, к какому из этих объектов приложимо это описание, тогда n предложений "d=ar" (1 меньше или равно r меньше или равно n) все равно правдоподобны и, следовательно, каждое имеет правдоподобие, измеряемое дробью 1/n".

Эта аксиома является более ограниченной, чем принцип недостаточного основания, как он обычно формулируется. Мы должны исследовать, будет ли она достаточной, а также имеем ли мы основание верить ей.

Сначала сравним вышеизложенное с принципом индифферентности Кейнса, рассмотренным нами в предшествующей главе. Вспомним, что этот принцип гласит: вероятности p и q в отношении данного свидетельства равны, если (1) свидетельство симметрично по отношению к p и q, (2) p и q "неделимы", то есть ни одно из них не является дизъюнкцией предложений той же самой формы, что и оно само. Мы решили, что это можно упростить: мы говорили, что нужно, чтобы p и q были бы значениями одной пропозициональной функции, скажем p = f(a) и q = f(b), чтобы "fx" не содержало ни a, ни b, и что, если свидетельство содержит упоминание a, скажем, в форме f(a), то оно должно также содержать y(b) и, наоборот, где yx в свою очередь не должно упоминать a или b. Этот принцип является до некоторой степени более общим, чем сформулированный в предшествующем абзаце: он имплицирует последний, но я сомневаюсь, имплицирует ли последний его. Мы, возможно, можем принять более общий принцип и переформулировать его следующим образом:

"Если даны две пропозициональные функции fx и yx, ни одна из которых не упоминает о или b, или если и упоминает их, то упоминает симметрично, тогда, при данных ya и yb, два предложения fa и fb имеют равное правдоподобие".

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

Попробуем применить вышеупомянутый принцип к случаю с числом n шаров в сумке, где известно, что каждый шар или белый, или черный; стоит вопрос: какова вероятность, что в сумке содержится х белых шаров? Лаплас допускал, что каждое значение x от 0 до A равно вероятно, так что вероятность данного х есть 1/(n + 1). С чисто математической точки зрения это правильно, если только мы начинаем с пропозициональной функции: х = число белых шаров. Но если мы начинаем с пропозициональной функции: х есть белый шар, то мы получим совсем другой результат. В этом случае имеется много способов получения х шаров. Первый шар может быть получен n способами; когда он получен, следующий может быть получен n - 1 способами и так далее Таким образом, число способов получения х шаров есть

Это есть число способов, которыми может быть получено х белых шаров. Чтобы получить вероятность числа х белых шаров, мы должны разделить это число на сумму чисел способов получения 0 белых шаров, или 1, или 2, или 3, или ... или n. Легко показать, что сумма равна 2". Следовательно, шанс получить ровно х белых шаров достигается в результате деления вышеупомянутого числа на 2". Назовем его "p (A, r) ".

Этот шанс имеет максимум, когда х = 1/2n, если n четное число, или когда х = 1/2n ± 1/2, если n есть нечетное число. Его значение, когда х или n-х мало, очень мало, если n - большое. С чисто математической точки зрения эти два очень различных результата одинаково правильны. Но когда мы подходим к измерению степеней правдоподобия, между ними обнаруживается большая разница Допустим, что у нас независимо от цвета есть какой-либо способ, с помощью которого мы можем различать шары; например, пусть они последовательно вынимаются из сумки и назовем первый вынутый d1, второй вынутый d2; и так далее Обозначим через "a " "белые", через "b" "черные" и поставим 'fa" вместо "белый цвет есть цвет a", "fb" вместо 'черный цвет есть цвет а1". Данные говорят, что верно или fa или fb, но не оба. Это симметрично, и, следовательно, на основании свидетельства данных fa и fb имеют одинаковое правдоподобие, то есть "d1 - белый" и "d1 - черный" имеют одинаковое правдоподобие. Это же самое рассуждение применимо к d2, d3, ..., dn. Таким образом, для каждого шара степени правдоподобия белого и черного равны. И, следовательно, как показывает простое вычисление, степень правдоподобия х белых шаров есть p (n, r), где предполагается, что х лежит между 0 и n, включая и их самих.

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

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

Каждое математическое исчисление вероятности начинает с какого-либо основоположного класса, вроде определенного числа бросаний монеты, определенного числа бросаний игральных костей, колоды карт, совокупности шаров в сумке. Каждый член этого основоположного класса считается за единицу. Из него вывели другие логически производные классы, например класс n последовательностей 100 бросаний монеты. Из этих n последовательностей мы можем выделить подкласс бросаний, состоящий из 50 выпадений монеты лицевой стороной и 50 - упавших оборотной стороной. Или, взяв колоду карт, мы можем образовать класс возможных "игроков", то есть наборов из 13 карт, и далее исследовать, какие из них содержат 11 карт одной масти. Дело в том, что частоты исчисляются, всегда применяются к классам, имеющим какую-то структуру, определяемую логически по отношению к основоположному классу, тогда как основоположный класс в целях разрешения проблемы рассматривается как состоящий из членов, не имеющих логической структуры, то есть их логическая структура не относится к делу.

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

все, что нам нужно сказать, это то, что для данной цели каждый член класса должен рассматриваться как единица. Но когда мы хотим определить степени правдоподобия, необходимо, чтобы наш основной класс состоял из предложений, которые все одинаково правдоподобны в отношении свидетельства в их пользу. "Неделимость" Кейнса имеет целью обеспечить это. Я предпочел бы сказать, что члены основоположного класса должны иметь "относительную простоту", то есть они не должны иметь структуры, определяемой в терминах исходных данных. Возьмем, например, белые и черные шары в сумке. Каждый шар в действительности имеет невероятно сложную структуру, поскольку он состоит из миллиардов молекул: но это не имеет никакого отношения к нашей проблеме. С другой стороны, совокупность m шаров, выбранных из основоположного класса n шаров, имеет логическую структуру по отношению к основоположному классу. Если каждый член основоположного класса имеет название, то каждый подкласс, состоящий из m членов, может быть определен. Все исчисления вероятности имеют дело с классами, которые могут быть определены в терминах основоположного класса. Но сам основоположный класс должен состоять из членов, которые не могут быть логически определены в терминах исходных данных. Я думаю, что когда это условие выполняется, то принцип индифферентности всегда удовлетворяется.

В этом пункте, однако, нужна осторожность. Имеются два пути, когда предложение "а есть а" может стать вероятным или (1) потому, что достоверно, что a принадлежит к классу, большинство членов которого суть а, или (2) потому, что вероятно, что а принадлежит к классу, все члены которого суть а. Например, мы можем сказать: "Г-н А, вероятно, смертен",- если мы уверены, что большинство людей смертны, или если мы имеем основание считать вероятным, что все люди смертны. Когда мы бросаем игральные кости, мы можем сказать:

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

Большинство А есть В

Это есть А

Следовательно, это, вероятно, есть В.

Во втором случае:

Вероятно, все А суть В

Это есть А

Следовательно, это, вероятно, есть В.

Второй случай, однако, труднее свести к частоте. Исследуем, возможно ли это.

В некоторых случаях это явно возможно. Например, большинство слов английского языка не содержит буквы z. Следовательно, если возьмем наудачу какое-либо слово, то вероятно, что ни одна из его букв не будет г. Таким образом, если А - класс букв в данном слове, а В - класс букв, кроме буквы z, то мы получим случай нашего второго псевдосиллогизма. Слово, конечно, должно быть определено каким-либо способом, который пока оставляет нас в неведении относительно того, какое это слово; например, слово должно быть определено как 8000-е слово в "Гамлете" или как третье слово на 248-й странице "Concise Oxford Dictionary. При том, что вы, допустим, в настоящее время не знаете, что представляют собой эти слова, вы поступите разумно, если будете утверждать, что они не содержат буквы z.

Во всех случаях нашего второго псевдосиллогизма ясно, что то, что я назвал "основоположным классом", дается как класс классов, и, следовательно, его логическая структура имеет большое значение. Обобщим приведенный выше пример: пусть К будет классом классов, таким, что большинство его членов полностью содержится в некотором классе бета; тогда из предложений "x есть альфа" и "альфа есть k" мы можем заключить, что "х, вероятно, есть бета". (В приведенном выше примере k есть класс слов, альфа - класс букв в определенном слове и бета - алфавит без буквы z). Странно то, что, обозначая через сумма членов k" класс членов членов k, наши посылки оказываются недостаточными для того, чтобы доказать, что какой-либо член суммы k, вероятно, есть член класса p. Например, пусть k состоит из трех слов Strength, Quail, Muck - вместе со всеми словами, не содержащими ни одной буквы, содержащейся в любом из этих трех слов. Тогда сумма k состоит из всех букв алфавита, возможно, за исключением z. Должно ли z включаться в алфавит, это зависит от того, считается ли "Zoo" (сокращенное "зоопарк") словом. Но предложение "k есть а и а есть k" делает вероятным, что х не является одной из букв, содержащихся в вышеприведенных трех словах, тогда как предложение "х есть член суммы х" не делает это вероятным. Это иллюстрирует те сложности, которые возникают, когда основоположный класс имеет относящуюся к вероятностям структуру. Но в случаях, вроде вышеприведенных, все же можно измерить правдоподобие с помощью частоты, хотя и менее простым способом.

Имеется, однако, другой и более важный класс случаев, который мы не можем адекватно обсудить иначе, как только в связи с индукцией. Это случаи, где мы имеем индуктивное свидетельство, делающее вероятным, что все А суть В, и где мы выводим, что отдельное А, вероятно, есть В; например, вероятно, все люди смертны (не смешивать с предложением "все люди, вероятно, смертны"), следовательно, Сократ, вероятно, смертен. Это псевдосиллогизм нашего второго вида. Но если слово "вероятно" в предложении "вероятно, все люди смертны" и может быть сведено к частоте, то, конечно, совсем не просто. Я поэтому оставляю обсуждение этого класса случаев до более поздней стадии исследования.

Имеются, как мы увидим, различные примеры степеней правдоподобия, не выводимые из частот. К обсуждению этих случаев я и перехожу.

В. Правдоподобие данных.

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

Я определяю "данное" как предложение, которое само по себе имеет некоторую степень разумного правдоподобия, независимо от какого-либо доказательства, полученного из других предложений. Ясно, что заключение доказательства не может получить из доказательства более высокую степень правдоподобия, чем та, которой обладают посылки; следовательно, если существует такая вещь, как рациональная вера, то должны быть рациональные верования, не полностью, основанные на доказательстве. Из этого не следует, что имеются верования, никаким своим правдоподобием не обязанные доказательству, так как предложение может обладать присущим ему правдоподобием и быть также заключением из других предложений, обладающих присущим им правдоподобием. Но из этого не следует, что каждое предложение, рационально правдоподобное в какой бы то ни было степени, должно быть таким или (а) исключительно само по себе, или (б) исключительно как заключение из посылок, рационально правдоподобных сами по себе, или (в) потому, что оно имеет некоторую степень правдоподобия само по себе, а также вытекает с помощью доказательного или вероятного вывода из посылок, которые имеют некоторую степень правдоподобия сами по себе. Если все предложения, имеющие любую степень правдоподобия, сами по себе являются достоверными, то случай (в) не имеет значения, поскольку никакое доказательство не может сделать такие предложения более достоверными. Но с той точки зрения, которую защищаю я, случай (в) имеет наибольшее значение.

Традиционный взгляд принят Кейнсом и изложен им в его "Трактате о вероятности" ("Treatise on Probability", p. 16). Он говорит:

"Для того чтобы мы могли иметь рациональную веру в p, обладающего не достоверностью, а только той или иной степенью вероятности, необходимо, чтобы мы знали ряд предложений h, а также знали какое-либо вторичное предложение q, утверждающее отношение вероятности между p и h".

"В приведенном выше разъяснении одна возможность была исключена. Предполагается, что мы не можем иметь рациональной веры в p, обладающего меньшей степенью правдоподобия по сравнению с достоверностью, не иначе как с помощью знания вторичного предложения предписанного типа. Это значит, что такая вера может возникнуть только с помощью восприятия какого-либо отношения вероятности... Всякое знание, получаемое строго непосредственным путем через созерцание объектов познания и без всякой примеси доказательства и созерцания логического влияния на него какого-либо другого знания, соответствует определенной рациональной вере, а не только вероятной степени рациональной веры".

Я намерен оспаривать этот взгляд. С этой целью я рассмотрю: 1) слабое восприятие, 2) недостоверное воспоминание, 3) смутное сознание логической связи.

1. Слабое восприятие. Рассмотрим следующие хорошо знакомые переживания, а) Вы слышите улетающий аэроплан;

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

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

2. Недостоверное воспоминание. В "Буре" (1-й акт, 2-я сцена) Просперо спрашивает Миранду: "Ну, что еще ты видишь в темноте и в глубине времен, давно минувших?" Она говорит: "Мне помнится, что я всегда имела вокруг себя не менее пяти прислужниц",- и Просперо подтверждает ее неясное воспоминание. Шекспир, Буря, перев. Н. Сатина, изд. Брокгауз-Ефрон. Все мы имеем подобные воспоминания, в отношении которых не чувствуем себя уверенными. Обыкновенно, если это заслуживает внимания, мы можем узнать из другого источника, являются ли наши воспоминания правдивыми или нет, но это не относится к выдвинутому нами тезису, который утверждает, что воспоминания сами по себе имеют определенную степень правдоподобия, хотя эта степень правдоподобия и может быть очень далекой от полной достоверности. Воспоминание, которое имеет очень высокую степень правдоподобия, добавляет свою долю к нашим основаниям веры в какое-либо прошедшее событие, в пользу которого мы имеем другое свидетельство. Но здесь необходимо различать. Недостоверно вспоминаемое прошедшее событие обладает частичным правдоподобием; но когда я привожу воспоминание в качестве основания для веры, я больше не трактую прошедшее событие как данное, ибо не оно, а это настоящее воспоминание является моим данным. Мое воспоминание придает некое правдоподобие тому, что вспоминается; какое именно правдоподобие, мы более или менее можем утверждать индуктивно с помощью статистического исследования частоты ошибок памяти. Но это отличается от прошедшего события, рассматриваемого как данное.

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

3. Смутное сознание логической связи. Всякий человек, математические способности которого не являются почти сверхчеловеческими, должен был, если он изучал математику, испытывать ощущение, что он едва ли способен "видеть" определенную ступень в ходе доказательства. Процесс прослеживания доказательства облегчается, если мы его разбиваем на очень небольшие ступени, но какими бы небольшими мы их ни делали, некоторые из них могут оставаться трудными для прослеживания, если содержание рассуждения очень сложно. Ясно, что если мы сделаем ступени настолько небольшими, насколько это возможно, то каждая ступень должна стать данным, ибо иначе всякая попытка доказательства предполагала бы бесконечный регресс. Возьмем, скажем, силлогизм модуса Barbara. Я говорю: "Все люди смертны",- и вы с этим соглашаетесь. Я говорю далее: "Сократ человек",- и вы снова соглашаетесь. Тогда я говорю: "Следовательно, Сократ смертен",- и вы говорите: "Я не вижу, из чего это следует". Что я могу сделать в этом случае? Я могу сказать: "Разве вы не видите, что если f(x) всегда истинно, то f(a) истинно? И разве вы не видите, что, следовательно, если f(x) всегда имплицирует f(x), тогда f (Сократ) имплицирует y (Сократ)? И разве вы не видите, что я могу поставить "x есть человек" вместо 'fx: "и "x смертен" вместо yxc? И разве вы не видите, что это доказывает мое утверждение?" Ученик, который не мог бы следить за этим рассуждением и не мог бы следить за первоначальным силлогизмом, был бы психологическим монстром. И даже, если бы нашелся такой ученик, он все же должен был бы "видеть" ступени моего нового доказательства.

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

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

Допущение недостоверности данных усложняет процесс оценки рационального правдоподобия предложения. Предположим, что определенное предложение p само по себе имеет степень правдоподобия x как данное; и предположим, что имеется также связь h между предложениями, имеющими внутренне присущее им правдоподобие у, из которого на основании доказательства, имеющего правдоподобие z, следует что p имеет степень правдоподобия w. Каково тогда общее правдоподобие p? Возможно, мы могли бы сказать, что он равно х + yzw. Но h также наверняка имеет как выводимое, так и внутренне присущее правдоподобие, и это будет повышать правдоподобие х. Действительно, усложнения скоро становятся трудно поддающимися анализу. Это ведет к некоторому сближению с теорией Гегеля и Дьюи.

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

Г. Степени субъективной достоверности

Субъективная достоверность - это психологическое понятие, тогда как правдоподобие, по крайней мере отчасти, является логическим. Вопрос о том, имеется ли какая-либо связь между ними, есть лишь в другой форме поставленный вопрос о том, знаем ли мы что-нибудь. Он не может обсуждаться на основе полного скептицизма; если мы не собираемся что-то утверждать, никакое доказательство невозможно.

Прежде всего различим три вида достоверности.

1. Пропозициональная функция достоверна в отношении другой функции, когда класс членов, удовлетворяющих второй функции, есть часть класса членов удовлетворяющих первой функции. Например, "x есть животное" достоверно по отношению к "х есть разумное животное". Это значение достоверности относится к математической вероятности. Мы будет называть этот вид достоверности "логической" достоверностью.

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

3. Человек уверен в предложении, когда он не чувствует никакого сомнения в его истинности. Это чисто психологическое понятие, и мы будем называть его "психологической" достоверностью.

Не испытывая субъективной достоверности, человек все же может быть более или менее убежденным в чем-нибудь. Мы чувствуем уверенность в том, что солнце завтра взойдет и что Наполеон существовал; мы менее уверены в истинности квантовой теории и в существовании Зороастра; еще меньше уверены в том, что Эддингтон получил точное число электронов или что при осаде Трои был царь по имени Агамемнон. В отношении этих предметов имеется почти общее согласие, но существуют другие предметы, в отношении которых несогласие является правилом. Некоторые люди не сомневаются, что Черчилль хороший человек, а Сталин - плохой, другие же думают наоборот; некоторые были вполне уверены, что Бог был на стороне союзников, а другие думали, что он был на стороне немцев. Субъективная достоверность, следовательно, не является гарантией истинности или даже высокой степени правдоподобности.

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

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

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

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

Д. Вероятность и поведение/

Положение епископа Балтера, что вероятность есть руководитель жизни, очень хорошо известно. Рассмотрим вкратце, что оно значит, насколько оно истинно и что связано с верой, что оно имеет ту степень истинности, которой она, по-видимому, обладает.

Большинство этических теорий относится к одному из двух видов. Согласно первому виду, хорошее поведение - это такое поведение, которое повинуется определенным правилам;

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

Первый тип теории представлен Кантом и десятью заповедями ветхого Завета. Правда, десять заповедей не являются чистым примером этого типа теории, поскольку для некоторых повелении приводятся основания. Вы не должны поклоняться кумирам, потому что Бог ревнив; вы должны почитать ваших родителей, потому что это уменьшает шансы вашей смерти. Легко, конечно, найти основания против убийства и воровства, но этих оснований не дается в десяти заповедях. Если даются основания, то должны быть и исключения из них, и обыденный здравый смысл в общем признает их, хотя в тексте они не даются.

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

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

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

Есть и другое соображение: связанные с этим исчисления часто бывают трудными и в высшей степени трудными, когда приносящие счастье свойства двух возможных действий почти одинаковы; в таком случае выбор не имеет особого значения. Следовательно, как правило, не имеет особого смысла тщательно определять, какое действие произведет наивысшее удовольствие. Это служит основанием в пользу правил действия даже в том случае, если наша высшая этика отвергает их: они могут быть верными в огромном большинстве случаев и экономят наши заботы и время, связанные с оценкой вероятных следствий. Но сами правила действия должны быть тщательно проверены с точки зрения их способности приносить счастье, и, где речь идет о действительно важных решениях, может быть необходимо помнить, что правила не являются абсолютными. Денежная реформа обычно связана с чем-то вроде воровства, а война предполагает убийство. Государственный деятель, который должен решить вопрос о реформе денег или об объявлении войны, должен исходить из правил и самым лучшим образом оценить вероятные последствия. Только в этом смысле вероятность может быть руководителем жизни, и то только в определенных обстоятельствах.

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

ГЛАВА 7.

ВЕРОЯТНОСТЬ И ИНДУКЦИЯ.

А. Постановка проблемы.

Проблема индукции сложна, имеет различные аспекты и ответвления. Я начну с постановки проблемы индукции через простое перечисление.

1. Основным вопросом, которому подчинены другие, является следующий вопрос: если дано, что какие-то случаи класса а оказались принадлежавшими к классу p, то делает ли это вероятным а), что следующий случай a будет p, или б), что все а будут p?

2. Если каждая из этих вероятностей нее является истинной универсально, то существуют ли такие ограничения альфа и (бета, которые делают эти вероятности истинными?

3. Если каждая вероятность истинна с соответствующими ограничениями, то является ли она при таком ограничении законом логики или законом природы?

4. Получается ли она из какого-либо другого принципа, вроде естественных видов, или принципа ограничения многообразия Кейнса, или господства закона, или принципа единообразия природы, или какого-либо другого принципа?

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

6. Какова минимальная форма индуктивного постулата, который будет, если он истинен, делать правильными принятые научные выводы?

7. Имеется ли какое-либо основание - и если имеется, то какое - считать этот минимальный постулат истинным? Если же такого основания нет, то имеется ли тем не менее основание действовать так, как если бы оно было истинным?

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

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

как ее сформулировал Юм.

Б. Индукция через простое перечисление.

Индукция через простое перечисление представляет собой следующий принцип: "Если дано некоторое число n случаев а, которые оказались p, и если при этом не оказалось ни одного а, которое не было бы p, тогда два утверждения: (а) "следующее а будет p" и (б) "все а суть p" - оба имеют вероятность, которая повышается по мере увеличения n и стремится к достоверности как к пределу, по мере того как n стремится к бесконечности".

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

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

1. Если индукция должна служить целям, которым, как мы думаем, она служит в науке, то "вероятность" должна быть так интерпретирована, что утверждение вероятности утверждает факт; это требует, чтобы связанный с этим род вероятности был выводным из истинности и ложности, в не был бы неопределимым, а это в свою очередь делает конечно-частотную интерпретацию более или менее неизбежной.

2. Индукция, по-видимому, недействительна в применении к ряду натуральных чисел.

3. Индукция недействительна в качестве логического принципа.

4. Индукция требует, чтобы случаи, на которых ока основывается, были даны в виде последовательности, а не только в виде класса.

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

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

Я теперь перехожу к доказательству этих предложений.

1. Если "вероятность" берется как неопределимая, то мы должны допустить, что невероятное может произойти и что, следовательно, предложение вероятности ничего не говорит нам о ходе вещей в природе. Если принять этот взгляд, то индуктивный принцип может быть правильным, но всякий вывод, сделанный в соответствии с ним, может все же оказаться ложным; это невероятно, но не невозможно. Следовательно, мир, в котором индукция оказывается истинной, эмпирически не отличим от мира, в котором она оказывается ложной. Из этого следует, что никогда не может быть какого-либо свидетельства в пользу или против этого принципа и что он не может помочь нам сделать вывод о том, что произойдет. Если этот принцип должен служить своей цели, то мы должны интерпретировать слово "вероятный" как обозначающее "то, что обычно действительно происходит"; это значит, что мы должны интерпретировать вероятность как частоту.

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

5, 15, 35, 45, 65, 95

7, 17, 37, 47, 67, 97

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

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

В качестве поразительного примера недостаточности индукции в арифметике возьмем следующее: пусть Пи(х) = числу простых чисел больше или равно х

Известно, что когда х - велико, Пи(х) и li(х) почти равны. Также известно, что для каждого известного простого числа

Пи (х) < li(x) .

Гаусс предположил, что это неравенство имеет место всегда. Это было проверено для всех простых числе до 107 и для очень многих сверх этого, и не было обнаружено ни одного частного случая ложности этого предположения. Тем не менее Литлвуд доказал в 1912 году, что имеется бесконечное число простых чисел, для которых это предположение оказывается ложным, а Скьюз (Skewes)' доказал, что оно ложно для некоторых чисел меньших чем

34

10

10

10

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

Даже не вдаваясь так глубоко в теорию чисел, легко сконструировать ложные индукции в арифметике в любом нужном количестве. Например, ни одно число, меньшее чем n, не делится на n. Мы можем сделать n как угодно большим, и таким образом, получить сколько угодно свидетельств в пользу обобщения: 'Ни одно число не делится на n".

Ясно, что любые n целых чисел должны обладать многими общими свойствами, которыми большинство целых чисел не обладает. Для начала, если m есть наибольшее из них, то все они обладают бесконечно редким свойством быть не большими чем m. Следовательно, ни общая, ни частная индукции не действенны в применении к целым числам, если свойство, к которому индукция должна быть применена, не является как-либо ограниченным. Я не знаю, как сформулировать такое ограничение, и все же любой хороший математик в отношении свойства, по видимости допускающего действенную индукцию, будет иметь чувство, аналогичное обыденному здравому смыслу. Если вы заметили, что 1 + 3 = 22, 1 + 3 + 5 = З2, 1 + + 3 + 5 + 7 = 42, то вы будете склонны предположить, что

1 + 3 + 5 + ... + (2n - 1) = N2 ,

и легко может быть доказано, что это предположение правильно. Подобным же образом, если вы заметили, что 13 + 23 = З2, 13 + 23 + З3 = б2, 13 + 23 + З3 + 43 = 102, то вы можете предположить, что сумма первых я кубов всегда равна какому-либо числу в квадрате, и это опять-таки легко доказать. Математическая интуиция никоим образом не является безошибочной в отношении таких индукций, но у хороших математиков она, по-видимому, чаще бывает правильной, чем ошибочной. Я не знаю, как ясно выразить то, что руководит математической интуицией в таких случаях, А пока мы можем только сказать, что никакое известное ограничение не сделает индукцию действенной в применении к натуральным числам.

3. Индукция не действенна в качестве логического принципа. Ясно, что если мы можем выбрать наш класс бета по желанию, то мы легко можем убедиться, что наша индукция будет ошибочной. Пусть а1, а2, ..., an" будет до сего времени наблюденными членами класса а, все члены которого оказались членами класса p, и пусть an+1) будет следующим членом класса альфа. Поскольку дело касается чистой логики, класс бета может состоять только из членов а1, а2, ..., an" или может состоять из всего, что есть во вселенной, кроме an+1; или может состоять из любого класса, промежуточного для этих двух. В любом из этих случаев индукция в отношении an+1) будет ложной.

Ясно (как может сказать возражающий), что класс бета не должен быть тем, что можно было бы назвать "искусственным" классом, то есть классом, частично определяемым через объем. В случаях определенного рода, наблюдаемых в индуктивном выводе, p всегда является классом, который известен по содержанию, а не по объему, кроме случаев, касающихся наблюденных членов а1, a2, ..., an и таких других членов класса p, но не членов класса альфа, которые могли наблюдаться.

Очень легко построить явно недейственные индукции. Деревенский житель мог бы сказать: весь скот, который я когда-либо видел находится в Херефордшире; следовательно, вероятно, весь скот находится в этой части страны. Или мы могли бы утверждать: ни один человек, живущий сейчас, не умер, следовательно, вероятно, все люди, живущие сейчас, бессмертны. Ошибки в таких индукциях очень заметны, но они не были бы ошибками, если бы индукция была чисто логическим принципом.

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

4. В эмпирическом материале явления идут во временном порядке и, следовательно, всегда составляют последовательность. Когда мы решаем вопрос, применима ли индукция в арифметике, мы, естественно, думаем о числах как расположенных в порядке величины. Но если бы мы могли расположить их произвольно, мы могли бы получить странные результаты; например, как мы видели, мы можем доказать, что бесконечно невероятным является то, что число, выбранное наудачу, не будет простым.

Для формулировки частной индукции существенно, чтобы был следующий случай, который требует упорядочения в последовательности.

Если должно быть какое-то оправдание для общей индукции, то необходимо чтобы первые n членов класса а оказались членами класса p, а не просто чтобы а и p имели бы n членов общих. Это опять-таки требует расположения в последовательности.

5. Если допустить, что для признания индуктивного вывода действенным необходимо, чтобы между классами а и p было какое-то отношение или какая-либо характеристика одного из них, в силу которых он является действенным, то ясно, что это отношение должно быть между содержаниями, например между "человеческим" и "смертным" или между "жвачным" и "имеющим раздвоенные копыта". Мы стараемся вывести объемные отношения, но мы первоначально не знаем объемов а и p, когда имеем дело с эмпирически данными классами, новые члены которых становятся известными время от времени. Каждый признает предложение "Собаки лают" хорошим индуктивным выводом, мы ожидаем соответствия между видимым образом животного и шумом, который оно издает. Это ожидание является, конечно, результатом другой, более широкой индукции, но это сейчас меня не касается. Меня касается соответствие между определенной внешней формой и определенным шумом, притом, что и то и другое являются содержаниями, и тот факт, что некоторые содержания кажутся нам более подходящими для индуктивного соотнесения, чем некоторые другие.

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

Теперь обратимся в общему принципу, помня, что мы должны поискать какое-либо ограничение, которое сделает его возможно действенным. Возьмем сначала частную индукцию. Эта индукция говорит, что если сделанный наудачу набор n членов класса альфа состоит полностью из членов класса p, то вероятно, что следующий член класса а будет p, то есть что большинство оставшихся альфа будет бета. Нужно, чтобы само это положение было только вероятным. Мы можем предположить, что а есть конечный класс, содержащий, скажем, N членов. Мы знаем, что из них по крайней мере n суть члены класса p. Если все число членов а, являющихся членами p, есть m, то все число способов получения n членов есть N! /(n ! (N - n)!), а все число способов получения n членов, которые суть альфа, есть m!/(n! (m - n)!), "м обозначает произведение всех целых чисел от 1 до N. Следовательно, шанс набора, состоящего целиком из а, есть

Если Pm есть априорная вероятность того, что m есть число членов, общих для а и p, тогда вероятность после того, как произведен опыт, есть

Назовем ее qm . Если число членов, общих для а и р, есть m, тогда после изъятия n членов а, которые суть р, остается m- n членов бета и N-п членов не-бета. Следовательно, из предположения, что а и р имеют m общих членов, мы получаем вероятность qm (m - n)/(N-n) других бета. Следовательно, общая вероятность есть

Значение этого полностью зависит от Pm, для оценки которых нет действенного способа. Если мы вместе с Лапласом допустим, что каждое значение m равно вероятно, то мы получим результат Лапласа, что шанс, что следующее а будет р, есть (n +1)/(n +2). Если мы допустим, что априори каждое а одинаково вероятно будет р и не будет р, то мы получим значение 1/2. Даже при предположении Лапласа общая индукция имеет вероятность только (n +1)/(/V+1), которая бывает обычно небольшим.

Нам нужно, следовательно, какое-либо предположение, которое делает pm, большим, когда m почти равно N. А всякий шанс этого предположения на то, чтобы быть действенным, должен зависеть от природы классов а и (3.

В. Математическая трактовка индукции.

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

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

Имеется n+1 сумок, сходных друг с другом по внешнему виду, каждая из которых содержит n шаров. В первой - все шары черные; во второй - один белый и все остальные черные; r +1-й сумке r шаров белые и остальные черные. Из этих сумок выбирается одна, состав которой неизвестен, и из нее вынимается m шаров. Все они оказываются белыми. Какова вероятность, (а) что следующий вынутый шар будет белым, (б) что мы выбрали сумку, состоящую из одних белых шаров?

Ответ таков: (а) шанс, что следующий шар будет белым, равен (n +1)/(m +2), (б) шанс, что мы выбрали сумку, в которой все шары белые, равен (m +1)/(n +1). Этот правильный результат имеет непосредственную интерпретацию на основе конечно-частотной теории. Но Лаплас делает вывод, что если m членов А оказались членами В, то шанс, что следующий А будет равен В, равен (m+1)/(m +2), и что шанс, что все А суть В, равен (m +1)/(n +1). Он получает этот результат с помощью допущения, что при данном числе n объектов, о которых мы не знаем ничего, вероятности, что 0, 1, 2, ..., n из этих объектов суть B, все равны. Это, конечно, является абсурдным допущением. Если мы заменим его несколько менее абсурдным допущением, что каждый из этих объектов имеет равный шанс быть или не быть В, то шанс, что следующий А будет В, остается равным 1/2, как бы много А ни оказались B.

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

Кейнс в своей книге "Трактат о вероятности" сделал наилучшее, что только может быть сделано для индукции на чисто математической основе, и решил, что она неадекватна. Его результат следующий.

Пусть g будет обобщение, х1, x2; ... - наблюденные случаи, благоприятные для обобщения, и h - общие обстоятельства, поскольку они относятся к делу.

Допустим

и так далее

Пусть

Таким образом, Pn есть вероятность общей индукции после n благоприятных случаев. Напишем д вместо отрицания д и P0 вместо g/h, то есть априорной вероятности обобщения. Тогда

По мере того как n увеличивается, эта дробь стремится к 1 как пределу, если

стремится к нулю как пределу; а это случится, если имеются конечные количества e и j такие, что для всех достаточно больших r

Рассмотрим эти два условия. Первое говорит, что имеется количество 1 - е, меньшее, чем 1, такое, что если обобщение ложно, то вероятность того, что следующий случай будет благоприятным, после определенного числа благоприятных случаев будет всегда меньше, чем это количество. Рассмотрим в качестве примера его ошибочности обобщение "все числа суть непростые". По мере того как мы движемся по ряду чисел, простые числа становятся более редкими, и шанс, что следующее число после г непростых будет само непростое, возрастает и стремится к достоверности как пределу, если г удерживается постоянным. Это условие, следовательно, может оказаться недостаточным.

Но второе условие, что д должно еще до начала индукции иметь вероятность, большую, чем какая-либо конечная вероятность, гораздо труднее. В общем трудно найти какой-либо способ оценки этой вероятности. Какова была бы вероятность предложения "Все лебеди белые" для человека, который никогда не видел лебедя или ничего не слышал о цвете лебедей? Такие вопросы и темны и неопределенны, и Кейнс признает, что они делают его результат неудовлетворительным. Я вернусь к этому вопросу в главе II части шестой. Имеется одно простое предположение, которое способно дать ту конечную вероятность, которой хочет Кейнс. Предположим, что число вещей во вселенной конечно, скажем N. Пусть бета будет классом, состоящим из n вещей, и пусть а будет произвольным набором m вещей. Тогда число возможных альфа будет

а число тех, которые содержатся в ,бета, будет

Следовательно, шанс, что все а суть р, равен

что является конечным. Это значит, что каждое обобщение, в отношении которого мы не имеем свидетельства, имеет конечный шанс быть истинным.