(Построение силлогизмов (продолжение))
Точно так же, как с непосредственными силлогизмами, обстоит дело и с силлогизмами, заключения которых доказываются посредством приведения к невозможному, ибо и они строятся посредством того, что сопутствует, и того, чему сопутствует каждый (из терминов). Самый (способ) рассмотрения в обоих (видах силлогизма) - один и тот же [1], ибо то, что доказывается прямо, может быть доказано и посредством приведения к невозможному и (притом) посредством одних и тех же терминов [2]. Таким же образом и то, что доказывается посредством приведения к невозможному, может быть доказано и прямо, например, что А не присуще ни одному Е. Предположим, что оно присуще некоторым (Е); но так как Б присуще всем А, а А - некоторым Е, то и Б будет присуще некоторым Е. Но оно ведь не было присуще ни одному (Е) [3]. Далее (доказывается), что (А) присуще некоторым (Е). Если бы А не было присуще ни одному Е, то, так как Е присуще всем Э, А не было бы присуще ни одному Э, но (А) ведь было присуще всем Э [4]. Подобным же образом обстоит дело и с другими задачами, ибо всегда и во всех (случаях) доказательство посредством приведения к невозможному ведется исходя из того, что сопутствует (обоим терминам), и чему оба (крайних) сопутствуют. И в отношении каждой задачи исследование остается одним и тем же, (независимо от того), желают ли доказывать прямо или посредством приведения к невозможному, ибо оба (вида) доказательства ведутся посредством одних и тех же терминов, как, например, (положение), что А не присуще ни одному Е, доказывается тем, что (иначе) Б было бы присуще некоторым Е, что невозможно. Если же принять, что Б не присуще ни одному Е, но присуще всем А, то очевидно, что А не будет присуще ни одному Е. С другой стороны, если прямо выводится заключение, что А не присуще ни одному Е, то при предположении, что (А) присуще некоторым (Е), будет доказано посредством приведения к невозможному, что (А) не присуще ни одному (Е) [5]. Подобным образом (обстоит дело) и в других (случаях), ибо во всех (случаях) необходимо взять некоторый, отличный от данных терминов общий (термин), к которому относится заключение о ложном, так что если эту посылку подвергнуть обращению, а другую оставить, как она есть, то получится непосредственный силлогизм с теми же самыми терминами [6]. Различается же непосредственный силлогизм от (силлогизма, заключение которого доказывается) посредством приведения к невозможному, тем, что в непосредственном силлогизме обе посылки взяты истинными, (тогда как) в силлогизме, (заключение которого доказывается) посредством приведения к невозможному, одна ложная.
Это станет еще более очевидным из последующего, когда мы будем говорить о невозможном [7]. Пока же должно быть ясным то, что как при прямом доказательстве, так и при доказательстве посредством приведения к невозможному следует искать одно и то же. В других условных силлогизмах, как, например, по перестановке или по качеству, доказательство ведется посредством данных (терминов), но не взятых с самого начала, а по перестановке [8]. Способ же нахождения (среднего термина) - тот же самый. При этом следует, однако, рассмотреть, сколько существует видов условных (силлогизмов) и различить их.
Итак, каждое положение может быть доказано указанным образом. Но некоторые (положения) могут быть доказаны еще и иным способом, например, общие (положения) - рассмотрением частного и (притом) исходя из (некоторого) предположения [9]. В самом деле, если В и Э тождественны и (при этом) принимается, что Е присуще только Э, то А будет присуще всем Е. С другой стороны, если Д и Э тождественны и Е приписывается только Э, то выводится заключение, что А не присуще ни одному Е. Отсюда очевидно, что этим-то способом и нужно вести исследование. Тот же способ следует применить также и к силлогизмам о необходимо и возможно (присущем), ибо (ход) рассуждения - тот же самый, и посредством терминов, расположенных в том же самом порядке, будет построен силлогизм о присущем и о возможно (присущем). Возможность же следует понимать также и в том смысле, что (что-нибудь) не присуще, но может быть присуще, ибо было доказано, что силлогизм о возможно (присущем) получается также и из таких (посылок). Так же будет обстоять дело и с другими (видами) утверждений.
Из сказанного очевидно не только то, что этим путем можно строить все силлогизмы, но и то, что их невозможно получить никаким иным, ибо доказано, что всякий силлогизм получается по одной из выше указанных фигур, а эти фигуры не могут быть образованы иначе, как только посредством того, что сопутствует (данным терминам), и того, чему каждый (из них) сопутствует, ибо через них получаются посылки и берется средний (термин), так что по какому-либо другому (способу) невозможно строить силлогизм.