Таково же положение и отрицательных (суждений) по отношению к утвердительным[413]
. В самом деле: пусть А означает равное, Б — не равное, В — неравное и Д — не неравное[414]. И относительно многих (предметов), одним из которых присуще то, что другим не присуще, отрицание одинаково истинно, (скажем ли мы): "все не суть (нечто) белое" или "каждое не есть (нечто) белое", но ложным будет утверждение: "каждое есть (нечто) не белое" или "все суть (нечто) не белое". Точно так же по отношению к утверждению "всякое живое существо есть (нечто) белое" отрицанием не будет "всякое живое существо есть (нечто) не белое" (ибо оба (положения) ложны), а (таким отрицанием будет): "всякое живое существо не есть (нечто) белое". Но так как ясно, что смысл суждений "есть не белое" и "не есть белое" различен и первое есть утверждение, а второе отрицание, то очевидно, что и способ доказательства будет в обоих (случаях) не одним и тем же, как, например, нельзя доказывать одинаковым образом (суждения): "то, что есть живое существо, не есть (нечто) белое или может не быть белым", и "правильно, что (то, что есть живое существо), есть (нечто) не белое", ибо это (последнее) и означает быть не белым. Но для (суждений) "правильно, что оно есть (нечто) белое", или "правильно, что оно есть (нечто) не белое", — способ доказательства будет одним и тем же, ибо оба (суждения) доказываются как утвердительные (заключения) по первой фигуре. В самом деле, (слово) "правильно" ставится подобно (слову) "есть", ибо по отношению к суждению "правильно, что (оно) есть (нечто) белое", отрицанием не будет "правильно, что (оно) есть (нечто) не белое", а "неправильно, что (оно) есть (нечто) белое". Поэтому, если (нужно доказать положение) "правильно, что всякий человек образован или не образован", то нужно принять (положение): "всякое живое существо образовано или не образовано", и таким образом доказать[415]. Напротив, (суждение) "ни один человек не образован" доказывается путем опровержения тремя указанными способами[416].Вообще же если А и Б так относятся друг к другу, что не могут одновременно быть присущими одному и тому же (а всякому (предмету) необходимо присуще (лишь) одно из них), и если, далее, В и Д относятся друг к другу точно таким же образом и А при этом сопутствует В, но не наоборот[417]
, то Д будет сопутствовать Б, но не наоборот, и А и Д могут (тогда) быть присущими одному и тому же, но Б и В — не могут. Итак, что Д сопутствует Б, прежде всего очевидно из следующего. Так как всякому (предмету) необходимо присуще или В или Д, а тому, чему присуще Б, не может быть присуще В, ибо (В) ведет за собой А, а и Б не могут быть присущими одному и тому же, то очевидно, что Д будет сопутствовать (Б). Далее, так как для В невозможно обращение с А[418], а каждому (предмету) присуще или В или Д, то А и Д возможно присущи одному и тому же. Но Б и В не могут быть присущи одному и тому же, ибо А сопутствует В, иначе получилось бы нечто невозможное[419]. Очевидно поэтому, что для Б невозможно обращение с Д, так как А вместе с Д возможно присущи одному и тому же[420].Иногда случается, что при таком расположении терминов впадают в ошибку вследствие того, что неправильно выбирают противоположности, из которых та или другая необходимо присуща всякому (предмету), например, если А и Б не могут одновременно быть присущими одному и тому же, то необходимо, чтобы тому, чему не присуще (А), было присуще (Б). И таким же образом обстоит дело с В и Д, (притом так), что всему тому, чему (присуще) В, сопутствует и А. В таком случае могут выводить заключение о том, что тому, чему присуще Д, необходимо присуще и Б, что, однако., ложно. В самом деле: пусть в качестве отрицания по отношению к АБ будет взято З, а в качестве отрицания по отношению к ВД — Ф; в таком случае всякому (предмету) необходимо присуще либо А, либо З, — либо утверждение, либо отрицание. И опять-таки либо В, либо Ф, ибо они являются утверждением и отрицанием. И чему присуще В, тому всему предполагается присущим и А. Следовательно, всему тому, чему присуще З, тому и будет присуще Ф. Далее, так как каждому (предмету) присуще одно из двух, или З или Б, и равным образом или Ф или Д, а Ф сопутствует З, то и Б также будет сопутствовать Д, что мы уже знаем. Таким образом, если А сопутствует В, то и Б будет сопутствовать Д. Но это ложно, ибо порядок зависимости (терминов), относящихся друг к другу таким образом, был как раз обратным. В самом деле, не необходимо, пожалуй, чтобы всему было присуще либо А или З, либо З или Б, так как З не есть отрицание в отношении А[421]
. В самом деле, в отношении блага отрицание будет "не благо", а "не благо" не есть то же самое, что "ни благо, ни не благо". Точно так же обстоит дело и в отношении ВД, ибо (для одного утверждения) было принято два отрицания[422].ПЕРВАЯ АНАЛИТИКА. КНИГА ВТОРАЯ