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

Теперь, когда мы показали, что дает эта книга для умения делить, скажем несколько слов о доказательстве, чтобы не показалось оно препятствием неодолимой трудности тому, кто прилежно напрягал свой ум и вспотел в усердных трудах над этой наукой.

Ибо доказательство, то есть достоверный вывод разума относительно исследуемой вещи, выводится на основании того, что по природе известно ранее, того, что соответствует, того, что предшествует, на основании причины, необходимого и взаимосвязанного.

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

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