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