Из-за этого Кейнс не расстается полностью с принципом индифферентности; он думает, что этот принцип может быть так сформулирован, что можно будет избежать вышеупомянутых затруднений и что он будет все еще полезен. Для этой цели он сначала определяет то, что является "не относящимся к делу".
Грубо говоря, добавленная посылка является "не относящейся к делу", если она не изменяет вероятности, то есть h1 не связано с отношением к x и h, если x/h1h = x/h. Таким образом, например, тот факт, что фамилия человека начинается с буквы M, не имеет отношения к оценке шансов его смети. Вышеприведенное определение является, однако, до некоторой степени слишком простым, потому что h\ может состоять из двух частей, из которых одна может повышать вероятность х, тогда как другая — понижать ее. Например: шансы жизни белого человека понижаются при жизни его в тропиках, но повышаются (или так по крайней мере говорят), если он ведет трезвый образ жизни. Может быть, смертность среди белых трезвенников в тропиках та же, что и вообще у белых людей, но мы не можем сказать, что трезвый образ жизни человека, живущего в тропиках, не имеет отношения к этому вопросу. Поэтому мы говорим, что h1 не имеет отношения к x/h, если нет никакой части h1, которая изменяет вероятность x.
Кейнс теперь формулирует принцип индифферентности в следующей форме: вероятности событий а и b в отношении к данному свидетельству одинаковы, если нет относящегося к событию a свидетельства без соответствующего свидетельства, относящегося к событию b; это значит, что вероятности событий а и b в отношении свидетельства равны, если это свидетельство симметрично по отношению к о и b.
Здесь, однако, все же добавляется довольно трудное условие. "Мы должны исключить те случаи, в которых одна из относящихся к делу альтернатив сама является дизъюнкцией подчиненных альтернатив той же самой формы". Когда это условие выполняется, альтернативы называются неделимыми по отношению к свидетельству. Кейнс дает следующее формальное определение "делимых" альтернатив: альтернатива f (a) делима по отношению к свидетельству h, если, при данном h, "f(a) эквивалентно f(b)" или "f(с)", где f(b) и f(с) несовместимы, но каждое возможно, когда b истинно. Здесь существенно, что f(a), f(b) и f(с) все суть значения одной и той же пропорциональной функции.
Кейнс, таким образом, в конце концов признает в качестве аксиомы тот принцип, что, при данном свидетельстве, f(a) и f(a) равно вероятны, если (1) свидетельство симметрично по отношению к a и b (2) в отношении свидетельства f(a) и f(b) неделимы.
По отношению к вышеприведенной теории эмпиристы могут выдвинуть общее возражение. Они могут сказать, что непосредственное знание отношений вероятности, которого она требует, явно невозможно. Дедуктивная доказательная логика — как этот аргумент можно было выразить — возможна потому, что она состоит из тавтологий, потому, что она просто переформирует наш запас исходных предложений другими словами. Когда она делает больше этого — когда, например, она выводит предложение "Сократ смертен" из предложения "Все люди смертны",— она зависит от опыта, связанного со значением слова "Сократ". Ничто, кроме тавтологий, не может быть познано независимо от опыта, а Кейнс не утверждает, что его отношения вероятности являются тавтологиями. Как же в таком случае они могут быть познаны? Ибо ясно, что они не познаются из опыта в том смысле, в котором мы можем говорить это о суждениях восприятия; вместе с тем признается, что некоторые из них не выводятся. Они поэтому составили бы — если их признать — такой род знания, который эмпиризм считает невозможным.
Я очень сочувствую этому возражению, но не думаю, что его можно рассматривать как решающее. Когда мы подойдем к обсуждению принципов научного вывода, мы увидим, что наука невозможна без некоторого знания, которого мы не могли бы иметь, если бы эмпиризм в его строгой форме был прав. Во всяком случае, мы не должны догматически считать, что эмпиризм прав, хотя и имеется оправдание нашим попыткам найти совместимые с эмпиризмом решения наших проблем. Вышеприведенное возражение поэтому, хотя и может служить причиной известного нерасположения к принятию теории Кейнса, не должно, однако же, заставлять нас отвергать ее совершенно.
Имеется трудность в вопросе, который Кейнс, по-видимому, адекватно не рассмотрел, а именно: сообщает ли вероятность, относящаяся к посылкам, рациональное правдоподобие предложению, которое превращается в вероятное, и если да, то при каких обстоятельствах? Кейнс говорит, что так же бессмысленно говорить, что "p вероятно", как и говорить, что "p равно "или "p больше, чем". Согласно ему, здесь нет ничего аналогичного опущению истинной посылки в дедуктивном выводе. Тем не менее, он говорит, что если мы знаем h и знаем также, что p/h = а, то мы вправе придавать p "рациональную веру в соответствующей степени". Но когда мы поступаем так, мы больше не выражаем отношение p к h, мы пользуемся этим отношением для того, чтобы что-либо вывести относительно p. Это "что-либо" мы можем назвать "рациональным правдоподобием" и можем сказать, что "p рационально правдоподобно в степени а". Но если это должно быть истинным утверждением p, не предполагающим упоминания о h, тогда b не может быть произвольным. Ибо предположим, что P/h = a, а p/h' = a; должны ли мы при допущении, что h и h' известны, придавать p степень а или а' рационального правдоподобия? Невозможно, чтобы оба ответа были правильны при любом данном состоянии нашего знания.
Если верно, что "вероятность есть руководитель жизни", тогда при любом данном состоянии нашего знания должна быть одна вероятность, которая относится к p более существенным образом, чем любая другая, и эта вероятность не может быть относительной по отношению к произвольным посылкам. Мы должны сказать, что это есть вероятность, которая получается, когда h рассматривается как все наше относящееся к делу знание. Мы можем сказать: при любой данной совокупности предложений, составляющих определенное знание какого-либо лица, при том, что связь этой совокупности предложений называется n, имеется некоторое число предложений, не являющихся членами этой совокупности, которые имеют к ней отношения вероятности. Если p есть также предложение, a p/h = а, тогда для этого лица а есть степень рационального правдоподобия, принадлежащего p. Мы не должны говорить, что если h' есть некое истинное предложение, несколько отличающееся от h, которое известно лицу, о котором идет речь, и если p/h' = а', тогда для этого лица p имеет степень правдоподобия а'; оно будет иметь только эту степень правдоподобия для лица, знание которого, относящееся к делу, суммируется через h'. Со всем этим, однако, Кейнс, безусловно, согласится. Возражение на самом деле относится только к некоторой рыхлости формулировки, а не к чему-либо существенному в этой теории.
Более существенное возражение касается наших средств познания предложений, вроде таких, как p/h = а. Я сейчас не утверждаю априори, что мы не можем их знать; я интересуюсь только вопросом, как мы можем их знать. Нетрудно заметить, что если "вероятность" не может быть определена, то должны быть такие предложения вероятности, которые не могут быть доказаны и которые, следовательно, если принять их, должны быть среди посылок нашего познания. Это является общей чертой всех логически расчлененных систем. Каждая такая система по необходимости начинает с исходного аппарата не получивших определения терминов и недоказанных предложений. Ясно, что не получивший определения термин не может появиться в выводном предложении, если он не появился по крайней мере в одном из недоказанных предложений, тогда как нет необходимости в том, чтобы получивший определение термин появлялся в каком-либо недоказанном предложении. Например, пока считалось, что в арифметике участвуют термины, не получившие определения, приходилось считать, что в ней не должны быть также и недоказанные аксиомы: Пеано имел дело с тремя неопределенными терминами и пятью аксиомами. Но когда числа и сложение определяются логически, арифметика не нуждается в каких-либо недоказанных предложениях, кроме предложений логики.
Итак, в нашем случае если "вероятность" может быть определена, то возможно, что могут быть выведены все предложения, в которых это слово встречается; но если она не может быть определена, то должны быть — если мы в состоянии что-либо знать об этом — содержащие это слово предложения, которые мы знаем без свидетельства со стороны.
Не совсем ясно, какого рода предложения Кейнс склонен признавать в качестве посылок в нашем познании вероятности. Познаем ли мы непосредственно предложения формы "p/h = a"? И что представляет собой а, когда вероятность численно не измеряется? Или мы знаем только равенства и неравенства, то есть что p/h < q/h или p/h = q/h7 Я склонен думать, что Кейнс придерживается последнего взгляда. Но если так, то основными в этом вопросе являются отношения трех предложений, а не двух-, мы должны начинать с тернарного отношения
p(p, q, h),
что значит: при данном h, p является менее вероятным, чем q. Мы могли бы в таком случае сказать, что "p/h = q/h", значит, "ни p(p, q, h), ни P(q, p, h)". Мы должны были бы допустить, что p является асимметричным и транзитивным по отношению к p и q, когда h постоянно. Принцип индифферентности Кейнса, если его принять, тогда позволит нам при определенных обстоятельствах доказать, что p/h = q/h. A на этом основании исчисление вероятностей — насколько Кейнс считает его действительным — может быть построено.
Вышеприведенное определение равенства может быть принято только, если p/h и q/h являются сравнимыми; если (как Кейнс считает возможным) ни одно из них не больше другого и все же они не равны, то от этого определения следует отказаться. Мы могли бы преодолеть это затруднение с помощью аксиом, касающихся обстоятельств, при которых вероятности должны быть сравнимыми. Когда они сравнимы, они лежат на одной линии между 0 и 1. В правой части вышеприведенного определения "p/h = q/h" мы должны тогда добавить, что P/h и q /h являются "сравнимыми".