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