Страница 4 из 24
[14] Каждая лошадь (Б) есть живое существо (А). Каждый человек (В) есть лошадь (Б). Каждый человек (В) есть живое существо (А).
[15] Никакая музыка (Б) не есть живое существо (А) Всякое врачебное искусство (В) есть музыка (Б). Никакое врачебное искусство (В) не есть живое существо (А).
[16] Каждый человек (Б) есть живое существо (А). Все существа, имеющие ноги (В), суть люди (Б). Все существа, имеющие ноги (В), суть живые существа (А).
[17] Никакая практическая рассудительность (Б) не есть живое существо (А). Всякое теоретическое рассмотрение (В) есть практическая рассудительность (Б). Никакое теоретическое рассмотрение (В) не есть живое существо (А).
[18] Всякий снег (Б) есть живое существо (А). Нечто белое (В) есть снег (Б). Нечто белое (В) есть живое существо (А).
[19] Ни один человек (Б) не есть живое существо (А). Нечто белое (В) есть человек (Б). Нечто белое (В) не есть живое существо (А).
[20] Все прекрасное (Б) есть живое существо (А). Нечто великое (В) прекрасно (Б). Нечто великое (В) есть живое существо (А).
[21] Ничто прекрасное (Б) не есть живое существо (А). Нечто великое (В) прекрасно (Б). Нечто великое (В) не есть живое существо (А).
[22] Каждый лебедь (Б) есть живое существо (А). Нечто черное (В) есть лебедь (Б). Нечто черное (В) есть живое существо (А).
[23] Ни одно число (Б) не есть живое существо (А). Нечто белое (В) есть число (Б). Нечто белое (В) не есть живое существо (А).
[24] Все белое (Б) есть живое существо (А). Нечто черное (В) есть белое (Б). Нечто черное (В) есть живое существо (А).
[25] Ничто белое (Б) не есть живое существо (А). Нечто черное (В) есть белое (Б). Нечто черное (В) не есть живое существо (А).
[26] Каждое число (Б) есть живое существо (А). Нечто белое (В) есть число (Б). Нечто белое (В) есть живое существо (А).
[27] Ни один лебедь (Б) не есть живое существо (А). Нечто черное (В) есть лебедь (Б). Нечто черное (В) не есть живое существо (А).
ГЛАВА ТРЕТЬЯ
(Истинные заключения из ложных или смешанных посылок по второй фигуре)
По средней же фигуре вообще можно из ложных посылок вывести истинные заключения, (независимо от того), будут ли (при этом) обе посылки взяты целиком ложными пли одна из них будет ложной только отчасти, и точно так же если одна из них будет истинной, а другая - целиком ложной, (все равно), какая из них ложная, или обе отчасти ложные, или одна из них безусловно истинная, а другая - отчасти ложная; или одна целиком ложная, а другая - отчасти истинная; и это имеет место в силлогизмах как с общими, так и с частными заключениями. В самом деле, если А не присуще ни одному Б и присуще всем В, как, например, если быть живым существом не присуще ни одному камню и присуще каждой лошади и если (затем) взять посылки, противные этому, и принять, что А присуще всем Б и не присуще ни одному В, то из целиком ложных посылок получится истинное заключение [1]. Точно так же, если А присуще всем Б и не присуще ни одному В, ибо получится тот же самый силлогизм [2]. Далее, (заключение будет истинным), если одна посылка целиком ложная, другая же целиком истинная, ибо ничто не мешает, чтобы А было присуще всем Б и всем В, а Б не было бы присуще ни одному В, как, например, род присущ видам, не подчиненным один другому. В самом деле, быть живым существом присуще и каждой лошади и каждому человеку, однако ни один человек не есть лошадь. Если же принять, что быть живым существом одному присуще полностью, другому же. вовсе не присуще, то одна посылка будет целиком ложной, другая - целиком истинной, а заключение - истинным, (безразлично) к какой бы из посылок отнести отрицание [3]. Точно так же, если одна посылка отчасти ложная, а другая - целиком истинная. В самом деле, возможно, что А присуще некоторым Б и всем В, а Б не присуще ни одному В, как, например, быть живым существом присуще чему-то белому и каждому ворону; белое же не присуще ни одному ворону. Если же принять, что А не присуще ни одному Б и присуще всему В, то посылка АБ будет отчасти ложной, а посылка АВ - целиком истинной, и истинным будет заключение [4]. И точно так же - при перестановке отрицания, так как доказать это можно посредством тех же терминов [5]. То же самое, если утвердительная посылка отчасти ложная, отрицательная же - целиком истинная. В самом деле, ничто не мешает, чтобы А было присуще некоторым Б и не присуще ни одному В, а Б не было бы присуще ни одному В, как, например, быть живым существом присуще чему-то белому и не присуще никакой смоле, как не присуще никакой смоле и белое. Поэтому, если принять, что А присуще всему Б и не присуще ни одному В, то посылка АБ будет отчасти ложной, посылка же АВ - целиком истинной, и истинным будет заключение [6]. Истинным будет заключение и (в том случае), если обе посылки отчасти ложные. Ибо возможно, что А присуще некоторым Б и некоторым В, а Б не присуще ни одному В, как, например, быть живым существом присуще чему-то белому и чему-то черному, тогда как белое не присуще ничему черному. Следовательно, если принять, что А присуще всем Б и не присуще ни одному В, то обе посылки будут отчасти ложными, а заключение - истинным [7]. Подобным же образом (доказывают) посредством тех же терминов и при перестановке отрицания [8].
Очевидно, что то же самое будет и в силлогизмах с частным заключением, ибо ничто не мешает, чтобы А было присуще всем Б и некоторым В, а Б не было присуще некоторым В, как, например, быть живым существом присуще каждому человеку и чему-то белому, тогда как быть человеком чему-то белому не присуще. Если же принять, что А не присуще ни одному Б и присуще некоторым В, то общая посылка будет целиком ложной, частная же - истинной, и заключение - истинным [9]. Точно так же обстоит дело, если посылку АБ взять утвердительной. В самом деле, возможно, что А не присуще ни одному Б и не присуще некоторым В, а Б не присуще некоторым В, как, например, быть живым существом не присуще ничему неодушевленному и не присуще чему-то белому. Неодушевленное же (также) не присуще чему-то белому. Если же принять, что А присуще всем Б и не присуще некоторым В, то общая посылка АБ будет целиком ложной, посылка же АВ - истинной, и заключение - истинным [10]. Точно так же, если общую (посылку) взять истинной, а частную - ложной, ибо ничто не мешает, чтобы А не сопутствовало ни одному Б и ни одному В, а Б не было присуще некоторым В, как, например, живое существо не сопутствует ни одному числу и ни одному неодушевленному, тогда как число не сопутствует (лишь) некоторым неодушевленным (предметам). Если же принять, что А не присуще ни одному Б и присуще некоторым В, то заключение и общая посылка будут истинными, частная же - ложной [11]. То же самое, если общую посылку взять утвердительной, ибо возможно, что А присуще всему Б и всему В, а Б не сопутствует некоторым В, как, например, род - виду и разновидности. В самом деле, живое существо сопутствует каждому человеку и каждому, имеющему ноги, тогда как человек сопутствует не всем, имеющим ноги. Поэтому, если принять, что А присуще всему Б и не присуще некоторым В, то общая посылка будет истинной, частная же - ложной, а заключение -истинным [12]. Очевидно также, что и из двух ложных посылок может получиться истинное заключение, поскольку вполне возможно, что А присуще всему Б и (ни одному) В, а Б не сопутствует некоторым В. Действительно, если принять, что А не присуще ни одному Б и присуще некоторым В, то обе посылки будут ложными, но заключение будет истинным [13]. Точно так же, если общая посылка утвердительная, а частная - отрицательная, ибо возможно, что А не сопутствует ни одному Б, но сопутствует всем В, а Б не присуще некоторым В, как например, живое существо не сопутствует никакому знанию, но сопутствует каждому человеку, тогда как знание сопутствует не каждому человеку. Если же принять, что А присуще всему Б и некоторым В не сопутствует, то посылки будут ложными, а заключение - истинным [14].