Если же одно и то же одному всему присуще, а другому вовсе не присуще или и тому и другому всему присуще или вовсе не присуще, то такую фигуру я называю второй. Средним термином в этой фигуре я называю тот, который сказывается об обоих крайних, крайними же терминами – те, о которых высказывается средний: большим крайним – тот, который находится ближе к среднему, меньшим крайним – тот, который находится дальше от среднего. Средний же термин стоит вне крайних и по положению – первый. Совершенным силлогизм по этой фигуре не может быть никоим образом. Но силлогизм здесь возможен, все равно, взяты ли термины в общих или не в общих посылках. Если же термины взяты в общих посылках, то силлогизм получится, когда средний термин одному из крайних всему присущ, а другому вовсе не присущ, все равно, к какому из крайних относится отрицание. Иначе силлогизма никак не получится. Пусть М не сказывается ни об одном Н, но сказывается обо всех О; так как отрицательная посылка обратима, то и Н не будет присуще ни одному М; но было предположено, что М присуще всем О, а потому Н не присуще ни одному О, как это и было показано раньше. Далее, если М присуще всем Н и не присуще ни одному О, то и О не будет присуще ни одному Н, ибо если М не присуще ни одному О, то и О не присуще ни одному М; но было предположено, что М присуще всем Н, следовательно, О не будет присуще ни одному Н, и снова получается первая фигура. А так как отрицательная посылка обратима, то и Н не будет присуще ни одному О, и поэтому снова получится тот же силлогизм. Это можно доказать и посредством приведения к невозможному. Очевидно, что при таком отношении терминов силлогизм, правда, получится, однако несовершенный, ибо необходимость [следования] устанавливается здесь полностью на основании не только первоначально взятого, но и чего-то другого. Если же М сказывается о всех Н и всех О, то силлогизма не получится. Терминами для случая, [когда первый термин] присущ [последнему], пусть будут: сущность – живое существо – человек; для случая, [когда он ему] не присущ: сущность – живое существо – число. Средний термин – сущность. Не получится силлогизма и тогда, когда М не сказывается ни об одном Н и ни об одном О. Терминами для случая, [когда первый термин] присущ [последнему], пусть будут: линия – живое существо – человек; для случая, [когда он ему] не присущ: линия – живое существо – камень. Таким образом, очевидно, что если при терминах, взятых в общих посылках, получается силлогизм, то для этого необходимо, чтобы они находились друг к другу в таком отношении, какое мы указали вначале, ибо при другом их отношении необходимость не возникает.
Если же средний термин по отношению к одному из крайних, а именно к большему, взят в общей посылке, все равно, в утвердительной или в отрицательной, а к меньшему термину – в частной посылке, противолежащей общей (под противолежащей я понимаю, что если общая посылка отрицательная, то частная утвердительная; если же общая утвердительная, то частная отрицательная), то с необходимостью получится силлогизм с частноотрицательным заключением. В самом деле, если М не присуще ни одному Н, но присуще некоторым О, то Н необходимо не присуще некоторым О. А так как отрицательная посылка обратима, то и Н не будет присуще ни одному М; но ведь было предположено, что М присуще некоторым О, так что Н не будет присуще некоторым О, и получается силлогизм через первую фигуру. Далее, если М присуще всем Н, а некоторым О не присуще, то Н необходимо не присуще некоторым О; в самом деле, если бы оно было присуще всем О, то, поскольку М сказывается обо всех Н, М необходимо было бы присуще всем О. Предположено же было, что оно некоторым О не присуще. И если М присуще всем Н, но не всем О, то получится силлогизм о том, что Н присуще не всем О. Доказательство будет то же самое. Если же М сказывается обо всех О, но не обо всех Н, то силлогизма не получится. Термины: живое существо – сущность – ворон; живое существо – белое – ворон. Также не получится силлогизма, когда М не сказывается ни об одном О, но сказывается о некоторых Н. Пусть терминами для случая, [когда первый термин] присущ [последнему], будут: живое существо – сущность – единица, а для случая, [когда он ему] не присущ: живое существо – сущность – знание.
Таким образом, сказано, когда силлогизм получится и когда нет в тех случаях, если общая посылка противолежит частной. Если же посылки однородны, т. е. если обе или отрицательны или утвердительны, силлогизма никоим образом не получится. В самом деле, предположим сперва, что обе посылки отрицательные и что общее относится к большему крайнему термину, например пусть М будет не присуще ни одному Н и не присуще некоторым О. Тогда Н возможно и присуще всем О и не присуще ни одному О. Терминами для случая, [когда первый термин последнему] не присущ, пусть будут: черное – снег – живое существо; термины же для случая, [когда он] всему [ему] присущ, найти нельзя, если М некоторым О присуще, а некоторым не присуще. Ибо если бы Н было присуще всем О, а М не присуще ни одному Н, то М не было бы присуще ни одному О, но ведь было предположено, что оно некоторым О присуще. Таким образом, действительно невозможно найти термины, а доказать это следует от неопределенного. А именно, так как правильно, что М не присуще некоторым О и в том случае, если оно не присуще ни одному О, а когда оно не присуще ни одному О, силлогизм не получился, то очевидно, что силлогизма не получится и в этом случае. Далее, пусть будут утвердительными обе посылки, и пусть общее займет такое же положение, например М присуще всем Н и некоторым О. Тогда Н возможно и присуще всем О и не присуще ни одному О. Терминами для случая, когда Н не присуще ни одному О, пусть будут: белое – лебедь – камень, а для случая, когда Н присуще всем О, термины нельзя найти по той же причине, что и раньше, а доказать это следует от неопределенного. Если же общее относится к меньшему крайнему термину и М не присуще ни одному О и не присуще некоторым Н, то Н возможно и присуще всем О и не присуще ни одному О. Терминами для случая, [когда первый термин] присущ [последнему], пусть будут: белое – живое существо – ворон, а для случая, [когда он ему] не присущ: белое – камень – ворон. Если же посылки утвердительные, то для случая, [когда первый термин последнему] не присущ, терминами пусть будут: белое – живое существо – снег, а для случая, [когда он ему] присущ: белое – живое существо – лебедь. Таким образом, очевидно, что силлогизма никоим образом не получится, если посылки однородны и при этом одна из них общая, а другая частная. Но силлогизма не получится и в том случае, если [средний термин] части каждого из обоих крайних присущ или не присущ, или части одного присущ, а части другого нет, или ни одному, ни другому не присущ вовсе, или присущ неопределенно. Общими же терминами для всех этих случаев пусть будут: белое – живое существо – человек; белое – живое существо – неодушевленное.
Из сказанного, таким образом, очевидно, что если термины находятся в таком отношении друг к другу, как было сказано, то силлогизм необходимо получится, и если силлогизм получится, то и термины необходимо находятся в таком отношении. Ясно также, что все силлогизмы по этой фигуре несовершенные (ибо все они осуществляются, когда что-то прибавляется, что или с необходимостью содержится в терминах, или берется по предположению, как, например, когда мы доказываем через невозможное). Ясно также, что по этой фигуре не получится утвердительного заключения и что, таким образом, все заключения здесь отрицательные, как общие, так и частные.
Если же одному и тому же одно присуще всему, а другое вовсе не присуще или и то и другое присущи ему всему или вовсе не присущи, то такую фигуру я называю третьей. Средним термином в ней я называю тот, о котором сказываются оба крайних, крайними же – те, которые сказываются о среднем: большим крайним – тот, который находится дальше от среднего, меньшим же – тот, который находится ближе к нему. При этом средний термин стоит вне крайних и по положению – последний. Совершенного силлогизма не получается и в этой фигуре, однако силлогизм возможен, все равно, будут ли [крайние] термины взяты по отношению к среднему в общих или не в общих посылках. Если же термины взяты в общих посылках, то, когда П и Р присущи всем С, тогда и П будет необходимо присуще некоторым Р. В самом деле, так как утвердительная посылка обратима, то и С будет присуще некоторым Р; поэтому так как П присуще всем С, а С – некоторым Р, то П необходимо присуще некоторым Р, и получается силлогизм через первую фигуру. Это можно доказать и через невозможное, и выделением. В самом деле, если оба термина присущи всем С, то, если взять какое-то С, например Н, ему будет присуще и П, и Р, а потому П будет присуще некоторым Р.
Если же Р присуще всем С, а П не присуще ни одному С, то получится силлогизм о том, что П необходимо не присуще некоторым Р. Это может быть доказано тем же способом посредством обращения посылки PC. Это может быть доказано и через невозможное, как это было в предыдущих случаях. Если же Р не присуще ни одному С, а П присуще всем С, то силлогизма не получится. Терминами для случая, [когда первый термин] присущ [последнему], пусть будут: живое существо – лошадь – человек, а для случая, [когда он ему] не присущ: живое существо – неодушевленное – человек. Силлогизма не получится и в том случае, когда оба термина не высказываются ни об одном С. Терминами для случая, [когда первый термин] присущ [последнему], пусть будут: живое существо – лошадь – неодушевленное, а для случая, [когда он ему] не присущ: человек – лошадь – неодушевленное. Средний термин – неодушевленное. Таким образом, очевидно также и для этой фигуры, когда силлогизм в ней получится и когда нет, если [крайние] термины взяты в общих посылках. В самом деле, когда оба термина взяты в утвердительных посылках, то получится силлогизм о том, что один крайний термин присущ части другого крайнего; когда же оба они взяты в отрицательных посылках, силлогизма не получится. А когда один [из крайних терминов] взят в отрицательной посылке, а другой – в утвердительной, и притом так, что больший термин оказывается в отрицательной, а меньший – в утвердительной, то получится силлогизм о том, что один из крайних терминов части другого крайнего не присущ; если же наоборот, то силлогизма не получится.
Далее, если один термин взят по отношению к среднему термину в общей посылке, другой же – в частной, и притом оба они в утвердительных посылках, то с необходимостью получится силлогизм, какой бы из крайних терминов ни был взят в общей посылке. В самом деле, если Р присуще всем С, а П – некоторым С, то П необходимо присуще некоторым Р. Действительно, так как утвердительная посылка обратима, то и С будет присуще некоторым П. Поэтому так как Р присуще всем С, а С – некоторым П, то Р также будет присуще некоторым П, а отсюда и П – некоторым Р. Далее, если Р присуще некоторым С, а П – всем С, то П необходимо присуще некоторым Р. Доказывается это таким же образом. Можно доказать это также и через невозможное или выделением, как и в предыдущих случаях. Но если один термин взят в общеутвердительной посылке, а другой – в отрицательной, то силлогизм получится, если в утвердительной посылке взят меньший термин. Ибо если Р присуще всем С, а П некоторым С не присуще, то П необходимо не присуще некоторым Р. Ведь если П присуще всем Р, а Р – всем С, то и П присуще всем С; но было предположено, что оно не присуще. Это можно доказать также и без приведения к невозможному, если берется такое С, которому П не присуще. Когда же больший термин взят в утвердительной посылке, силлогизма не получится, например, если П присуще всем С, а Р некоторым С не присуще. Терминами для случая, [когда первый термин] присущ всему [последнему], пусть будут: одушевленное – человек – живое существо; для случая, [когда он ему] вовсе не присущ, термины нельзя найти, если Р некоторым С присуще, а некоторым нет, ибо если П присуще всем С, а Р – лишь некоторым С, то П будет присуще и некоторым Р. Но ведь было предположено, что оно не присуще ни одному Р. Здесь следует, однако, поступить так же, как и в предыдущих случаях: так как [положение] «некоторым не присуще» неопределенно, то и о том, что не присуще ни одному, правильно сказать, что оно некоторым не присуще. Но если оно не присуще ни одному, силлогизм не получился. Очевидно, таким образом, что, [когда берется посылка «некоторым не присуще»], силлогизма также не будет. Если же один термин взят в общеотрицательной посылке, причем больший термин – в отрицательной, а меньший – в утвердительной, то силлогизм получится, ибо если П не присуще ни одному С, а Р присуще некоторым С, то П не будет присуще некоторым Р. По обращении посылки PC снова получится первая фигура. Но если меньший термин взят в отрицательной посылке, то силлогизма не получится. Терминами для случая, [когда первый термин] присущ [последнему], пусть будут: живое существо – человек – дикое; для случая, [когда он ему] не присущ: живое существо – знание – дикое. Средним термином для обоих случаев пусть будет дикое. Равным образом не получится силлогизма, если оба термина взяты в отрицательных посылках, и притом один из них – в общей, а другой – в частной. Терминами для случая, когда меньший термин по отношению к среднему взят в общей посылке, пусть будут: живое существо – знание – дикое; живое существо – человек – дикое. Когда больший термин взят в общей посылке и не присущ [меньшему], терминами пусть будут: ворон – снег – белое; когда [он меньшему] присущ, термины найти нельзя, если Р некоторым С присуще, а некоторым нет. В самом деле, если П присуще всем Р, а Р – лишь некоторым С, то и П будет присуще некоторым С. Но было предположено, что оно не присуще ни одному С. А доказать это следует от неопределенного. Наконец, никоим образом не получится силлогизма, если каждый [крайний термин] присущ или не присущ части среднего, или если один из них части его присущ, а другой нет, или если один части его присущ, а другой – не всему, или если оба [приписываются] ему неопределенно. Терминами, общими для всех этих случаев, пусть будут: живое существо – человек – белое; живое существо. – неодушевленное – белое.
И для этой фигуры, таким образом, очевидно, когда в ней силлогизм получится и когда нет, а также, что если термины находятся друг к другу в таком отношении, как было сказано, то с необходимостью получится силлогизм, как и [наоборот], если получается силлогизм, то и термины необходимо находятся друг к другу именно в таком отношении. Очевидно также, что все силлогизмы по этой фигуре несовершенны (ведь все они становятся совершенными, когда что-то прибавляется) и что через эту фигуру нельзя вывести общее заключение – ни отрицательное, ни утвердительное.
Ясно также, что во всех фигурах, в том случае если силлогизма не получается, то когда оба [крайних термина] взяты или в утвердительных, или в отрицательных посылках, ничего не получается с необходимостью. Если же один из терминов взят в утвердительной посылке, а другой – в отрицательной, то, когда отрицательная посылка общая, всегда получается силлогизм об отношении меньшего крайнего термина к большему, как, например, если А присуще всем Б или некоторым Б, а Б не присуще ни одному В, то при обращении посылок В необходимо не будет присуще некоторым А. Подобным же образом обстоит дело и в других фигурах, ибо посредством обращения всегда получается силлогизм. Ясно также, что во всех фигурах получится один и тот же силлогизм, если вместо частноутвердительной посылки взять неопределенную.
Очевидно также, что все несовершенные силлогизмы становятся совершенными через первую фигуру. В самом деле, все они приводятся к заключению либо через прямое доказательство, либо через невозможное. Но и тем и другим способом получается первая фигура: если силлогизмы становятся совершенными через прямое доказательство, получается первая фигура, потому что они приводятся к заключению посредством обращения, а обращение и ведет к образованию первой фигуры. А когда доказывают через невозможное, т. е. когда допускают ложное, силлогизм также получается через первую фигуру, как, например, в последней фигуре: если А и Б присущи всем В, то [получается заключение], что А присуще некоторым Б, ибо если бы А не было присуще ни одному Б, а Б присуще всем В, то А не было бы присуще ни одному В, но ведь было предположено, что А присуще всем В. Точно так же доказывают и в других случаях.
И [вообще] все силлогизмы можно свести к общим силлогизмам первой фигуры. Что касается силлогизмов второй фигуры, то очевидно, что они становятся совершенными через силлогизмы первой фигуры, но только не все одинаковым образом: общие силлогизмы – через обращение отрицательной посылки, частные силлогизмы, и притом оба [вида], – через приведение к невозможному. Частные силлогизмы первой фигуры осуществляются и через самих себя, но их можно доказать также посредством второй фигуры через приведение к невозможному. Например, если А присуще всем Б, а Б – некоторым В, то [можно доказать], что А будет присуще некоторым В, ибо если бы оно не было присуще ни одному В, но присуще всем Б, то Б не было бы присуще ни одному В, – это ведь мы знаем через вторую фигуру. Подобного же рода доказательство применимо к силлогизму с отрицательным заключением. В самом деле, если А не присуще ни одному Б, а Б присуще некоторым В, то А не будет присуще некоторым В, ибо если бы оно было присуще всем В, но ни одному Б не присуще, то Б не было бы присуще ни одному В. Это и была как раз средняя фигура. Так что если в средней фигуре все силлогизмы сводимы к общим силлогизмам первой фигуры, частные же силлогизмы первой фигуры – к силлогизмам средней фигуры, то очевидно, что и частные силлогизмы [первой фигуры] могут быть сведены к общим силлогизмам первой фигуры. Силлогизмы же третьей фигуры, если их крайние термины взяты в общих посылках, непосредственно осуществляются при помощи указанных силлогизмов. Если же их крайние термины взяты в частных посылках, то они осуществляются посредством частных силлогизмов первой фигуры, но эти последние могут быть сведены к указанным, а следовательно, к ним могут быть сведены частные силлогизмы третьей фигуры. Таким образом, очевидно, что все силлогизмы могут быть сведены к общим силлогизмам первой фигуры.
Итак, сказано, как обстоит дело с силлогизмами, показывающими присущность или неприсущность, а также каковы силлогизмы одной и той же фигуры сами по себе и в каком отношении находятся друг к другу силлогизмы разных [фигур].
Так как быть присущим, необходимо присущим, возможно присущим – не одно и то же (ибо многое присуще, однако не необходимо, другое же не присуще ни необходимо, ни просто, но оно может быть присуще), то ясно, что в каждом из этих случаев силлогизм будет разным и что термины не находятся в одинаковом отношении друг к другу: они будут то необходимо присущи, то присущи, то возможно присущи.
С необходимо присущим дело обстоит приблизительно так же, как и с [просто] присущим, так как при одинаковом положении терминов [в посылках] о присущем и необходимо присущем или не присущем силлогизм получится и не получится с тем лишь различием, что к терминам прибавляется «необходимо присуще» или «необходимо не присуще». Отрицательная посылка обратима таким же образом, ведь «целиком содержаться [в другом]» и «быть присущим всем» мы будем понимать одинаково. И в других случаях тем же способом, т. е. посредством обращения, доказывается необходимость заключения – точно так же как в силлогизмах о присущем. В средней же фигуре, когда общая посылка – утвердительная, а частная – отрицательная, и далее, в третьей фигуре, когда общая посылка – утвердительная, а частная – отрицательная, доказательство уже не будет таким, а из одного термина необходимо выделить то, чему в каждом из этих случаев нечто не присуще, и относительно него построить силлогизм, ибо тогда заключение будет вытекать с необходимостью; если же оно будет необходимым в отношении выделенного, то оно будет необходимым также и в отношении части [того или иного термина], так как она есть то же, что и выделенное. Каждый из этих силлогизмов строится по соответствующей фигуре.