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