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

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

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

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

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

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

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

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

Более глубоких вопросов, хочет сказать Порфирий, я не буду затрагивать для того, чтобы несвоевременным их введением не создать замешательства в душе начинающего читателя и не запутать усвоенные им зачатки знаний. Но, с другой стороны, не желая оставить его в полном неведении и заставить думать, будто все, о чем не сказал сам Порфирий, недоступно вообще какому бы то ни было знанию, он говорит и о том, от исследования чего обещал отказаться. Тем самым он избавляет читателя от замешательства и, перечисляя трудные вопросы, не заходит глубоко и не напускает темноты, показывая в то же самое время, за что читатель сможет с полным правом взяться, когда его знания окрепнут.

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