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