§ 3. Типологические обобщения
В тех случаях, когда ученый не может формулировать ни закона в причинно-следственном смысле, ни эмпирического обобщения всех наблюдаемых им случаев, он принужден довольствоваться типологическим их обобщением, т. е. образованием типов, под которые можно было бы подводить отдельные наблюдения.
Не будучи номологическим построением закона или даже эмпирического обобщения (в строгом смысле), тип вместе с тем, очевидно, не оказывается и единичным случаем; с логической точки зрения тип есть относительно общее понятие по преимуществу и занимает как бы среднее место между законом и единичным случаем: он не достигает всеобщности закона и даже полноты эмпирического обобщения, ибо допускает уклонение, но и не низводится до индивидуальности. С такой точки зрения можно, пожалуй, назвать тип «общим представлением»; по крайней мере, некоторые из сторонников изучаемого направления называют общим представлением всякое представление, поскольку содержание его оказывается общим многим отдельным предметам и поскольку такое представление сопровождается мыслью, что оно представляет собою целую группу однородных представлений (Вундт); но «общие представления» ребенка могут включать и случайные признаки, представляющиеся ребенку общими многим предметам, тогда как тип есть научно установленное общее представление, которое в таком именно смысле можно называть и относительно общим понятием; в последнем смысле понятие о типе близко подходит к понятию о «среднем».
Для выяснения логической природы типологических обобщений прибегнем к следующей схеме.
Вообразим несколько групп признаков, каждая из которых отличается от остальных, и обозначим каждую из них символами abcdef, a bcdef, ab cdef, где a, a, b, b и т. д. — признаки; положим, что изучаемые группы можно представить себе в следующем виде и размещении:
Если мы ввиду нашей познавательной цели признаем, что разности а — a, b — b и т. д. малозначительны, то пренебрегая отличительным признаком каждой группы, мы можем обозначить наше общее понятие о всей совокупности изучаемых предметов символом ABCDEF. Если в данной совокупности группы abcdef не окажется, то и общему понятию ничто не будет вполне соответствовать в действительности; тогда ABCDEF будет «идеальным типом»; если группа abcdef, напротив, также дана, то понятию ABCDEF будет в действительности соответствовать только центральная группа abcdef; так как она при этом сходна с каждой из шести групп в пяти признаках, а каждая из окружных сходна с каждой из остальных окружных только в четырех признаках, то очевидно, что центральная группа abcdef представляет свойства общего понятия лучше всех остальных групп, почему она и называется репрезентативным типом: все остальные группы менее ее соответствуют общему понятию.
Это несоответствие может усилиться, если в числе разновидностей ABCDEF (в другой, более разнообразной по своему составу совокупности) окажутся и такие: a b cd ef,… a b c d ef и т. п. Положим, что в действительности мы встречаем (на таблице не означенные) формы вроде a b c d ef: в таком случае, однако, может явиться сомнение, причислять a b c d ef к понятию ABCDEF или к другому какому-нибудь понятию A B C D EF. Итак, общее понятие ABCDEF может оказаться или слишком широким, или слишком узким. Указанные затруднения увеличиваются, когда число признаков а, b, с,… возрастает, а различия между системами свойств, т. е. между abcdef, ab cdef и т. д., текучи и представляют множество переходных ступеней, т. е. когда каждая группа (a bcdef и т. д.) текучим образом переходит в другую (ab cdef и т. д.) и когда одна из этих совокупностей не обнаруживает соединения, исключительно отличающего ее от всех остальных совокупностей признаков, и ни одна из них не представляет достаточно резких особенностей для того, чтобы на ней можно было бы остановиться, не переходя к следующей.
Ученые давно уже пользовались понятием «типа», даже в то время, когда теория эволюции еще не подорвала веры в устойчивость «видов», для обозначения таких «текучих» соотношений (Blainville). Естественные группы, по словам одного из них, твердо установлены, хотя и не резко отграничены: они даны, хотя и не обведены какою-нибудь чертою; они определены данным центром, а не извне проведенною предельною линиею, т. е. (содержание их выясняется) тем, что они преимущественно включают, а не тем, что они ясно выключают (Whewell). В настоящее время слово ти n приобрело право гражданства в науке для обозначения «видов», находящихся в текучей взаимозависимости относительно друг друга (Erdmann).