Читать онлайн "Аналитики. Первая и Вторая" - Аристотель - RuLit

Если же заключение подвергнуть превращению в противоположное (суждение), то и (другие) заключения будут противоположными и не общими, ибо одна посылка будет частной[525], а следовательно, частным будет и заключение. В самом деле, пусть заключение будет утвердительным и подвергнется такому же превращению; следовательно, если А присуще не всем В и присуще всем Б, то Б будет присуще не всем В. И если А присуще не всем В, а Б — всем В, то А будет присуще не всем Б[526]. Подобным же образом (обстоит дело), если заключение отрицательное. В самом деле, если А присуще некоторым В и не присуще ни одному Б, то Б не будет присуще некоторым В, но (этим) не (сказано, что Б) безусловно (не присуще) ни одному (В). И если А присуще некоторым В, а Б — всем В, как это было принято в начале, то А будет присуще некоторым Б[527].

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

ГЛАВА ДЕВЯТАЯ (Превращение заключений во второй фигуре)

Во второй фигуре невозможно посылку, содержащую больший крайний (термин), устранить противным (суждением), каким бы ни было превращение[534], ибо заключение всегда получится по третьей фигуре, а в ней невозможно общее заключение. Другая же посылка устраняется таким же образом, каким подвергается превращению заключение. Под (выражением) — "таким же образом" я понимаю: если заключение подвергается превращению в противное (суждение), то и (посылка) устраняется противным (суждением); если же в противоположное (суждение), то и (посылка устраняется) противоположным (суждением). В самом деле, пусть А будет присуще всем Б и не присуще ни одному В, заключением будет БВ. Если же (теперь) принять, что Б присуще всем В и АБ остается, то А будет присуще всем В. Получится именно первая фигура. Если же Б присуще всем В тогда как А не присуще ни одному В, то А будет присуще не всем Б, и получится последняя фигура[535]. Если БВ подвергнуть превращению в противоположное (суждение), то АБ доказывается тем же образом[536], тогда как АВ — противоположным образом[537]. Ибо если Б присуще некоторым В, тогда как А не присуще ни одному В, то А не будет присуще некоторым Б. Далее, если Б присуще некоторым В, тогда как А — всем Б, то А будет присуще некоторым В, и получится, следовательно, противоположное заключение[538]. Подобным же образом следует доказывать, если посылки находятся друг к другу в обратном отношении[539]. Но если заключение частное, то при превращении его в противное (суждение) не будет устранена ни одна посылка, как не бывает этого и в первой фигуре; при превращении же в противоположное (суждение) устраняются обе посылки. В самом деле, пусть А не будет присуще ни одному Б и присуще некоторым В. Заключением будет БВ. Если же принять, что Б присуще некоторым В и АБ остается, то заключением будет, что А не присуще некоторым В, чем, однако, не устраняется первоначально (принятое). Ибо (А) возможно некоторым (В) присуще, а некоторым — нет. Далее, если Б присуще некоторым В и А — некоторым В, то силлогизма не получится, ибо ни та, ни другая из принятых посылок не является общей, так что (прежняя посылка) АБ не устраняется[540]. При превращении же (заключения) в противоположное (суждение) устраняются обе посылки. В самом деле, если Б присуще всем В, тогда как А не присуще ни одному Б, то А не будет присуще ни одному В: Между тем (А) было присуще некоторым (В). Далее, если Б присуще всем В, тогда как А — некоторым В, то А будет присуще некоторым Б[541]. Точно так же доказывается, если общая посылка будет утвердительной.