Комментарий к Порфирию   ::   Манлия Аниция

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

Последнее я, пожалуй, поясню немного подробнее. Мы уже говорили о том, что вышестоящие - это субстанциальные роды. Уже потому одному, что они роды, они шире, чем какие бы то ни было виды. Ибо род не мог бы делиться на множество видов, если бы не был больше любого вида. А раз так, то родовое имя подходит виду целиком: объем рода не только достаточен, чтобы сравняться с данным видом, но превосходит объем вида как такового. Таким образом, человек есть животное, поскольку именем "животное" охватывается и человек и множество других животных.