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

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

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

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