И относительно многих вещей, одним из которых присуще то, что другим не присуще, отрицание одинаково истинно, сказать ли «все [А] не суть белые» или «каждое [А] не есть белое», но ложным будет утверждение: «каждое [А] есть не белое», или «все [А] суть не белые». Точно так же отрицанием утверждения «всякое живое существо есть белое» не будет «всякое живое существо есть не белое» (ведь оба положения ложны), а таким отрицанием будет «всякое живое существо не есть белое». Но так как ясно, что смысл высказываний «есть не белое» и «не есть белое» различен и первое есть утверждение, а второе – отрицание, то очевидно, что и способ [доказательства] того и другого будет не одним и тем же, например [для положений] «то, что есть живое существо,
Вообще же, когда А и Б так относятся друг к другу, что не могут вместе быть присущими одному и тому же (а всякой вещи необходимо присуще лишь одно из них), а В и Д со своей стороны относятся друг к другу точно таким же образом и А при этом следует из В, но не наоборот, тогда и Д будет следовать из Б, но не наоборот, и А и Д могут быть присущими одному и тому же, но Б и В – не могут. Итак, во-первых, что Д следует из Б – это очевидно вот из чего. Так как всякой вещи необходимо присуще или В, или Д, а тому, чему присуще Б, не может быть присуще В, ибо А содержит в себе В, а А и Б не могут быть присущи одному и тому же, то очевидно, что Д будет следовать из Б. Во-вторых, так как В необратимо с А, а всякой вещи присуще или В, или Д, то А и Д возможно присущи одному и тому же. Но Б и В не могут быть присущи одному и тому же, поскольку А сопутствует В, иначе получилось бы нечто невозможное. Очевидно поэтому, что Б необратимо с Д, так как А вместе с Д возможно присущи одному и тому же.
Иногда бывает, что при таком расположении терминов впадают в ошибку из-за того, что неправильно берут противоположности, одна из которых необходимо присуща всякой вещи, например, [когда рассуждают так]: «Если А и Б не могут вместе быть присущи одному и тому же, то необходимо, чтобы тому, чему не присуще А, было присуще Б; В и Д, со своей стороны, относятся друг к другу точно таким же образом, и всему тому, чему присуще В, сопутствует А. Отсюда следует, что тому, чему присуще Д, необходимо присуще и Б». Однако это ложно. В самом деле, пусть отрицанием А и Б будет З, а отрицанием В и Д – Ф; в таком случае всякой вещи необходимо присуще либо А, либо З, а именно либо утверждение, либо отрицание, а с другой стороны, либо В, либо Ф, ибо они также утверждение и отрицание. И чему присуще В, всему тому, по предположению, присуще и А; следовательно, чему присуще З, всему тому присуще Ф. Далее, так как каждой вещи присуще одно из двух, или З, или Б и точно так же или Ф, или Д, а Ф следует из З, то и Б также будет следовать из Д, что мы уже знаем. Таким образом, если А следует из В, то и Б следует из Д. Но это ложно, ибо при таком отношении терминов порядок их следования был как раз обратным. В самом деле, не необходимо, пожалуй, чтобы всякой вещи было присуще либо А или З, либо З или Б, так как З не есть отрицание А. Ведь отрицанием «блага» будет «не благо», но «не благо» не есть то же, что «ни благо, ни не благо». Точно так же обстоит дело и с В и Д, ибо [для одного термина] было принято два отрицания.
Книга вторая
Глава первая
[Получение нескольких выводов из одних и тех же посылок]