Рис. 1. Один из классических вариантов представления «дерева Порфирия».
Важно иметь в виду, что в рамках двузначной (бинарной) логики для процедуры деления понятий (родов) одинаково значимым может быть как наличие, так и отсутствие какого-то атрибута объекта: обоснование этого можно найти у Аристотеля (см. 3.1). И то, и другое может быть свойством, сущностью, если отвечает аристотелевскому общему критерию функциональности. Безногость змеи – такое же её сущностное свойство, как и наличие ног у ящерицы: каждый из этих атрибутов в сочетании с другими свойствами отвечает «природе» названных организмов и поэтому является частью основания деления «ноги», служа дефинициями соответствующих родов. Этот важный аспект «классификационного аристотелизма» сохранился в подавляющем большинстве современных школ биологической систематики, исключая кладистику.
Понятие, задающее промежуточный род на некотором уровне родовидовой иерархии, включает в себя всю ведущую к нему последовательность проявлений основания деления. Поэтому чем ниже ранг (общность) понятия, тем богаче его содержание, указывающее на его место в общей родовидовой иерархии. С другой стороны, чем ниже этот ранг, тем меньшее число объектов (при некоторых фиксированных условиях) данное понятие охватывает. Из этого вытекает фундаментальная связь между содержанием и объёмом понятия, известная в формальной логике как закон обратного отношения: с увеличением содержания понятия уменьшается его объём. Этот закон безусловно справедлив в отношении понятий, находящихся в соподчинении, установленном иерархией логической родовидовой схемы (Кондаков, 1975), но возможны и иные его трактовки (Войшвилло, 1989). Он выполняется в той мере, в какой иерархия деления понятий является симметричной и исчерпывающей; в иных случаях возможны отклонения от него (Чебанов, 2001).
Родовидовую схему графически представляет так называемое «дерево Порфирия» (названо в честь неоплатоника Порфирия, см. 3.1), показывающее последовательность разделения вышестоящих родов на нижестоящие. Иногда оно действительно имеет форму древовидного графа (рис. 1), но чаще представляется в «скобочной» форме (см. 3.4), в настоящее время обычно называется классификационным деревом. Исходно являясь логическим и не предполагая обязательного натурного соответствия, классификационное дерево, согласно одной из распространённых точек зрения, отражает прежде всего свойства мышления, а не свойства классифицируемого разнообразия (Корона, 1987), и потому может служить формой представления любой структуры разнообразия (Nelson, Platnick, 1981). В связи с этим следует отметить, что графическая древовидная схема представления «дерева Порфирия», строго говоря, не имеет отношения к филогенетическим деревьям, появившимся в XIX веке. Их предтечами являются не делительные классификационные деревья, а те соединительные схемы, известные в биологической систематике с XVII века, которые связывают группы по их взаимному сродству (см. 3.6.3).
Для формирования в рамках схоластики онтологических и эпистемологических начал систематики ключевое значение имеют идеи, разработанные двумя великими мыслителями Средневековья.
Один из них – итальянец Фома Аквинский (Аквинат, Thomas Aquinas; 1225–1274), своими трудами заслуживший неформальное (и тем более почётное) звание «князя философов» (Princeps philosophorum), основатель теологической доктрины, названной в его честь томизмом. С точки зрения предмета рассмотрения особо значима детальная проработка Аквинатом восходящего к Античности понятия сущности (см. 3.1). Сущности до вещей подобны идеям Платона, организуют материю; сущности в вещах – это собственно аристотелевские первосущности вещей, их чтойности (усии); сущности после вещей – те понятия, которыми мы обозначаем эти чтойности (Фома…, 1988). По исходному замыслу это было примирением Аристотеля с Церковью; по наиболее значимому результату – фактически примирение Аристотеля с Платоном. Речь идёт о трёх «ипостасях» сущностей как разных аспектах всеобщего организующего начала мира вещей и идей: с точки зрения науки этим утверждается изоморфизм между структурой (идеей, сущностью) вещи и знания о ней, принципиально важный для утверждения реализма как эпистемологической доктрины (Гайденко, Смирнов, 1989; Любарский, 1991а). Для систематики весьма значимо положение Аквината о том, что сущность проявляется только там, где есть отношение вещи к другим вещам, её нельзя понять в самой вещи, изолированной от других вещей (Васильева, 1992, 2003–2004; Захаров Б.П., 2005). Некие отголоски этих представлений можно усмотреть в толковании классификации как фрактала (см. 6.2.2).
Другой корифей схоластики – англичанин Уильям Оккамский (William of Ockham; ок. 1285–1349), который в афористической манере сформулировал эвристический принцип, известный со времён Аристотеля (но нередко приписываемый Лейбницу) как принцип достаточного основания. В формулировке Оккама, который стремился к подтверждению бытия Божия без изощрённых богословских аргументов, он выглядит так: не следует множить сущности сверх необходимости (entia non sunt multiplicanda praeter necessitatem) (Гайденко, Смирнов, 1989; Гайденко, 2003). Благодаря этому принципу схоластический номинализм при становлении науки Нового времени плавно перерос в позитивистскую философию. В настоящее время он известей как принцип экономии мышления, который утверждает, что если существует несколько объяснений какого-либо явления, наиболее правдоподобным следует считать самое простое из них (Поппер, 1983). Он получил афористическое обозначение «бритвы Оккама» и под этим названием относится к числу наиболее часто упоминаемых в систематике второй половины XX столетия (см. 6.1.2).
Коль скоро вся схоластическая процедура классифицирования преподносится как деление понятий, само понятие является в ней ключевым. Оно существует не само по себе, а в форме названия (имени), которым это понятие обозначается. Очевидно, для того, чтобы название (имя) правильно отражало идею или сущность, оно должно само по себе быть «правильным», истинным. Из этого следует, что название (имя) значимо: оно не случайно относительно своего денотата, имя вещи в некотором смысле и есть сама вещь, правильно поименовать её, подыскать подходящее название (nomen proprium) – значит правильно определить её (Лосев, 1993). Эти представления оказали огромное влияние на формирование ранних правил формирования таксономических названий (см. 3.4, 3.5).
Значение базовых принципов классификационной родовидовой схемы для развития биологической систематики чрезвычайной велико. Принятие её за основу одарило биологию вышеупомянутой (см. 2.1) классификационной философией, надолго определив характер биологических исследований (Stafleu, 1971; Wilkins, 2003). В целом доминирующий тренд этого развития складывается из соотношения двух несовпадающих векторов: один из них задаётся приспособлением систематики к схоластической рациональности, другой – приспособлением этой рациональности к задачам систематики, вытекающим из понимания природы классифицируемого разнообразия. Поначалу биологическая систематика формировалась на основе вполне буквального применения этих принципов (продолжение схоластической традиции, см. 3.4), позже – путём их преодоления (эмпирика, типология, филогенетика, см. 4.1, 4.14.2, 4.3). При этом некоторые элементы схоластического метода (в широком смысле) то предаются анафеме и забвению, то странным образом вновь возникают в разных её современных школах.
Так, иерархическая форма родовидовых отношений остаётся основной независимо от того, трактуется она номиналистически или реалистически. Однако дедуктивный («сверху вниз», деление) характер этих отношений реализован в немногих, главным образом ранних классификационных подходах, чаще же выделение групп проводится на индуктивной основе («снизу вверх», объединение). Согласно линнеевской парадигме (начиная со второй половины XVIII века) ранги таксонов фиксированы, но логики, фенетики и филогенетики XIX–XX столетий неоднократно возвращаются к исходной схоластической трактовке (см. соответствующие разделы). Роды и виды (в общем случае таксоны), поначалу номинальные, в фенетике таковыми и остаются, но в эволюционной систематике по большей части обретают реальный (объективный) статус, особенно категория вида. Схоластическая традиция поиска подходящих имён унаследована ранней систематикой вплоть до Линнея, но позже её отвергли, поскольку она порождала хаос таксономических названий.