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