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