традиционной метафизике имеется много примеров этого.
Если — как я полагаю и как я буду доказывать, когда это понадобиться, данные так же, как и результата вывода, лишаются самой высокой степени правдоподобия, какая только может быть достигнута, тогда эпистемологическое отношение между данными и выводными предложениями становится до некоторой степени сложным. Я могу, например, думать; что я что-то вспоминаю, но нахожу основание верить, что то, что мне показалось воспоминанием, никогда не происходило; в этом случае доказательство может заставить меня отбросить данное. И наоборот, когда данное само по себе имеет не очень высокую степень правдоподобия, оно может быть подтверждено внешним свидетельством; например, я могу иметь лишь слабое воспоминание об обеде с г-ном имярек, который имел место когда-то в прошлом году, и могу обнаружить, что мой дневник за прошедший год содержит запись, подтверждающую мое воспоминание. Из этого следует, что каждое из моих верований может быть усилено или ослаблено приведением его в отношение с другими верованиями.
Отношение между данными и выводами сохраняет, однако, большое значение, поскольку основание для веры непременно должно обнаруживаться после достаточного анализа в данных и только в данных. (Я здесь включаю в число данных и принципы, используемые во всяких выводах, какие могут встретиться.) Из этого следует, что данные, относящиеся к какой-либо отдельной вере, могут быть гораздо более многочисленными, чем это кажется с первого взгляда. Возьмем опять случай с воспоминанием. Тот факт, что я вспоминаю какое-либо происшествие, является свидетельством, хотя и не решающим, того, что происшествие имело место. Если я нахожу современную происшествию запись о нем, то это — подтверждающее свидетельство. Если я нахожу много таких записей, то подтверждающее свидетельство усиливается. Если происшествие является таким, которое, подобно прохождению Венеры перед солнечным диском, делается почти достоверным хорошо установленной научной теорией, то этот факт должен быть прибавлен к записям как добавочное основание уверенности. Таким образом, в то время, как имеются верования, которые являются только заключениями доказательств, отсутствуют такие, которые в рациональной разработке знания являлись бы только посылками. Говоря это, я выражаюсь в терминах эпистемологии, а не логики.
Таким образом, эпистемологическая предпосылка может быть определена как предложение, которое имеет какую-то степень рационального правдоподобия благодаря самой себе, независимо от ее отношений к другим предложениям. Каждое такое предложение может быть использовано для сообщения некоторой степени правдоподобия предложениям, которые или следуют из него, или находятся к нему в отношении вероятности. Но на каждой стадии происходит некоторое уменьшение первоначального запаса правдоподобия; это аналогично тому, как состояние уменьшается налогами на наследство каждый раз, когда оно наследуется. Проводя аналогию несколько дальше, мы можем сказать, что внутреннее правдоподобие похоже на состояние, приобретаемое в результате собственных усилий человека, тогда как правдоподобие, получающееся в результате доказательства, подобно наследству. Эта аналогия ограничивается тем, что человек, который составил состояние, может также и наследовать состояние, тогда как каждое состояние должно быть обязанным своим происхождением не наследованию, а чему-либо другому.
В этой главе я намереваюсь обсудить правдоподобие, во-первых, в отношении к математической вероятности, затем в отношении данных, затем в отношении субъективной уверенности и, наконец, в отношении к рациональному поведению.
Я намереваюсь сейчас обсудить вопрос: при каких обстоятельствах правдоподобие предложения о выводится из частоты 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 в отношении данного
