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

Точно так же обстоит дело и с частным силлогизмом. А именно: если отрицательная посылка общая и о необходимо присущем, то и заключение будет о необходимо присущем; если же общей [и о необходимо присущем] будет утвердительная посылка, а частной [и не о необходимо присущем] – отрицательная, то не получится заключения о необходимо присущем. Итак, пусть сперва отрицательная посылка будет общей и о необходимо присущем, и пусть А не может быть присуще ни одному Б, но может быть присуще некоторым В. Так как отрицательная посылка обратима, то и Б не может быть присуще какому-либо А; но ведь А присуще некоторым В, потому и Б необходимо не будет присуще некоторым В. Предположим теперь, наоборот, что общей и о необходимо присущем будет утвердительная посылка, и пусть то, что содержит утверждение, будет отнесено к Б. Если А, таким образом, необходимо присуще всем Б и не присуще некоторым В, то очевидно, что Б не будет присуще некоторым В, но не необходимо. Доказать это можно посредством тех же терминов, что и при общих силлогизмах. Наконец, и в том случае, если о необходимо присущем будет частноотрицательная посылка, то не получится заключения о необходимо присущем. Доказать это можно посредством тех же терминов.

Глава одиннадцатая

[Силлогизмы по третьей фигуре, в которых одна из посылок – о присущем, а другая – о необходимо присущем]

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

Итак, было сказано, что заключение будет о необходимо присущем, если [крайние] термины связаны со средним в общих посылках. Если же одна посылка – общая, а другая – частная, то заключение также будет о необходимо присущем при условии, что обе посылки будут утвердительными, а общая посылка – о необходимо присущем. Доказывается это так же, как и раньше, ибо и частноутвердительная посылка обратима. Итак, если Б необходимо присуще всем В, а А подчинено В, то Б необходимо присуще некоторым А. Но если Б присуще некоторым А, то и А необходимо присуще