Логические трактаты

Знать это - весьма полезно, поскольку род есть некоторым образом подобие многих видов, которое указывает на сущностное единство их всех, и потому род есть собрание многих видов, в то время как разъединением одного рода являются виды. А поскольку они образуются отличительными признаками (как выше сказано), то в одном роде не может быть меньше двух видов: ведь всякая дифференция состоит во множестве отличий. Однако о делении рода и вида и так сказано уже много.

Определение

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

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