Аниций Боэций - Логические трактаты

Однако мы назвали еще четвертую оппозицию - оппозицию отношения, например: отец - сын, господин - раб, двойное середина, чувственно воспринимаемое - чувство. Стало быть, они не имеют никакой субстанциальной дифференции, посредством которой они отличаются друг от друга, напротив, они скорее заключают в себе такое родство, посредством которого относятся друг к другу таким образом, что друг без друга не могут быть. Следовательно, недопустимо производить деление рода на соотносительные части - подобное деление вообще следует исключить из родового деления. Действительно, "господин" и "раб" не являются видами человека, равно как "среднее" и "двойное" не являются видами числа.

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

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

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

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

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

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

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

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

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