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

Возьмем случай, возникающий в действительной жизни и приближающийся к чистому шансу, а именно случай с пассажирами большого океанского парохода, прибывающими со своим багажом на таможню. Многие места их багажа имеют много ярлыков, один содержащий фамилию собственника, а другие рекламирующие отели, в которых их собственник останавливался. Мы можем рассмотреть предварительную вероятность такого, например, обобщения: «каждый чемодан, имеющий ярлык А, имеет и ярлык В'. Для завершения аналогии с логикой предположим, что имеются также отрицательные ярлыки и что ни один чемодан не имеет сразу и ярлык «А», и ярлык «не-A», но что каждый чемодан имеет или один, или другой из этих двух ярлыков. При отсутствии дальнейшей информации, если мы выберем наудачу два ярлыка А и В, то каков будет шанс, что каждый чемодан, имеющий ярлык А, имеет или ярлык В, или ярлык не-B, шанс, что любой данный чемодан имеет ярлык В равен половине. (Я исхожу из того, что мы ничего не знаем о В и, в частности, что мы не знаем, является ли он положительным или отрицательным ярлыком.) Из этого следует, что если n чемоданов имеют ярлык А, то шанс, что все они имеют ярлык В, есть 1/2n. Это конечная величина, а если N есть общее число чемоданов, то она никогда не будет меньше, чем 1/2n.

Из вышеприведенного доказательства следует, что если число «вещей» во вселенной есть некое конечное число N, то обобщение 'все А суть В» всегда имеет предварительную вероятность, по крайней мере равную 1/2n. Это и есть предварительная вероятность, если каждая вещь имеет свойство А; если же только некоторые вещи имеют это свойство, то предварительная вероятность будет больше. Следовательно, теоретически достаточным постулатом в добавление к теории индукции Кейнса было бы допущение, что число «вещей» во вселенной конечно. Это эквивалентно допущению, что число пространственно-временных точек конечно. Это в свою очередь (если мы принимаем положение, выдвинутое в одной из предшествующих глав, согласно которому пространственно-временная точка есть группа сосуществующих качеств) эквивалентно допущению, что число качеств конечно.

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

Кейнс требует, чтобы было известно, что определенные обобщения имеют более высокую начальную вероятность, чем та, которую имеют обобщения, взятые полностью наудачу. Для этой цели он предлагает постулат о том, что соединения качеств образуют группы и что каждая группа может быть определена, когда даны только некоторые из качеств, составляющих ее. Он предполагает: «Что все почти бесчисленные видимые свойства любого данного объекта возникают из конечного числа генерирующих свойств, которые мы можем назвать f1, f2; f3,… Некоторые возникают из одного (pi, некоторые же из (pi в соединении с f2 и так далее Свойства, которые возникают только из f1, образуют одну группу, те, которые возникают из f1 и f2 в их соединении, образуют другую группу и так далее Поскольку число генерирующих свойств конечно, постольку число групп также конечно. Если возникает ряд видимых свойств, скажем из трех генерирующих свойств f1, f2, f3, тогда можно сказать, что этот ряд свойств специфицирует группу f1, f2, f3. Поскольку предполагается, что общее число видимых свойств больше, чем число генерирующих свойств, и поскольку число групп конечно, постольку из этого следует, что если берутся два ряда видимых свойств, то при отсутствии противоположного свидетельства есть конечная вероятность того, что второй ряд свойств будет принадлежать к группе специфицированных первым рядом свойств».

Число независимых групп вышеприведенного рода называется количеством «многообразия» во вселенной или в любой ее части, относящейся к какому-либо отдельному доказательству. Данная Кейнсом формулировка его постулата гласит следующее: «Следовательно, в качестве логического основания для аналогии мы, по-видимому, нуждаемся в каком-либо допущении, которое говорило бы, что количество многообразия во вселенной так ограниченно, что нет ни одного объекта настолько сложного, что его качества попадали бы в бесконечное число независимых групп (то есть групп, которые могли бы существовать как независимо, так и в соединении); или, скорее, что ни один из объектов, о котором мы делаем обобщение, не является таким сложным, как этот; или по крайней мере, что, хотя некоторые объекты и могут быть бесконечно сложными, мы иногда все же имеем конечную вероятность того, что объект, о котором мы стараемся сделать обобщение, не является бесконечно сложным».

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

Я думаю, что мы лучше всего поймем сферу применения постулата Кейнса, если возьмем какой-либо пример из области зоологии. Возьмем, например, такое животное, как корова. Корова есть животное позвоночное, млекопитающее, жвачное и являющееся членом одного вида жвачных. Каждое из этих классифицирующих слов допускает различные определения, которые хотя и различаются по содержанию, но дают один и тот же объем. Как, например, отличаем мы корову от других жвачных животных? Большинство из нас удовлетворяется внешним видом: корова есть животное, выглядящее, как корова. Этого совершенно достаточно для практических целей, но зоолог может перечислить множество разнообразных признаков общих и особенных для коров, каждым из которых можно было бы воспользоваться для определения слова «корова». То же применимо и к «жвачному», «млекопитающему», «позвоночному» и «животному». Каждое из этих слов допускает различные определения, которые по объему эквивалентны, хотя мы и не знаем, почему они должны быть таковыми. Ясно, что если это случается часто, то обобщения имеют гораздо большую предварительную вероятность, чем они имели бы, если бы свойства были распределены хаотически.

Попытаемся сформулировать предположение Кейнса несколько более подробно. Он предполагает, что — или в общем, или в какой-либо специальной области — возможно подобрать конечный ряд основных свойств, таких, что, когда мы знаем, каким из этих свойств индивидуум обладает, мы можем узнать (по крайней мере теоретически), что представляют собой по крайней мере некоторые из его других свойств, не потому, что имеется какая-либо логическая связь, а потому, что фактически некоторые свойства никогда не встречаются иначе, как в соединении с некоторыми другими, например все жвачные имеют и копыта. Эта, гипотеза аналогична менделевской теории генов, согласно которой конечное число генов определяет весь врожденный характер животного или растения. Кейнс предполагает, что имеется конечное число групп качеств и что два качества, принадлежащие к одной и той же группе, имеют один и тот же объем. Если n есть число таких групп и если два качества выбраны наудачу, то есть вероятность 1/n, что они принадлежат к одной и той же группе и что, следовательно, все индивидуумы, обладающие каким-либо одним из этих двух качеств, обладают и другим. Этого достаточно, чтобы дать Кейнсу основание, в котором он нуждается для обоснования индукции.