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