типов
I. Предварительные замечания
Старое логическое учение гласит, что члены подразделения должны быть противопоставлены друг другу и тем самым исключены друг из друга, то есть что границы видов рода не должны пересекать друг друга.
Систематизация Кантом логических принципов однородности, спецификации и непрерывности форм, а также трансцендентальных законов, которые, по его мнению, лежат в их основе, заложила, однако, брешь в этой логической традиции. Закон непрерывности, который заставляет разум, «чтобы завершить систематическое единство», возникнуть из союза двух других, повелевает «непрерывный переход от одного вида к другому путем постепенного роста разнообразия».
Сам Кант, однако, оборвал вершину этого закона систематизирующим преувеличением заложенной в нем правильной мысли. Ведь он вынужден был признать, «что эта непрерывность форм есть лишь идея, которой даже в опыте нельзя показать соответствующий предмет». Закон лишь требует, чтобы мы искали такую близость форм. Он не дает нам критерия, с помощью которого мы могли бы определить эту последовательность стадий в деталях. С другой стороны, как он предполагает в смысле формалистических классификаций своего времени, «виды в природе действительно разделены и должны поэтому составлять quantum discretum [безмолвное количество – wp]»: он не может даже закрыть свой разум для заключения, что «если бы ступенчатая прогрессия в отношениях видов была непрерывной, то она должна была бы также содержать истинную бесконечность промежуточных членов, лежащих в пределах двух данных видов». Это, однако, невозможно.
Таким образом, даже логическое обсуждение этих законов в пособиях его школы не привело к разрушению заклятия традиции.
Насколько я могу судить, первым, кто начал бороться с традиционным схематизмом с точки зрения научных классификаций, был автор «Истории индуктивных наук». Уэвелл утверждает, что «естественные группы даются типами», т.е. «примерами класса, например, видами рода, в которых характер рода проявляется особенно ярко». «Все виды, которые имеют большее сходство с этим типичным видом, чем с любым другим, образуют род и так упорядочены вокруг него, что отличаются от него в различных направлениях и степенях. … Таким образом, типичный вид рода, типичный вид семейства – это тот, который обладает всеми признаками и свойствами рода в характерной и ярчайшей манере…". Таким образом, естественные группы «твердо определены, хотя и не резко; они определяются не пограничной линией, проведенной извне, а из центра, т.е. не тем, что они явно исключают, а тем, что они предпочтительно включают, по образцу, а не по предписанию».
В этих замечаниях Уэвелл имеет в виду группы природных тел. При ближайшем рассмотрении, однако, становится очевидным, что область нашего мышления во многом пронизана родами, типы которых связаны переходами различных форм в плавной или текучей манере. Поэтому возникает вопрос, какими средствами
