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