Аристотель
Аналитики. Никомахова этика

Полная версия

Книга вторая

Глава первая
[Получение нескольких выводов из одних и тех же посылок]

Мы уже разобрали, по скольким фигурам, посредством каких и какого числа посылок, а также когда и как получается силлогизм; далее, на что следует при опровергании и обосновании обращать внимание и как надлежит исследовать данный предмет по тому или иному способу; наконец, каким путем можно установить начала для каждого [предмета]. А так как одни силлогизмы имеют общие заключения, другие – частные, то все общие силлогизмы всегда могут иметь несколько выводов; из частных же силлогизмов утвердительные всегда могут иметь несколько выводов, а отрицательные – только один. Дело в том, что остальные посылки обратимы, [частно]-отрицательная же необратима; заключение же есть [высказывание] чего-то о чем-то. Вот почему остальные силлогизмы имеют больше одного заключения. Например, если доказано, что А присуще всем или некоторым Б, то и Б необходимо присуще некоторым А. Если же доказано, что А не присуще ни одному Б, то и Б не будет присуще ни одному А. Но это заключение отличается от предыдущего. Если же А некоторым В не присуще, то не необходимо, чтобы и Б не было присуще некоторым А, ибо вполне возможно, что оно присуще всем А.

Таково общее основание для всех силлогизмов – и общих, и частных. В отношении же общих силлогизмов это можно выразить иначе. А именно, обо всем, что подчинено среднему термину или [подлежащему] заключения, будет один и тот же силлогизм, если одно взять средним термином, а другое – [подлежащим] заключения. Например, если АБ есть заключение, выведенное посредством В, то обо всем том, что подчинено Б или В, необходимо говорится А. В самом деле, если Д целиком содержится в Б, а Б – в А, то и Д будет содержаться в А. Далее, если Е целиком содержится в В, а В – в А, то и Е будет содержаться в А. И точно так же – если силлогизм отрицательный. Но по второй фигуре умозаключение будет только о том, что подчинено [подлежащему] заключения. Например, если А не присуще ни одному Б и присуще всем В, то заключение будет о том, что Б не присуще ни одному В. Если же Д подчинено В, то очевидно, что Б ему не присуще. Но что Б не присуще тому, что подчинено А, это из силлогизма не ясно, хотя, конечно, Б не присуще Е, если Е подчинено А. Что Б не присуще ни одному В, доказано силлогизмом, но, что Б не присуще А, было принято без доказательства, а потому заключение, что Б не присуще Е, не выводится посредством этого силлогизма. В частных силлогизмах [первой фигуры] ничего не выводится с необходимостью о том, что подчинено [подлежащему] заключения (ибо силлогизма не получается, когда [большая] посылка частная), но обо всем том, что подчинено среднему термину, заключение будет выводиться [с необходимостью], однако не посредством данного силлогизма, например, если А присуще всем Б, а Б – некоторым В; ибо о том, что подчинено В, силлогизма в этом случае не будет; но о том, что подчинено Б, силлогизм будет, однако не посредством уже полученного силлогизма. Точно так же и в других фигурах, а именно: о том, что подчинено [подлежащему] заключения, силлогизма не будет, а о том, [что подчинено среднему термину], будет, но не посредством [уже полученного] силлогизма, поскольку то, что подчинено среднему термину, и в общих силлогизмах доказывается, как мы видели, из недоказанной посылки; так что или и там не будет заключения об этом, или будет также и в этих.

Глава вторая
[Истинные заключения из ложных или смешанных посылок по первой фигуре]

Дело может обстоять так, что посылки, из которых строится силлогизм, будут обе истинными, или обе ложными, или одна из них будет истинной, а другая – ложной, заключение же будет необходимо или истинным, или ложным. Так вот, из истинных посылок нельзя вывести ложное заключение, но из ложных посылок можно выводить истинное заключение, только не видно, почему оно истинно, а видно лишь, что оно истинно. Ибо из ложных посылок нельзя доказать, почему [заключение истинно], а по какой причине – будет сказано в последующем.

Итак, что из истинных [посылок] нельзя вывести ложное заключение, явствует прежде всего из следующего. Если при наличии А необходимо есть Б, то, если нет Б, необходимо нет и А. Следовательно, если А истинно, то необходимо истинно и Б; иначе окажется, что одно и то же вместе и есть, и не есть, что невозможно. Однако на том основании, что А положено как один термин, нельзя полагать, что при наличии чего-то одного с необходимостью вытекает что-то [другое], ибо это невозможно. Ведь то, что вытекает с необходимостью, есть заключение, а для того чтобы получилось заключение, требуется по меньшей мере три термина и два их сочетания, т. е. две посылки. Следовательно, если истинно, что всему тому, чему присуще Б, присуще А, и всему тому, чему присуще В, присуще Б, то чему присуще В, необходимо присуще А; и это не может быть ложно, ибо иначе одно и то же было бы вместе присуще и не присуще. Таким образом, А положено как одно, но охватывает две посылки. Точно так же обстоит дело и с отрицательными силлогизмами, ибо из истинных [посылок] нельзя доказать ложное.

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

Частные заключения силлогизма могут быть истинными, и если первая посылка целиком ложная, а вторая – истинная, и если первая посылка отчасти ложная, а вторая – истинная, а также если первая посылка истинная, а частная – ложная и, [наконец], если обе посылки ложные. В самом деле, ничто не мешает, чтобы А не было присуще ни одному Б и присуще некоторым В, а Б было присуще некоторым В, как, например, быть живым существом не присуще никакому снегу, но чему-то белому присуще, как и быть снегом присуще чему-то белому. Если же «снег» взять средним термином, а «живое существо» – первым термином и если принять, что А присуще всему Б, а Б – некоторым В, то посылка АБ будет целиком ложной, посылка же БВ – истинной, и истинным будет и заключение. Равным образом обстоит дело, если посылка АБ отрицательная, ибо возможно, что А присуще всем Б, некоторым же В не присуще, а Б тем не менее некоторым В присуще, как, например, быть живым существом присуще каждому человеку, и из [наличия] чего-то белого «живое существо» не следует, между тем как быть человеком присуще чему-то белому. Так что если «человек» взят средним термином и если принять, что А не присуще ни одному Б, а Б присуще некоторым В, то заключение будет истинным, хотя посылка АБ целиком ложная. Далее, если посылка АБ отчасти ложная, [а посылка БВ истинная], то заключение будет истинным, ибо ничто не мешает, чтобы А было присуще и некоторым Б, и некоторым В и чтобы Б было присуще некоторым В, как, например, быть живым существом присуще чему-то прекрасному и чему-то великому, а быть прекрасным – чему-то великому. Если же принять, что А присуще всем Б, а Б – некоторым В, то посылка АБ будет отчасти ложной, посылка же БВ – истинной, и истинным будет заключение. Равным образом обстоит дело, если посылка АБ отрицательная; для доказательства будут здесь те же термины и в том же расположении. Далее, если посылка АБ истинная, а посылка БВ ложная, то заключение будет истинным, ибо ничто не мешает, чтобы А было присуще всем Б и некоторым В, а Б не было присуще ни одному В, как, например, быть живым существом присуще каждому лебедю и чему-то черному, тогда как быть лебедем не присуще ничему черному. Поэтому если принять, что А присуще всем Б, а Б – некоторым В, то заключение будет истинным, хотя посылка БВ ложная. Равным образом обстоит дело, если посылка АБ отрицательная, ибо возможно, что А не присуще ни одному Б и не присуще некоторым В, а Б тем не менее не присуще ни одному В, как, например, один род – виду другого рода и чему-то привходящему для своих же видов. В самом деле, быть живым существом не присуще ни одному числу, но присуще чему-то белому, тогда как число не присуще ничему белому. Если же средним термином взять число и если принять, что А не присуще ни одному Б, а Б присуще некоторым В, то А не будет присуще некоторым В, что и было истинным, и посылка АБ будет истинной, а посылка БB – ложной. Далее, если посылка АБ отчасти ложная, а посылка БВ также ложная, то заключение будет истинным. Ибо ничто не мешает, чтобы А было присуще и некоторым Б, и некоторым В, а Б не было присуще ни одному В, как, например, если Б противоположно В и оба суть нечто привходящее для одного и того же рода. В самом деле, быть живым существом присуще чему-то белому и чему-то черному, тогда как белое не присуще ничему черному. Поэтому если принять, что А присуще всем Б, а Б – некоторым В, то заключение будет истинным. Точно так же – если посылка АБ взята как отрицательная; для доказательства будут здесь те же термины и в том же расположении. Наконец, и в том случае, если обе посылки ложные, заключение будет истинным. Ибо возможно, что А не присуще ни одному Б и присуще некоторым В, а Б тем не менее не присуще ни одному В, как, например, один род не присущ виду другого рода и присущ чему-то привходящему для своих же видов. В самом деле, быть живым существом не присуще ни одному числу и присуще чему-то белому, число же не присуще ничему белому. Если же принять, что А присуще всем Б, а Б – некоторым В, то заключение будет истинным, хотя обе посылки ложные. Равным образом обстоит дело, если посылка АБ отрицательная. Ибо ничто не мешает, чтобы А было присуще всем Б и не присуще некоторым В, а Б не было присуще ни одному В, как, например, быть живым существом присуще каждому лебедю, но не присуще чему-то черному, тогда как быть лебедем не присуще ничему черному. Поэтому если принять, что А не присуще ни одному Б, а Б присуще некоторым В, то А не будет присуще некоторым В. Таким образом, заключение будет истинным, хотя посылки ложные.

Глава третья
[Истинные заключения из ложных или смешанных посылок по второй фигуре]

По средней же фигуре из ложных посылок можно выводить истинные заключения во всех случаях – и когда обе посылки взяты целиком ложными, (и когда каждая из них отчасти ложная), и когда одна из них истинная, а другая ложная (все равно, какая из них ложная), и когда обе отчасти ложные, и когда одна из них безусловно истинная, а другая отчасти ложная, и когда одна целиком ложная, а другая отчасти истинная; и это имеет место как в общих, так и в частных силлогизмах. В самом деле, если А не присуще ни одному Б и присуще всем В, как, например, если быть живым существом не присуще ни одному камню и присуще каждой лошади, и если взять посылки, противоположные этому, и принять, что А присуще всем Б и не присуще ни одному В, то из целиком ложных посылок получится истинное заключение. Точно так же – если А присуще всем Б и не присуще ни одному В, ибо получится тот же самый силлогизм. Далее, [заключение будет истинным], если одна посылка целиком ложная, а другая целиком истинная, ибо ничто не мешает, чтобы А было присуще и всем Б, и всем В, а Б тем не менее не было присуще ни одному В, как, например, род присущ видам, не подчиненным один другому. В самом деле, быть живым существом присуще и каждой лошади, и каждому человеку, однако ни один человек не есть лошадь. Если же принять, что быть живым существом одному всему присуще, другому же вовсе не присуще, то одна посылка будет целиком ложной, другая – целиком истинной, а заключение – истинным, все равно, к какой из посылок отнесено отрицание. Точно так же – если одна посылка отчасти ложная, а другая – целиком истинная. В самом деле, возможно, что А присуще некоторым Б и всем В, а Б тем не менее не присуще ни одному В, как, например, быть живым существом присуще чему-то белому и каждому ворону, белое же не присуще ни одному ворону. Если же принять, что А не присуще ни одному Б и присуще всему В, то посылка АБ будет отчасти ложной, а посылка АВ – целиком истинной, и истинным будет заключение. И точно так же – при перестановке отрицания; доказать это можно посредством тех же терминов. То же самое – если утвердительная посылка отчасти ложная, а отрицательная – целиком истинная. В самом деле, ничто не мешает, чтобы А было присуще некоторым Б и не присуще ни одному В, а Б не было присуще ни одному В, как, например, быть живым существом присуще чему-то белому и не присуще никакой смоле, как не присуще никакой смоле и белое. Поэтому если принять, что А присуще всему Б и не присуще ни одному В, то посылка АБ будет отчасти ложной, а посылка АВ – целиком истинной, и истинным будет заключение. Истинным может быть заключение и в том случае, если обе посылки отчасти ложные. Ибо возможно, что А присуще некоторым Б и некоторым В, а Б не присуще ни одному В, как, например, быть живым существом присуще чему-то белому и чему-то черному, а белое не присуще ничему черному. Если же принять, что А присуще всем Б и не присуще ни одному В, то обе посылки будут отчасти ложными, а заключение – истинным. И точно так это доказывается и при перестановке отрицания посредством тех же терминов.

Очевидно, что то же самое будет и в частных силлогизмах. В самом деле, ничто не мешает, чтобы А было присуще всем Б и некоторым В, а Б не было присуще некоторым В, как, например, быть живым существом присуще каждому человеку и чему-то белому, тогда как быть человеком чему-то белому не присуще. Если же принять, что А не присуще ни одному Б и присуще некоторым В, то общая посылка будет целиком ложной, частная – истинной и заключение – истинным. Точно так же – если посылку АБ взять утвердительной. В самом деле, возможно, что А не присуще ни одному Б и не присуще некоторым В, а Б не присуще некоторым В, как, например, быть живым существом не присуще ничему неодушевленному и не присуще чему-то белому. Неодушевленное же также не присуще чему-то белому. Если же принять, что А присуще всем Б и не присуще некоторым В, то общая посылка АБ будет целиком ложной, посылка АВ – истинной и заключение – истинным. Точно так же – если общую посылку взять истинной, а частную – ложной, ибо ничто не мешает, чтобы А не следовало ни из одного Б и ни из одного В, а Б тем не менее не было присуще некоторым В, как, например, «живое существо» не следует ни из [наличия] какого-либо числа, ни из [наличия] какого-либо неодушевленного, а «число» не следует из [наличия] некоторых неодушевленных предметов. Если же принять, что А не присуще ни одному Б и присуще некоторым В, то заключение и общая посылка будут истинными, а частная – ложной. То же самое – если общую посылку взять утвердительной, ибо возможно, что А присуще всему Б и всему В, а Б тем не менее не следует из некоторых В, как, например, род – из вида и видового отличия. В самом деле, «живое существо» следует из [бытия] каждого человека и каждого, имеющего ноги, тогда как «человек» следует из [наличия] не всех, имеющих ноги. Поэтому если принять, что А присуще всему Б и не присуще некоторым В, то общая посылка будет истинной, частная – ложной и заключение – истинным. Наконец, очевидно также, что из двух ложных посылок может получиться истинное заключение, если только возможно, что А присуще всему Б и [не присуще ни одному] В, а Б тем не менее из некоторых В не следует. В самом деле, если принять, что А не присуще ни одному Б и присуще некоторым В, то обе посылки будут ложными, но заключение будет истинным. Точно так же – если общая посылка утвердительная, а частная – отрицательная, ибо возможно, что А не следует ни из одного Б и следует из всех В, а Б не присуще некоторым В, как, например, «живое существо» не следует из [наличия] какого-либо знания и следует из [бытия] каждого человека, «знание» же следует из [бытия] не каждого человека. Если же принять, что А присуще всему Б и из некоторых В не следует, то посылки будут ложными, а заключение – истинным.