Аналитики. Никомахова этика

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