Однако, поскольку одни имена суть омонимы, а другие имеют только одно значение, и те, что имеют одно значение, мы берем для деления родов, а в тех, которые являются омонимами, возможно лишь только деление значения, следует прежде всего рассмотреть, что является однозначным словом, а что омонимом, чтобы - так как здесь возможна ошибка - не разложить омоним на означающие, словно бы на виды. Поэтому опять-таки для деления необходимо определение, ведь что такое однозначное слово и что такое омоним, мы устанавливаем с помощью определения.
Одни дифференции существенные, а другие - по совпадению. Последние, в свою очередь, делятся на сопутствующие и непостоянные. Примерами непостоянных дифференции могут служить следующие состояния: спать, сидеть, стоять, бодрствовать, примеры сопутствующих - кудрявые волосы (если, конечно, они не утрачены) и серо-голубые глаза (если они не повреждены каким-то внешним воздействиям). Однако их не стоит принимать в расчет для деления рода, и для определения они не походят. Ведь мы поступаем совершенно правильно, соединяя для определений все то, что пригодно для деления рода, а для деления рода применимо только то, что существенно, более того, именно оно придает форму и выражает сущность того или иного сущего, например разумность и смертность человека.
Как можно отчетливо показать, относятся ли дифференции к разряду непостоянных, или же к разряду сопутствующих, или - постоянно пребывающих в сущности, мне следует рассмотреть следующим образом: ведь недостаточно знать только то, какие дифференции нам учитывать при делении, если мы также не знаем и того, на каком основании мы безошибочно узнаем те дифференции, которые нам нужно принять, и те, которые нужно отклонить. Стало быть, в первую очередь следует рассмотреть, могут ли те или иные дифференции быть во всяком субъекте и притом всегда. Потому что если они отделимы актуально или в мысли, то их не следует относить к делению рода. Действительно, если дифференция, как это часто бывает, отделяется актуально или в мысли, то это означает, что она относится к разряду непостоянных, скажем, "сидеть" весьма часто обособляется и актуально отделяется от субъекта. То же, что отделяется только в мысли, относится к разряду сопутствующих дифференций, так мы в мысли отделяем от субъекта "с серо-голубыми глазами", когда, допустим, говорим: "есть живое существо о серо-голубых очах, как, например, какой-нибудь человек", но если бы человек не имел такого качества, ему все равно ничто не мешало бы оставаться человеком.
Другим, наоборот, является то, что не может быть отделено в мысли, потому что, если бы оно отделилось, то исчез бы вид, как, например, когда мы говорим, что существенным признаком человека является то, что лишь он один умеет считать или учиться геометрии. Если человек лишается этой способности, то и он сам уже больше не существует. Тем не менее эта дифференция не превращается тотчас в такую, которая относится к числу находящихся в сущности, ведь человек не потому человек, что может считать, но потому, что он разумен и смертен. Значит, те отличительные признаки, благодаря которым сохраняется вид, имеются как в определении вида, так и в делении того рода, который содержит этот вид. Обобщая, следует сказать, что для деления рода или определения вида следует брать все те дифференции, которые являются таковыми, что без них вид не только не может существовать, но и вовсе существует только благодаря им.
А поскольку бывают такие дифференции, которые, несмотря на то, что вносят различие, не должны противополагаться при делении (например, в живом существе - разумное и двуногое: ведь никто не говорит, что из живых существ одни - разумные, а другие - двуногие, потому что "разумное" и "двуногое", хотя и являются дифференциями, однако не образуют оппозиции при делении), то ясно, что сам род могут делить только такие дифференции, которые, будучи положенными в этом роде, противопоставлены друг другу.
Имеются четыре типа противопоставления: 1) контрарность: так благу противостоит зло; 2) обладание и лишенность: например, зрение и слепота (хотя бывает, что в некоторых случаях трудно сказать, имеем ли дело с отношением контрарности, или с лишенностью и обладанием, например, в отношении движения - покоя, здоровья - болезни, бодрствования - сна, света - тьмы, однако же оставим это пока, сейчас следует сказать об остальных видах противопоставления); 3) оппозиция, соответствующая утверждению и отрицанию, например: Сократ жив и Сократ не жив; 4) оппозиция, соответствующая отношению, например, отец - сын, господин - раб.
Так вот, следует показать, согласно каким из этих четырех типов противопоставления деление рода осуществляется самым корректным образом. Ведь очевидно, что и типов оппозиции четыре, и виды и роды делятся посредством выделения оппозиций. Итак, следует сказать, согласно какому из этих четырех типов оппозиции, или даже скорее каким образом, подобает отделять вид от рода.
И первым пусть будет рассмотрено контрадикторное противопоставление. Контрадикторным противопоставлением я называю то, которое полагается через утверждение и отрицание. В этом типе противопоставления отрицание само по себе не образует никакого вида. Действительно, когда я говорю: "человек", или "лошадь", или тому подобное, я называю виды, однако то, что положено с отрицанием, не свидетельствует о виде. В самом деле, "не быть человеком" - это не вид, ведь любой вид утверждает, что нечто есть, отрицание же, что бы оно ни полагало, отделяет "быть" от того, что есть. Например, когда я произнес: "человек", я как бы сказал, что он есть нечто, но когда я произнес: "не человек", я этим отрицанием уничтожил сущность человека. Следовательно, как таковое деление рода на виды не связано с отрицанием.
Впрочем, зачастую приходится образовывать вид посредством отрицания, если вид, который мы хотим обозначить, не имеет собственного названия. Например, когда я говорю: "из нечетных чисел одни простые", как 3, 5, 7, "а другие - не простые", как 9, и еще - "из фигур одни - прямоугольные, а другие - не прямоугольные", "из цветов одни - белые, другие - черные, третьи не белые и не черные". Следовательно, в случае если у того или иного вида нет одного имени, то такой вид необходимо выразить при помощи отрицания. Стало быть, к этому нас принуждает необходимость, а не природа.
Далее, во всех тех случаях, когда мы производим деление путем отрицания, сперва следует высказать либо утверждение, либо простое имя, например, "из чисел одни - простые, другие - не простые", ведь если сначала высказать отрицание, то понимание того, о чем идет речь, будет замедлено. Действительно, когда ты говоришь, что некоторые числа суть простые, то, если на примере или с помощью определения ты объяснишь, какие числа являются простыми, слушатель вскоре поймет сам, какие числа таковыми не являются. Если же поступить наоборот, то он либо в короткое время не узнает ни того, ни другого, либо поймет и то и другое, но с задержкой. Между тем, процедура деления, которая была обнаружена вследствие того, что природа рода весьма очевидна, скорее должна приводить к более понятному.
Далее, утверждение также предшествует отрицанию. А то, что предшествует, должно также и в порядке деления располагаться в начале. Кроме того, необходимо, чтобы определенное всегда предшествовало неопределенному, как равное предшествует неравному, добродетель - порокам, определенное - неопределенному, стабильное и прочное - изменчивому. Но все, что выражается определенной частью речи либо утверждением, является более определенным, чем то, что выражено именем с отрицательной частицей либо отрицанием в целом. По этой причине деление скорее следует производить на основании определенного, нежели неопределенного. Вот что сказано о противопоставлении, которое возникает в силу утверждения и отрицания.
