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

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