Попытаемся сформулировать предположение Кейнса несколько более подробно. Он предполагает, что — или в общем, или в какой-либо специальной области — возможно подобрать конечный ряд основных свойств, таких, что, когда мы знаем, каким из этих свойств индивидуум обладает, мы можем узнать (по крайней мере теоретически), что представляют собой по крайней мере некоторые из его других свойств, не потому, что имеется какая-либо логическая связь, а потому, что фактически некоторые свойства никогда не встречаются иначе, как в соединении с некоторыми другими, например все жвачные имеют и копыта. Эта, гипотеза аналогична менделевской теории генов, согласно которой конечное число генов определяет весь врожденный характер животного или растения. Кейнс предполагает, что имеется конечное число групп качеств и что два качества, принадлежащие к одной и той же группе, имеют один и тот же объем. Если n есть число таких групп и если два качества выбраны наудачу, то есть вероятность 1/n, что они принадлежат к одной и той же группе и что, следовательно, все индивидуумы, обладающие каким-либо одним из этих двух качеств, обладают и другим. Этого достаточно, чтобы дать Кейнсу основание, в котором он нуждается для обоснования индукции.
Этот постулат, как указывает Кейнс, может быть различными способами ослаблен и все же не перестает быть при этом эффективным. Одним из этих ослаблений является то, что нам не «нужно предполагать, что все свойства принадлежат к таким группам, какие он постулирует; достаточно и того, что так обстоит дело с ограниченной пропорцией свойств. Достаточно подтвердить не все, а некоторые индукции, если имеется какой-либо доступный определению класс свойств, все из которых принадлежат к кейнсовским группам. Мы в большей или меньшей степени можем различать признаки, отличающие виды, от других признаков, которые изменяются от индивидуума к индивидууму. Известно, например, что цвет очень сильно меняется среди животных и, следовательно, избитая ложная индукция: «Все лебеди белые» — всегда была менее надежна, чем, скажем, индукция: «Все лебеди имеют длинную шею» Мы можем назвать признак «отличительным», когда он принадлежит ко всем членам какого-либо вида, причем «вид» есть класс, имеющий большое многообразие общих свойств, которые по неизвестной причине обнаруживаются вместе. Обычно считается, что пространственно-временное положение никогда не является отличительным признаком. Правда, сумчатые животные в диком состоянии водятся только в Австралии, но они не перестают быть сумчатыми, когда их привозят повсюду в зоопарки.
Индукция может понадобиться для определения, является ли или не является данный признак отличительным; и если мы предположим, что отличительные признаки составляют ограниченную пропорцию по всем признакам, то это употребление индукции будет оправданным.
Для многих целей бывает достаточно, если мы можем установить, что огромное большинство А суть В; мы можем поэтому смягчить постулат Кейнса, предположив, что он говорит, что некоторые признаки обычно соединяются. Если «естественный вид» определяется посредством какого-то числа свойств А1, А2, …, An (о которых не известно, что они взаимозависимы), то мы можем для некоторых целей считать, что индивидуум, имеющий все эти качества, кроме одного, все же должен считаться членом вида, например бесхвостые кошки являются кошками, несмотря на отсутствие у них хвоста. Более того, очень многие отличительные признаки могут непрерывно изменяться, так что имеются пограничные случаи, когда мы не можем сказать определенно, имеется ли налицо данный признак или он отсутствует. Естественный вид похож на то, что в топологии называется соседством, но не экстенциональным, а интенциональным. Кошки, например, похожи на скопление звезд: не все они находятся в одном интенциональном месте, но большинство из них тяготеет к интенциональному центру. Признавая эволюцию, мы должны думать, что были и выпадающие из класса члены, настолько отклоняющиеся от нормального типа, что мы едва ли могли знать, можно ли их считать членами семейства или нет. Этот взгляд на естественные виды имеет то преимущество, что его не нужно изменять перед тем, как включать в прогрессирующую науку.
Такие соображения, однако, наводят на мысль о преобразовании постулата Кейнса во что-то более пластичное и менее напоминающее учебник логики, чем тот принцип, который он выдвигает. Казалось бы, должны существовать законы, делающие некоторые сочетания признаков более устойчивыми, чем другие сочетания, и требующие, когда один признак слегка изменяется, чтобы другой подвергался какому-то коррелятивно с ним связанному небольшому изменению. Этот процесс ведет к функциональным законам корреляции, как, вероятно, более основным, чем естественные виды.