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

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

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

"Общее у отличительного и у собственного признаков то, что причастные им [вещи] причастны им в равной степени; ибо все, что разумно, разумно в равной степени, и то, что способно смеяться, равным образом наделено этой способностью. Далее, общим для обоих является то, что они присущи всегда и всякой [причастной им вещи]; так, если двуногое [существо] будет искалечено и лишится ног, оно все же будет всегда называться двуногим по своей природе; точно так же и "способным смеяться" оно будет всегда зваться по прирожденной особенности, а не потому, что все время смеется".

Теперь Порфирий переходит к исследованию общих свойств отличительного и собственного признаков. Общее, говорит он, у собственного и отличительного признаков то, что они равной причастности. Так, все люди равно разумны и равно способны смеяться: первое - поскольку [разумность] составляет субстанцию [человека], второе - поскольку [способность смеяться] равно присуща подлежащему ей виду и не оставляет его.

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

"Особенность отличительного признака состоит в том, что он часто сказывается о нескольких видах, например, "разумное" - о человеке и о Боге; собственный же признак сказывается только о том единственном виде, которому он свойствен. Далее, отличительные признаки всегда сказываются о своих подлежащих, но не наоборот; напротив, собственные признаки обратимы: они всегда сказываются о своих подлежащих и наоборот".

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

"Общее у отличительного и привходящего признаков - то, что и тот и другой сказываются о многих [предметах]: кроме того, отличительные признаки, так же как и неотделимые привходящие, сказываются всегда и обо всех [причастных им предметах]: ведь всегда и всем воронам свойственно быть двуногими, равно как и черными".

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