Аналитики. Первая и Вторая

И подобным же образом обстоит дело также и (с заключениями), которые выводятся посредством приведения к невозможному, ибо их также нельзя раскрыть. Само же приведение к невозможному раскрыть можно (так как оно доказывается посредством силлогизма). Другое же (заключение) нельзя раскрыть, ибо оно выводится из предположения[387]. От (заключений), о которых речь шла выше, эти отличаются тем, что в тех необходимо заранее допускать (что-либо), чтобы затем согласиться (с этим). Например, если доказано, что для противоположностей существует одна и та же возможность, то (следует признать), что и наука (о них) одна и та же; здесь же[388] соглашаются и без предварительного допущения (чего-либо), ибо ложность (вывода) очевидна, например: если допустить, что диаметр соизмерим (со стороною), то нечетное (окажется) равным четному.

Существует и еще много других (заключений), которые выводятся посредством предположения и которые надлежит рассмотреть и точно обозначить. Мы будем позднее говорить о том, чем эти силлогизмы отличаются (друг от друга) и сколькими способами они строятся. Пока же пусть будет очевидным нам то, что такого рода силлогизмы нельзя раскрыть в указанных фигурах. А по какой причине — мы (уже) сказали.

ГЛАВА СОРОК ПЯТАЯ (Сведение силлогизмов одной фигуры к силлогизмам другой)

Если положения, которые доказываются по нескольким фигурам, по одной фигуре силлогистически (уже) доказаны, то силлогизм можно свести к другой (фигуре), как, например, силлогизм первой фигуры с отрицательным заключением — ко второй фигуре, а (силлогизм) средней фигуры — к первой. Однако это возможно не во всех, а (только) в некоторых (случаях), что станет очевидным из последующего. В самом деле, если А не присуще ни одному Б, а Б присуще всем В, то А не будет присуще ни одному В. Так получается первая фигура. Если же отрицательное (суждение) подвергнуть обращению, то получится средняя (фигура), ибо Б не будет (тогда) присуще ни одному А и будет присуще всем В[389]. Подобным же образом будет (обстоять дело), если (заключение) силлогизма не общее, а частное, например, если А не присуще ни одному Б, а Б присуще некоторым В. Тогда, если отрицательную (посылку) подвергнуть обращению, получится средняя (фигура)[390].

Из силлогизмов, построенных по второй фигуре, силлогизмы с общим заключением можно свести к первой фигуре, из силлогизмов же с частным заключением — только один из двух (видов). В самом деле, пусть А не присуще ни одному Б, но присуще всем В. Если же отрицательное (суждение) подвергнуть обращению, то получится первая фигура, ибо Б не будет (тогда) присуще ни одному А, а А будет присуще всем В[391]. Если же утвердительное (суждение) отнести к Б, а отрицательное — к В, то в качестве первого термина следует взять В, ибо (В в таком случае) не присуще ни одному А, но А присуще всем Б. Поэтому В не будет присуще ни одному Б. Но и Б (тогда не будет присуще) ни одному В, ибо отрицательное (суждение) обратимо[392]. Если же силлогизм имеет частное заключение и при этом отрицание отнесено к большему крайнему (термину), то (силлогизм) можно свести к первой (фигуре), например, если А не присуще ни одному Б и присуще некоторым В, ибо при обращении отрицательного (суждения) получится первая фигура. Действительно, Б не будет присуще ни одному А, но А будет присуще некоторым В[393]. Но если утвердительное (суждение) отнести к большему крайнему (термину), то раскрытие невозможно, например, если А присуще всем Б и не всем В, ибо (в этом случае) посылка АБ не допускает обращения; если же его произвести, то не получится силлогизма[394].

Далее, что касается силлогизмов третьей фигуры, то не все они могут быть раскрыты в первой фигуре[395], (силлогизмы) же первой фигуры все могут быть раскрыты в третьей фигуре. В самом деле, пусть А присуще всем Б, а Б — некоторым В. Так как частноутвердительное (суждение) обратимо, то и В будет присуще некоторым Б. Но А было присуще всем Б, так что получится третья фигура[396]. И то же самое будет, если силлогизм имеет отрицательное заключение: ведь частноутвердительная (посылка) обратима, так что А не будет присуще ни одному Б, но В будет присуще некоторым (Б)[397].