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