Страница 8 из 38
Всем сказанным выяснено, как обстоит дело с силлогизмами, доказывающими, что (нечто) присуще (другому) или не присуще, также и то, каковы силлогизмы одной и той же фигуры сами по себе и как (относятся) друг к другу силлогизмы разных (фигур).
[1] а. Когда большая посылка общая:
Каждый человек (Б) есть живое существо (А). Ни одно неразумное существо (б) не есть человек (Б).
После обращения посылок:
Ни один человек (Б) не есть неразумное существо (В). Некоторые живые существа (А) суть люди (Б). Некоторые живые существа (А) не суть неразумные существа (В).
б. Когда большая посылка частная:
Некоторые люди (Б) суть белы (А). Ни одно неразумное существо (В) не есть человек (Б).
После обращения посылок:
Ни один человек (Б) не есть неразумное существо (В). Некоторые белые существа (А) суть люди (Б). Некоторые белые существа (А) не суть неразумные существа (В).
[2] Так называемые косвенные модусы силлогизма (modi indirecti).
По второй фигуре:
Некоторые люди (А) белы (Б). Ни один мавр (В) не бел (Б).
После обращения одной посылки:
Ничто белое (Б) не есть мавр (В). Некоторые люди (А) белы (Б). Некоторые люди (А) не суть мавры (В).
По третьей фигуре:
Каждый человек (Б) есть двуногое существо (В). Ни один человек (Б) не есть птица (А).
После обращения одной посылки:
Ни один человек (Б) не есть птица (А). Некоторые двуногие существа (В) суть люди (Б). Некоторые двуногие существа (В) не суть птицы (А).
[3] Каждый человек (В) есть разумное существо (А). Каждый человек (В) есть живое существо (Б). Некоторые живые существа (Б) суть разумные существа (А) (модус AAI).
Доказательство посредством приведения к невозможному:
Ни одно живое существо (Б) не есть разумное существо (А). Каждый человек (В) есть живое существо (Б). Ни один человек (В) не есть разумное существо (А).
[4] а. Когда большая посылка общеотрицательная:
Ни один камень не есть живое существо. Каждый человек есть живое существо. Ни один человек не есть камень (модус ЕАЕ второй фигуры).
После обращения большей посылки:
Ни одно живое существо не есть камень. Каждый человек есть живое существо. Ни один человек не есть камень (модус ЕАЕ первой фигуры).
б. Когда меньшая посылка общеотрицательная:
Каждый человек есть живое существо. Ни один камень не есть живое существо. Ни один камень не есть человек (модус АЕЕ).
После обращения меньшей посылки:
Ни одно живое существо не есть камень. Каждый человек есть живое существо. Ни один человек не есть камень (модус ЕАЕ).
[5] Ни один человек не есть неразумное существо. Некоторые живые существа суть неразумные существа. Некоторые живые существа не суть люди (модус ЕЮ).
Доказательство посредством приведения к невозможному (по первой фигуре):
Ни один человек не есть неразумное существо. Каждое живое существо есть человек. Ни одно живое существо не есть неразумное существо (модус ЕАЕ).
[6] Всякое благо (Б) достойно желания (А). Некоторое удовольствие (В) есть благо (Б). Некоторое удовольствие (В) достойно желания (А) (модус АН).
Доказательство посредством приведения к невозможному (по второй фигуре):
Всякое благо (Б) достойно желания (А). Никакое удовольствие (В) не достойно желания (А). Никакое удовольствие (В) не есть благо (Б).
[7] Ни один человек (Б) не есть неразумное существо (А). Некоторые живые существа (В) суть люди (Б). Некоторые живые существа (В) не суть неразумные существа (А) (модус ЕЮ).
Доказательство посредством приведения к невозможному (по второй фигуре):
Ни один человек (Б) не есть неразумное существо (А). Каждое живое существо (В) есть неразумное существо (А). Ни одно живое существо (В) не есть человек (Б).
[8] Первой фигуры.
Силлогизм по третьей фигуре с общеутвердительной большей посылкой:
Каждый человек есть разумное существо. Каждый человек есть живое существо. Некоторые живые существа суть разумные существа (модус АА1).
Доказательство посредством приведения к невозможному (по первой фигуре):
Ни одно живое существо не есть разумное существо. Каждый человек есть живое существо. Ни один человек не есть разумное существо (модус ЕАЕ).
Силлогизм по третьей фигуре с общеотрицательной большей посылкой:
Ни один человек не есть лошадь. Каждый человек есть живое существо. Некоторые живые существа не суть лошади (модус ЕАО).
Доказательство посредством приведения к невозможному (по первой фигуре):
Каждое живое существо есть лошадь. Каждый человек есть живое существо. Каждый человек есть лошадь (модус ААА),
ГЛАВА ВОСЬМАЯ
(Модальность силлогизмов)
Так как быть (чему-нибудь) присущим, необходимо присущим, возможно присущим [1] - не одно и то же (ибо многое присуще (другому), однако не необходимо, другое же присуще ни необходимо, ни просто, но оно может быть присуще), то ясно, что в каждом из этих (случаев) силлогизм будет разным и что (каждый раз) отношение терминов будет не одним и тем же: они будут то необходимо (присущи), то присущи, то возможно (присущи).
С необходимо (присущим) дело обстоит почти так же, как и с присущим, так как при одинаковом положении терминов (в посылках) о присущем и необходимо присущем или не присущем силлогизм получится и не получится с тем лишь различием, что к терминам прибавляется "необходимо присуще" или "необходимо не присуще". Отрицательное суждение обратимо совершенно так же, ведь "целиком содержаться в другом" и "быть (присущим) всем" мы будем понимать одинаково. И в других (случаях) тем же способом, то есть посредством обращения, доказывается, что заключение является необходимым, - точно так же (как это имело место в заключениях) о присущем. В средней же фигуре, если общее (суждение) является утвердительным, а частное - отрицательным, и далее, в третьей фигуре, если общее (суждение) является утвердительным, а частное - отрицательным, доказательство уже не будет таким, но из одного (термина) необходимо выделить ту часть, которой два других (термина) не присущи, и относительно ее построить силлогизм, ибо (заключение) относительно ее будет необходимым; если же оно будет необходимым по отношению к выделенному (термину), то оно будет необходимым также и по отношению к части (первоначально принятого), так как она тождественна с выделенным (термином) [2]. Каждый из (этих) силлогизмов строится по соответствующей фигуре.