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