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