Порфирий насчитывает три общих черты у рода и вида. Первая состоит в том, что они сказываются о многом; однако род, как было отмечено, сказывается о видах, а вид - только об индивидах. В данном случае речь идет о таком виде, который является только видом, то есть не является также и родом, - о последнем виде, как, например, "человек". В самом деле, если бы мы взяли такой вид, который может быть также и родом, и сказали бы, что у него и у рода общее - сказываться о многом, это было бы все равно, что сказать, будто род имеет общую черту с самим собой, так как сказывается о многом. Таков вид, который является не только видом, но также и родом.

Другая общая черта - и тот и другой первичнее того, о чем сказывается. В самом деле, все, что сказывается о многом в прямом смысле (recto ordine), как мы замечали ранее, предшествует тому, о чем сказывается. Кроме того, общее у них то, что и род и вид представляют собой целое для тех, которые заключены и содержатся в их пределах. Ибо род есть целое всех видов, а вид - целое всех индивидов. Ведь и род и вид равно являются объединяющими для многих, а то, что объединяет многих, справедливо называется целым по отношению к тем, кого возводит в единство.

"Различаются же они тем, что род объемлет виды, а виды объемлются родом, но не объемлют родов. Ибо род сказывается о большем числе [предметов], чем вид. Далее, роды должны предшествовать [видам] и лежать в их основании: будучи оформлены видообразующими отличительными признаками, они создают виды. Поэтому роды по природе первичнее и, уничтожаясь, влекут за собой уничтожение видов, но сами при уничтожении вида не уничтожаются; ибо если существует вид, то существует и род, но если существует род, то вид не обязательно будет существовать. Кроме того, роды однозначно (univoce) сказываются о видах, виды же о родах не сказываются. Далее, роды превосходят виды тем, что содержат их; виды же превосходят роды, так как обладают собственными отличительными признаками. Далее, ни вид не может стать когда-либо высшим родом, ни род последним видом".

Изложив общие черты рода и вида, Порфирий переходит к их различиям. Различаются они тем, говорит он, что род содержит виды как "животное" содержит "человека"; вид же не содержит родов, ибо "человек" не сказывается о "животном". Таким образом, вид содержится в роде, но родов не содержит. Ибо всякое более широкое сказуемое содержит меньшее. А раз род - более широкое сказуемое, чем вид, необходимо, чтобы вид содержался в роде, сам же он никоим образом не может включить род в пределы своего оказывания. Вот почему всякий раз, как род воспринимает отличительный признак, он создает вид: род - широчайшее из сказуемых - стискивается [рамками] отличительных признаков и, сужаясь, создает вид. Ибо отличительный признак, соединяясь с родом, всегда производит вид, заставляя универсальное и широчайшее сказуемое сжаться в тесных границах вида. Так, "животное", сказуемое, распространяющееся само по себе чрезвычайно широко, уменьшается до одного-единственного вида - "человека" - как только к нему присоединятся отличительные признаки "разумное" и "смертное". Следовательно, вид всегда меньше рода и поэтому содержится в нем, но его не содержит; и если погибнет род, то исчезнет и вид: ведь после гибели целого не уцелеет часть. А если исчезнет вид, то род останется. Например, если упразднишь "животное", не будет и "человека"; если же уничтожишь "человека", "животное" останется.

В этом заключается также и причина того, что род однозначно сказывается о виде, то есть вид принимает определение и имя рода, но не наоборот: ясно, что род не принимает определения вида, ибо низшие сказуемые принимают субстанцию высших.

Если, определяя "животное", ты скажешь, что это одушевленная и способная к ощущению субстанция, ты будешь прав, так же как если назовешь человека животным. И даже если ты приложишь к человеку определение животного, назвав его одушевленной и способной к ощущению субстанцией, в твоем утверждении не будет ничего ложного. Но понятие (ratio) человека - то есть животное разумное и смертное - не подойдет животному [вообще]. Ведь не [всякое] животное может быть названо разумным и смертным животным.

Итак, вид принимает как имя, так и определение рода; род же ни имени вида не принимает, ни определением его не обозначается. Но если имя и определение одной вещи сказываются о другой вещи, [то эти вещи] называются однозначными. А раз имя и определение рода сказываются о виде, значит, род однозначно сказывается о виде. Но так как ни имя вида, ни определение его не сказывается о роде, это однозначное оказывание необратимо.

Роды отличаются от видов еще и тем, что превосходят каждый из своих видов, так как помимо него содержат и другие виды. Виды же превосходят роды, так как обладают множеством отличительных признаков. В самом деле, "животное", то есть род, превосходит "человека", то есть вид, так как содержит в себе не только человека, но и быка, и лошадь, и другие виды, на которые распространяется его оказывание.