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