Это[424] есть, таким образом, общее основание для всех силлогизмов[425] как с общими, так и с частными заключениями. В отношении же силлогизмов с общим заключением это можно выразить иначе. В самом деле, обо всем, что подчинено среднему (термину) или (подлежащему) заключения[426], будет один и тот же силлогизм (в том случае), если одно поставить средним (термином), а другое — (подлежащим) заключения. Например, если АБ есть заключение, выведенное посредством В, то всему тому, что подчинено Б или В, необходимо приписывается А. В самом деле, если Д целиком содержится в Б, а Б — в А, то и Д будет (содержаться) в А. Далее, если Е целиком содержится в В, а В — в А, то и Е будет (содержаться) в А[427]. И точно так же, если заключение отрицательное[428]. Но по второй фигуре заключение (простирается) только на то, что подчинено (подлежащему) заключения. Например, если А не присуще ни одному Б и присуще всем В, то выводится заключение о том, что Б не присуще ни одному В. Если же Д подчинено В, то очевидно, что Б ему не присуще. Но что (Б) не присуще тому, что подчинено А, это из (данного) силлогизма не ясно, хотя, конечно, Б не присуще Е, если (Е) подчинено А. Что Б не присуще ни одному В, доказано силлогизмом, но что Б не присуще А, было принято без доказательства, а потому заключение, что Б не присуще Е, не выводится посредством этого силлогизма[429]. В силлогизмах с частным (заключением) о том, что подчинено (подлежащему) заключения, ничто не выводится с необходимостью (ибо заключения не получается, когда (большая) посылка частная[430]), но о всем том, что подчинено среднему (термину), заключение будет выводиться (с необходимостью), однако не посредством этого силлогизма.
Например, если А присуще всем Б, а Б — некоторым В, то (в этом случае) о том, что подчинено В, ничего не выводится; но о том, что подчинено Б, заключение выводится, однако не посредством (данного) силлогизма[431]. Точно так же и в других фигурах[432]; именно, о том, что подчинено (подлежащему) заключения, заключения не будет, а о другом, (что подчинено среднему термину), будет, но не посредством (данного) силлогизма, а (подобно тому), как и в силлогизмах с общим (заключением), (где) то, что подчинено среднему (термину), доказывалось из недоказанной посылки; так что или и там не будет заключения об этом или будет также и в этих[433].
ГЛАВА ВТОРАЯ (Истинные заключения из ложных или смешанных[434] посылок по первой фигуре)
Дело может обстоять так, что посылки, из которых строится силлогизм, будут (обе) истинными или (обе) ложными, или одна (из) них будет истинной, а другая — ложной, но заключение будет необходимо или истинным, или ложным. Итак, из истинных посылок нельзя выводить ложное заключение, из ложных же посылок можно выводить истинное (заключение), только не (видно), почему (оно истинно), а (видно) лишь, что (оно истинно)[435]. Ибо из ложных посылок нельзя доказать, почему (заключение истинно), а по какой причине — будет сказано в последующем.
Итак, что из истинных посылок нельзя выводить ложное заключение, явствует прежде всего из следующего. Если Б необходимо есть, когда есть А, то если нет Б, необходимо не будет и А. Таким образом, если А истинно, то необходимо должно быть истинным и Б; иначе оказалось бы, что одно и то же может одновременно и быть и не быть, а это невозможно[436]. Однако на том основании, что А взят (здесь) как один термин, нельзя полагать, что если существует что-то одно, то что-то (другое) вытекает с необходимостью, так как это невозможно. Ведь то, что вытекает с необходимостью, есть заключение. Для того же, чтобы вывести заключение, требуется по меньшей мере три термина, два (их) соединения, или (две) посылки. Следовательно, если истинно, что всему тому, чему присуще Б, присуще также и А, и всему тому, чему присуще В, присуще также и Б, то чему присуще В, необходимо присуще и А; и это (суждение) не может быть ложным, ибо иначе одно и то же одновременно было бы присуще и не присуще. Таким образом, А взято как одно, но охватывает две посылки. Точно так же обстоит дело и с силлогизмами с отрицательным заключением, ибо из истинных (посылок) нельзя доказать ложное.
427
а. Каждое живое существо (В) есть физическое тело (А). Каждое двуногое существо (Б) есть живое существо (В). Каждое двуногое существо (Б) есть физическое тело (А),
б. Каждое двуногое существо (Б) есть физическое тело (А). Каждый человек (Д) есть физическое тело (А). Каждый человек (Д) есть двуногое существо (Б).
в. Каждое живое существо (В) есть физическое тело (А). Каждый лебедь (Е) есть живое существо (В), Каждый лебедь (Е) есть физическое тело (А),
428
а. Ни одно живое существо (В) не есть камень (А). Каждое двуногое существо (Б) есть живое существо (В). Ни одно двуногое существо (Б) не есть камень (А).
б. Ни одно двуногое существо (Б) не есть камень (А). Каждый человек (Д) есть двуногое существо (Б). Ни один человек (Д) не есть камень (А).
в. Ни одно живое существо (В) не есть камень (А). Каждый лебедь (Е) есть живое существо (В). Ни один лебедь (Е) не есть камень (А).
429
Аристотель здесь показывает, что во второй фигуре нет силлогистического заключения о том, что подчинено среднему термину, хотя вывод о нем существует.
Пусть Е будет подчинено А (то-есть все Е суть А). В таком случае можно утверждать, что ни одно Е не есть Б (ибо если ни одно Б не есть А, то и ни одно А, а следовательно и Е, не есть Б), но это не есть силлогистическое заключение, а вывод этот получается через обращение одной лишь большей посылки, взятой без доказательства, и для него меньшая посылка не нужна.
Все это относится к модусу ЕАЕ второй фигуры. Что касается модуса А ЕЕ, то он вообще не дает никаких оснований для какого бы то ни было заключения о том, что подчинено среднему термину. В самом деле.
Каждое двуногое существо (Б) есть живое существо (А). Ни один камень (В) не есть живое существо (А). Ни один камень (В) не есть двуногое существо (Б).
Пусть Е (например человек) будет подчинено А. Тогда: Каждое двуногое существо (Б) есть живое существо (А) (мы должны взять именно это суждение в качестве большей посылки, чтобы получить заключение об отношении Е к Б:) Каждый человек (Е) есть живое существо (А). Но при двух утвердительных посылках вторая фигура не дает никакого заключения.
430
Каждый человек (Б) есть двуногое существо (А). Некоторые живые существа (В) суть люди (Б). Некоторые живые существа (В) суть двуногие существа (А).
Пусть Д (например лошадь) будет подчинено среднему термину (В). Чтобы получить заключение об отношении Д к А, мы должны взять А большим термином и В – средним.
Тогда:
Некоторые живые существа (В) суть двуногие существа (А). Каждая лошадь (Д) есть живое существо (В). Заключение невозможно (см. главу 4 первой книги). То же самое и в частных модусах второй и третьей фигур.
Для примера возьмем модус ЕIO второй фигуры:
Ни один ворон (А) не бел (Б). Некоторые живые существа (В) белы (Б). Некоторые живые существа (В) не суть вороны (А).
Чтобы получить заключение ДА, следует взять посылки:
Некоторые живые существа (В) не суть вороны (А). Все лошади (Д) суть живые существа (В). Заключение невозможно.
431
Все Б суть А, некоторые В суть Б; следовательно, некоторые В суть А. Пусть Е будет подчинено среднему термину (Б), тогда все Е будут А, ибо все Б суть А, а все Е суть Б. Но это не вытекает из заключения данного силлогизма, а из его большей посылки.
432
За исключением, однако, модусов АОО и ЕIO второй фигуры и IАI и ОАО третьей, которые не дают заключения о том, что подчинено среднему термину: модусы АОО и ЕЮ – потому, что при этом получается вторая фигура с двумя утвердительными посылками, а модусы IАI и ОАО – потому, что при этом получается первая фигура с частной большей посылкой. Несколько примеров:
-1. Каждый человек (А) есть двуногое существо (Б). Некоторые живые существа (В) не суть двуногие существа (Б). Некоторые живые существа (В) не суть люди (А).
Пусть Е (птица) будет подчинено среднему термину (Б). Чтобы получить заключение об отношении Е к А, придется взять из данного силлогизма большую посылку:
Каждый человек (А) есть двуногое существо (Б). Каждая птица есть двуногое существо (Б). Заключение здесь невозможно.
-2. Некоторые двуногие существа (Б) белы (А). Каждое двуногое существо (Б) есть живое существо (В). Некоторые живые существа (В) белы (А).
Пусть Е (птица) будет подчинено среднему термину (Б). Чтобы получить заключение об отношении Е к А, придется взять из данного силлогизма большую посылку: Некоторые двуногие существа (Б) белы (А). Каждая птица (Е) есть двуногое существо (Б). Заключение невозможно (первая фигура с частной большей посылкой заключения не дает).
433
То-есть в силлогизмах с общим заключением не будет заключения о том, что подчинено среднему термину, а если оно там возможно, то оно возможно и в силлогизмах с частным заключением.
435
Истинные заключения из ложных посылок истинны не потому, что вытекают из этих посылок, а сами по себе.
436
Предположим, что А истинно (то-есть реально существует), а Б не истинно (то-есть реально не существует). Но если нет Б, нет и А. Поэтому при нашем предположении А будет реально существовать и не существовать, что невозможно.