Абсолютное доминирование в зрелой схоластике рационального начала оформилось в доктрину рационализма (лат. ratio – разум), обязывающую в познании полагаться на доводы рассудка и потому ставшую одной из основ науки Нового времени. Эта доктрина исходит из веры в некую «разумность», рациональность естественной упорядоченности Природы и наличия в ней внутренней логики, которой подчинено действие детерминистических законов (онтологическая рациональность), что предполагает её познаваемость средствами разума и логики (эпистемологическая рациональность); обе эти формы рациональности представлены в новейшей систематике (см. 5.5). Античная философия обосновывает рациональную познаваемость, полагая изоморфизм познаваемой Природы и познающего сознания (Ахутин, 1988); точнее – изоморфизм движений Природы и движений сознания, из коих эти вторые движения составляют метод познания. Современный классический рационализм (Декарт, Лейбниц и др.) исходит из противоположного: проецирует разумность человека на Природу, что позволяет считать разум как источник, а разумность – как критерий истинности научного знания. В таком качестве разум противостоит не только слепой вере в Книгу откровения, но и опыту и чувствам как декларируемым эмпириками-сенсуалистами способам прочтения Книги природы (Гайденко, Смирнов, 1989; Гайденко, 2003; см. 4.1).
Отсюда вытекает нацеленность и схоластики, и выросшей из неё рациональной науки Нового времени на поиск всеобщего Метода (именно так, с заглавной буквы) как особой системы, «органона» – рационального способа организации познавательной деятельности. Поэтому неудивительно, что ранняя систематика отождествляет Систему с Методом, видя в ней способ не только представления, но и поиска естественного порядка вещей, причём «истинный» метод единственный, так же как единственна Система, к которой он ведёт. Так, один из представителей эмпирического рационализма в систематике XVIII века М. Адансон полагает, что Природа и метод тесно связаны, благодаря чему метод служит «мостиком» между Природой и исследователем (см. 4.1.1). Новейшим отголоском этой убеждённости является, например, разработка метода общей типологии как универсального инструмента научного познания разнообразия всего сущего и мыслимого (Любарский, 1996а; Раутиан, 2001, 2003). Нацеленность на метод как таковой порождает такой эпистемологический феномен как инструментализм, замыкающий метод познания сам на себя и лишающий знание эмпирических критериев истинности, а тем самым и научности; в новейшей систематике он является «родовой болезнью» многих количественных подходов (Rieppel, 2007а; см. 5.3).
Порождением рационализма является вышеупомянутая (см. 3.1) родовидовая схема деления понятий, которая составляет методологическую основу классификационной деятельности в ранней, а отчасти и зрелой систематике; её нередко называют «аристотелевской». Названная схема иерархическая, её иерархия заключена между общим, или высшим родом (Genus summum) и последним (или собственно) видом (Species infima vel proprius); роды любых промежуточных рангов так и называются промежуточными (Genus intermedium), из них особо значим ближайший к виду род (Genus proximum). Эта схема соответствует дедуктивной логике определений, согласно которой всякая вещь или идея познаётся через ближайший род и видовые отличия (Genus proximum et Species differentia), или родовое общее и видовое особенное. «Поскольку вид является тем, что он есть, благодаря роду, постольку при описании вида без рода обойтись невозможно» (Боэций, 1990, с. 52). Поэтому «надо сначала сказать об отправлениях, присущих всем животным», а затем – «каждому роду и каждому виду» (Аристотель, 1937, с. 51–52). Родовидовая схема в начальном варианте, восходящем к Платону, предполагает дихотомический алгоритм деления, на чём построена вся классическая бинарная (двузначная) логика: высший и всякий промежуточный род делится строго на два дискретных рода нижеследующего уровня, ближайший род – на два вида. Такое деление считается наиболее экономным в том смысле, что позволяет дать исчерпывающее описание разнообразия за наименьшее число шагов (Sokal, Sneath, 1963; Мейен, Шрейдер, 1976; Воронин, 1985). Эта дихотомия лежит в основе некоторых методов современной кладистики (см. 5.7.4.4).
Деление логических родов ведётся с помощью набора аристотелевских категорий, в настоящее время объединяемых общим понятием «признак». Существенный признак (essentia) с необходимостью определяет данный класс объектов, выражая общую для них сущность. Из него логически может быть выведен собственный признак (proprium), который свойствен всем объектам данного класса, но не является непременно существенным. Случайный (несобственный) признак (accidens) свойствен лишь некоторым объектам данного класса и не может быть логически выведен из существенного признака. Если связь между существенными и собственными признаками является выводимой – например, на основании знания законов композиции элементов объектов, такие объекты являются анализируемыми сущностями; в противном случае следует говорить о неанализируемых сущностях. Примером первых могут служить геометрические фигуры или механические системы, отчасти химические элементы; примером вторых – живые организмы (Cain, 1958, 1959b; Симпсон, 2006).
Применение родовидовой схемы порождает включающую (гнездовую, матрёшечную) иерархию понятий как логических универсалий. К низшему уровню иерархии относятся логические виды, они включают единичные объекты и логически не делятся, но сами являются результатом деления логических родов. Поскольку схема логическая, это означает, что в ней нет фиксированных рангов: одна и та же универсалия может быть промежуточным родом в одной схеме, низшим родом в другой и видом в третьей – в зависимости от того, с чего начинается и на чём заканчивается деление соответствующей иерархии понятий и определяемых ими классов разных уровней общности (Wilkins, 2010). С другой стороны, у этой схемы нет нижнего предела: деление может быть сколь угодно дробным, если это обусловлено потребностью классифицирования и допускает наличное разнообразие вещей. В частности, согласно одному из крупнейших логиков XIX века Дж. Миллю, ничто не мешает называть видами расы человека, коль скоро они чётко различаются (Милль, 1900): данный тезис во второй половине XIX века способствовал развитию кризиса концепции вида (см. 4.1.3).
Важной частью рассматриваемой схемы является методологический принцип единого основания деления – один из ключевых для классификаторов-схоластов. Здесь в качестве основания деления (fundamentum divisiones) выступает та или иная сущность. Этот принцип означает, что использование разных оснований деления запрещено, причём запрет имеет двоякий смысл. С одной стороны, на разных уровнях родовидовой схемы нельзя обращаться к разным сущностям: деление должно идти строго по тому основанию, которое указывает сущность высшего рода. Например, высший род «животные с ногами» нельзя делить на промежуточные роды «животные с хвостами» и «животные с ушами» – можно делить только по свойствам их конечностей. С другой стороны, нельзя одновременно обращаться к тем свойствам, которые дают несовпадающие (логически противоречивые) деления. Например, всё тот же род «животные с ногами» нельзя делить на «двуногих» и на «коротконогих» ввиду их несовпадения, но можно на «двуногих» и «четвероногих» или на «коротконогих» и «длинноногих».
Следует напомнить (см. 3.1), что исходно родовидовая схема является методом дефиниций – последовательно классификации сущностных характеристик вещей, а не их самих (Pellegrin, 1987, 1990; Panchen, 1992; Wilkins, 2010). Это значит, что родовидовая схема – это прежде всего процедура субординации признаков, а не таксонов (Hopwood, 1959). Основная задача состоит не в том, чтобы выделить некоторую группу объектов и указать её место в общей системе других объектов того же рода, а определить род как таковой – т. е. как идею или как существенное свойство некоторой группы объектов, и тем самым отличить этот род-сущность от других родов-сущностей. Иными словами, если это и классифицирование, то скорее свойств объектов (сущностей, признаков), нежели их самих и их групп (таксонов): следовательно, решаемая задача изначально относится к сфере мерономии, а не таксономии (о них см. 6.1.1). Такое понимание классификации как последовательного деления существенных признаков отчётливо присутствует в ранней систематике XVII–XVIII веков (см. 3.4). Собственно таксономическим содержанием, означающим прежде всего классифицирование самих организмов, а не их признаков (сущностей), родовидовая схема наполняется благодаря её разработке зрелой схоластикой, где она обсуждается и дорабатывается в первую очередь в плане возможности онтологизации универсалий (реальные vs. номинальные группы организмов, см. выше). В биологической систематике такое понимание смысла классифицирования первыми воплощают эмпирическая и типологическая доктрины (см. 4.1, 4.2), оно становится основным начиная с середины XIX столетия.
Рис. 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 столетий неоднократно возвращаются к исходной схоластической трактовке (см. соответствующие разделы). Роды и виды (в общем случае таксоны), поначалу номинальные, в фенетике таковыми и остаются, но в эволюционной систематике по большей части обретают реальный (объективный) статус, особенно категория вида. Схоластическая традиция поиска подходящих имён унаследована ранней систематикой вплоть до Линнея, но позже её отвергли, поскольку она порождала хаос таксономических названий.