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