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

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

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

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