В тех случаях, когда ученый не может формулировать ни закона в причинно-следственном смысле, ни эмпирического обобщения всех наблюдаемых им случаев, он принужден довольствоваться типологическим их обобщением, т. е. образованием типов, под которые можно было бы подводить отдельные наблюдения.
Не будучи номологическим построением закона или даже эмпирического обобщения (в строгом смысле), тип вместе с тем, очевидно, не оказывается и единичным случаем; с логической точки зрения тип есть относительно общее понятие по преимуществу и занимает как бы среднее место между законом и единичным случаем: он не достигает всеобщности закона и даже полноты эмпирического обобщения, ибо допускает уклонение, но и не низводится до индивидуальности. С такой точки зрения можно, пожалуй, назвать тип «общим представлением»; по крайней мере, некоторые из сторонников изучаемого направления называют общим представлением всякое представление, поскольку содержание его оказывается общим многим отдельным предметам и поскольку такое представление сопровождается мыслью, что оно представляет собою целую группу однородных представлений (Вундт); но «общие представления» ребенка могут включать и случайные признаки, представляющиеся ребенку общими многим предметам, тогда как тип есть научно установленное общее представление, которое в таком именно смысле можно называть и относительно общим понятием; в последнем смысле понятие о типе близко подходит к понятию о «среднем».
Для выяснения логической природы типологических обобщений прибегнем к следующей схеме.
Вообразим несколько групп признаков, каждая из которых отличается от остальных, и обозначим каждую из них символами
Если мы ввиду нашей познавательной цели признаем, что разности
Это несоответствие может усилиться, если в числе разновидностей
Ученые давно уже пользовались понятием «типа», даже в то время, когда теория эволюции еще не подорвала веры в устойчивость «видов», для обозначения таких «текучих» соотношений (Blainville). Естественные группы, по словам одного из них, твердо установлены, хотя и не резко отграничены: они даны, хотя и не обведены какою-нибудь чертою; они определены данным центром, а не извне проведенною предельною линиею, т. е. (содержание их выясняется) тем, что они преимущественно включают, а не тем, что они ясно выключают (Whewell). В настоящее время слово