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