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