Таким образом сказано, когда силлогизм получится и когда нет в тех случаях, если общая (посылка) противоположна частной. Если же обе посылки однородны, то есть если обе или отрицательны или утвердительны, силлогизма никоим образом не получится. В самом деле, предположим сперва, что обе посылки отрицательны и в общей (посылке) взят больший крайний (термин), например, пусть М будет не присуще ни одному Н и не присуще некоторым О. Но тогда Н возможно и присуще всем О и не присуще ни одному О. Терминами для случая, (когда первый термин последнему) не присущ, пусть будут: черное — снег — живое существо[57]; терминов же для случая, (когда он) всему (ему) присущ, найти нельзя, если М некоторым О присуще, а некоторым не присуще[58]. Ибо если бы Н было присуще всем О, а М не присуще ни одному Н, то М не было бы присуще ни одному О, но ведь было предположено, что (М) некоторым (О) присуще[59]. Таким образом, действительно невозможно найти термины[60], но доказать это следует, исходя из неопределенного. В самом деле, так как правильно, что М не присуще некоторым О, также (и в том случае, когда М) не присуще ни одному (О), а когда (М) не присуще ни одному (О), силлогизма не получалось, то очевидно, что силлогизма не получится и теперь. Далее, пусть будут утвердительными обе посылки, и пусть общее (суждение) займет такое же положение[61], например, М присуще всем Н и некоторым О. Тогда Н возможно и присуще всем О и не присуще ни одному О. Терминами для случая, когда (Н) не присуще ни одному (О), пусть будут: белое — лебедь — камень[62], а для случая, когда (Н) присуще всем (О), термины нельзя найти по тем же причинам, о которых (сказано) выше, но доказать это следует, исходя из неопределенного[63]. Если же в общей (посылке) взят меньший крайний (термин) и таким образом М не присуще ни одному О и не присуще некоторым Н, тогда Н возможно и присуще всем О и не присуще ни одному О. Терминами для случая, (когда первый термин) присущ, (последнему), пусть будут: белое — живое существо — ворон., а для случая, (когда он ему) не присущ: белое — камень — ворон[64]. Если же посылки являются утвердительными, тогда для случая, (когда первый термин последнему) не присущ, терминами пусть будут: белое — живое существо — снег, а для случая, (когда он ему) присущ: белое — живое существо — лебедь[65]. Таким образом, очевидно, что силлогизма ни в коем случае не получится, если посылки однородны и (при этом) одна из них общая, а другая — частная. Но силлогизма не получится также (и в том случае), когда (что-либо) обоим (терминам) отчасти присуще или не присуще, или одному отчасти присуще, а другому — нет, или ни одному, ни другому не присуще вовсе, или присуще неопределенно. Общими же терминами для всех (этих случаев) пусть будут: белое — живое существо — человек; белое — живое существо — неодушевленное[66].
Из сказанного, таким образом, очевидно, что если термины относятся друг к другу так, как было сказано (раньше), то силлогизм необходимо получится, и если силлогизм получится, то и термины необходимо будут находиться в таком же отношении. Ясно также, что все силлогизмы по этой фигуре являются несовершенными (ибо все они, чтобы быть совершенными, предполагают еще нечто, что или с необходимостью содержится в терминах[67], или берется по предположению, как, например, когда мы доказываем посредством приведения к невозможному). (Ясно) также и то, что по этой фигуре не получится силлогизма с утвердительным (заключением) и что, таким образом, все заключения (здесь) — отрицательные, как общие, так и частные[68].
ГЛАВА ШЕСТАЯ (Силлогизмы по третьей фигуре)
Если одному и тому же (термину) один (термин) присущ во всем (его) объеме, а другой — вовсе не присущ, или если оба они ему или присущи во всем (его) объеме или вовсе не присущи, то такую фигуру я называю третьей. Средним (термином) я называю в ней тот, которому приписываются оба (крайних); крайними же — те, которые приписываются среднему; большим крайним (термином) — тот, который дальше отстоит от среднего; меньшим же — тот, который стоит к нему ближе[69]. При этом средний (термин) ставится здесь вне крайних и по (своему) положению занимает последнее место. Совершенный силлогизм не может быть построен также и в этой фигуре. Но силлогизм все-таки будет возможен, (независимо от того), будут ли (крайние) термины взяты по отношению к среднему в общих или не в общих (посылках). Если же термины взяты в общих (посылках), то при условии, что и П и Р присущи всем С[70], получится (силлогизм) с заключением о том, что П необходимо присуще некоторым Р. Так как утвердительное суждение обратимо, то и С будет присуще некоторым Р; и так как П присуще всем С, а С — некоторым Р, то П необходимо присуще некоторым Р, и мы будем иметь силлогизм по первой фигуре[71]. Это можно доказать и посредством приведения к невозможному[72], и выделением. Так как оба (термина) присущи всем С, то если взять некоторую часть из С, например Н, — этой (части) будет присуще как П, так и Р, а поэтому и П будет присуще некоторым Р[73].
57
Никакой снег (Н) не черен (М). Некоторые живые существа (О) не черны (М). Заключение, что ни одно живое существо не есть снег, из этих посылок не вытекает.
59
Ни один лебедь (Н) не черен (М). Каждая птица (О) есть лебедь (Н). Ни одна птица (О) не черна (М). Это противоречит принятому положению (некоторые птицы черны).
62
Каждый лебедь (Н) бел (М). Некоторые камни (О) белы (М). Заключение, что ни один камень не есть лебедь, из этих посылок не вытекает. Так как М присуще некоторым О и тогда, когда оно присуще всем О, а в последнем случае (т.е. когда обе посылки общеутвердительные) силлогизм по второй фигуре не получается, то он не получится и в первом случае.
63
Так как M присуще некоторым О и тогда, когда оно присуще всем О, а в последнем случае (т. е. когда обе посылки общеутвердительные силлогизм по второй фигуре не получится и в первом случае.
64
а. Некоторые живые существа (Н) не белы (М). Ни один ворон (О) не бел (М). Заключение, что каждый ворон есть живое существо, из этих посылок не вытекает.
б. Некоторые камни (Н) не белы (М). Ни один ворон (О) не бел (М). Заключение, что ни один ворон не есть камень, из этих посылок не вытекает.
65
а. Некоторые живые существа (Н) белы (М). Всякий снег (О) бел (М). Заключение, что никакой снег не есть живое существо, из этих посылок не вытекает.
б. Некоторые живые существа (Н) белы (М). Каждый лебедь (О) бел (М). Заключение, что каждый лебедь есть живое существо, из этих посылок не вытекает.
66
а. Каждый человек есть живое существо. Нечто белое есть живое существо.
б. Ни одно неодушевленное не есть живое существо. Нечто белое не есть живое существо.
в. Некоторые живые существа белы (не белы). Некоторые люди белы (не белы).
г. Ни одно живое существо не есть неодушевленное. Ни один человек не есть неодушевленное.
д. Живые существа белы (не белы). Люди белы (не белы).
68
Четыре вида силлогизмов второй фигуры по схеме, принятой в современной формальной логике:
а. Ни одно Б не есть А.
Все В суть А.
Ни одно В не есть Б
(Модус ЕАЕ).
б. Все Б суть А.
Ни одно В не есть А.
Ни одно В не есть Б
(Модус АЕЕ).
в. Ни одно Б не есть А.
Некоторые В суть А.
Некоторые В не суть Б
(Модус ЕЮ).
г. Все Б суть А.
Некоторые В не суть А.
Некоторые В не суть Б
(Модус АОО).
69
Здесь указывается на положение терминов при их линейном расположении: А (больший термин) и Б (меньший термин) присущи всем В (среднему термину). Больший термин, таким образом, занимает первое место, меньший – второе, а средний – последнее, соответственно манере Аристотеля ставить сказуемое впереди подлежащего.
71
Каждый человек (С) разумен (П). Каждый человек (С) есть живое существо (Р). Некоторые живые существа (Р) разумны (П).
После обращения меньшей посылки, уже по первой фигуре:
Каждый человек (С) разумен (П). Некоторые живые существа (Р) люди (С). Некоторые живые существа (Р) разумны (П).
72
Ни одно живое существо (Р) не разумно (П). Каждый человек (С) есть живое существо (Р). Ни один человек (С) не разумен (II).
73
Доказательство посредством выделения состоит в том, что выделяется часть среднего термина, которой присущи оба крайних термина и в объеме которой они, следовательно, присущи друг другу. Иными словами, берется один характерный, очевидный случай, от которого легче перейти к более общему заключению.
Пусть Н обозначает Сократа, тогда получится такой силлогизм:
Сократ разумен. Сократ – живое существо.
Некоторые живые существа разумны.