столетия.
Рис. 1. Один из классических вариантов представления «дерева Порфирия».
Важно иметь в виду, что в рамках двузначной (бинарной) логики для процедуры деления понятий (родов) одинаково значимым может быть как наличие, так и отсутствие какого-то атрибута объекта: обоснование этого можно найти у Аристотеля (см. 3.1). И то, и другое может быть свойством, сущностью, если отвечает аристотелевскому общему критерию функциональности. Безногость змеи – такое же её сущностное свойство, как и наличие ног у ящерицы: каждый из этих атрибутов в сочетании с другими свойствами отвечает «природе» названных организмов и поэтому является частью основания деления «ноги», служа дефинициями соответствующих родов. Этот важный аспект «классификационного аристотелизма» сохранился в подавляющем большинстве современных школ биологической систематики, исключая кладистику.
Понятие, задающее промежуточный род на некотором уровне родовидовой иерархии, включает в себя всю ведущую к нему последовательность проявлений основания деления. Поэтому чем ниже ранг (общность) понятия, тем богаче его содержание, указывающее на его место в общей родовидовой иерархии. С другой стороны, чем ниже этот ранг, тем меньшее число объектов (при некоторых фиксированных условиях) данное понятие охватывает. Из этого вытекает фундаментальная связь между содержанием и объёмом понятия, известная в формальной логике как закон обратного отношения: с увеличением содержания понятия уменьшается его объём. Этот закон безусловно справедлив в отношении понятий, находящихся в соподчинении, установленном иерархией логической родовидовой схемы (Кондаков, 1975), но возможны и иные его трактовки (Войшвилло, 1989). Он выполняется в той мере, в какой иерархия деления понятий является симметричной и исчерпывающей; в иных случаях возможны отклонения от него (Чебанов, 2001).
Родовидовую схему графически представляет так называемое «дерево Порфирия» (названо в честь неоплатоника Порфирия, см. 3.1), показывающее последовательность разделения вышестоящих родов на нижестоящие. Иногда оно действительно имеет форму древовидного графа (рис. 1), но чаще представляется в «скобочной» форме (см. 3.4), в настоящее время обычно называется классификационным деревом. Исходно являясь логическим и не предполагая обязательного натурного соответствия, классификационное дерево, согласно одной из распространённых точек зрения, отражает прежде всего свойства мышления, а не свойства классифицируемого разнообразия (Корона, 1987), и потому может служить формой представления любой структуры разнообразия (Nelson, Platnick, 1981). В связи с этим следует отметить, что графическая древовидная схема представления «дерева Порфирия», строго говоря, не имеет отношения к филогенетическим деревьям, появившимся в XIX веке. Их предтечами являются не делительные классификационные деревья, а те соединительные схемы, известные в биологической систематике с XVII века, которые связывают
