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

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

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

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

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

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

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

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

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

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

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

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

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

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