Поскольку из рода, разделяемого по различиям, происходит возникновение его видов, ясно, что всякий вид имеет какой-то род и какое-то различие или некоторые из сказывающихся о нем различий рода: ибо поэтому и определение видов – из рода и различий. Например, род человека – животное; поэтому и разумное, и смертное – различия животного, сказывающиеся о нем. «Сколько различий сказывается», как сказано в «Категориях», «столько будет и у подлежащего». Ибо различия рода находятся во всех подлежащих ему, одни в одних, другие в других, очевидно, по которым каждый из подчиненных ему оформляется. Поэтому, когда что-то приписывается как род, нужно искать, какие из разделяющих различий приписанного рода сказываются о том, что поставлено как вид; ибо если ни одно различие рода не сказывается о нем, то и приписанное не будет его родом. Так снова докажется, что число не род души: ибо ни одно из различий числа не сказывается о душе. Ведь различия числа – нечетное и четное; но ни одно из них не присуще душе. Можно авторитетно доказать, что и мир – не животное и ни одно из светил, ибо ни одно из различий животного не сказывается о них: ибо всякое животное – или летающее, или водное, или сухопутное, но ни одно из этого не присуще им. Или другое различие возникающего животного и чувствующего: ибо божественные животные омонимичны им; ибо их жизнь – иная. Доказательство же, что они не среди этих животных. Можно доказать, что и время – не движение, ибо различия движения – скорость и медленность, но ни одно не присуще времени. Но и не удовольствию; так что и удовольствие – не движение. Подобно и единица – не количество, ибо ни непрерывное, ни дискретное. Место же может быть и подтверждающим: ибо если некоторые различия приписанного рода явно сказываются о подлежащем, можно доказать, что оно – его вид. Не следует, однако, заключать, что различие сказывается о виде как в сущности его высказывания: ибо показал, что ни различие не сказывается в сущности о чем-то из подчиненных роду, когда берется само по себе, ни что-то из подчиненных роду или сам род – о различии.
стр. 123a4 «Также, если вид по природе предшествует и уничтожает род.
Этот топ также ясен. Ведь известно, что роды по природе предшествуют видам: ведь род уничтожается сам, не уничтожая вид, но вид не мог бы существовать без рода. Таким образом, ни смешение не есть род соединения, ни перемещение в пространстве – род движения, ни соприкосновение – род непрерывности, ни удар – род звука. Ведь если уничтожается перемещение в пространстве, уничтожается и движение; но с уничтожением движения перемещение в пространстве не уничтожается: ходьба, будучи перемещением в пространстве, не есть движение, как можно сказать. Этот же топ потенциально тождествен топу «если кто-то поместит род в вид». Но он отличается способом опровержения. Он только опровергающий, но не подтверждающий: ведь если что-то по природе предшествует чему-то, это еще не значит, что оно его род. Например, субстанция по природе предшествует другим родам, но не является их родом; единица, будучи первой среди чисел, не есть их род; питательная душа, хотя и первая среди других, не есть их род.»