Аналитики. Первая и Вторая

ГЛАВА ЧЕТЫРНАДЦАТАЯ (Различие между доказательством посредством приведения к невозможному и прямым доказательством)

Доказательство посредством приведения к невозможному отличается от прямого тем, что (в нем) принимается то, что хотят опровергнуть, и что оно ведет к очевидно ложному. Прямое же (доказательство) исходит из положений, признанных истинными. Оба (вида доказательства), правда, берут две признанные посылки, но один[593] — две такие, из которых силлогизм получается (прямо), другой же[594] — одну такую посылку, а другую — противоречащую заключению. Далее, в том[595] (доказательстве) не необходимо, чтобы заключение было (уже) известно и чтобы уже заранее было принято, что (заключение) есть (истина) или нет. В этом же (доказательстве) необходимо заранее принять, что оно не есть (истина). (При этом) безразлично, является ли заключение утвердительным или отрицательным — (доказательство) одинаково в обоих (случаях). Все, что доказывается прямо, может быть доказано и посредством приведения к невозможному, и то, что (доказывается) посредством приведения к невозможному, может (быть доказано) и прямо — посредством тех же терминов, однако не по тем же фигурам. В самом деле, если силлогизм (через приведение к невозможному) строится по первой фигуре, то истинное заключение[596] получится или по средней, или по последней фигуре, и (притом) отрицательное — по средней, утвердительное же — по последней. Если же силлогизм (через приведение к невозможному) строится по средней фигуре, то истинное (заключение) получится по первой фигуре и (притом) для всех положений. Если по последней фигуре, то истинное (заключение) получится по первой или средней (фигуре), именно утвердительное — по первой, а отрицательное — по средней[597]. В самом деле, пусть будет доказано (посредством приведения к невозможному) по первой фигуре, что А не присуще ни одному Б или присуще не всем Б. Но предположением было, что А присуще некоторым Б, тогда как было принято, что В присуще всем А, но не присуще ни одному Б; в самом деле, так получался силлогизм и (выводилось) невозможное. Но это и есть средняя фигура, если В присуще всем А и не присуще ни одному Б. И отсюда очевидно, что А не присуще ни одному Б[598]. Точно так же, если доказано, что (А) присуще не всем (Б). В самом деле, предположением является (здесь), что (А) присуще всем (Б), тогда как было принято, что В присуще всем А и не всем Б[599]. И точно так же, если посылку ВА взять отрицательной. В самом деле, так получится средняя фигура[600]. Далее, должно быть доказано, что А присуще некоторым Б. Предположением было (здесь), что (А) не присуще ни одному (Б), тогда как было принято, что Б присуще всем В и что А присуще или всем, или некоторым В, ибо так получится невозможное. Но это будет последняя фигура, если А и Б присущи всем В. И отсюда становится очевидным, что необходимо, чтобы А было присуще некоторым Б[601]. Точно так же, если бы было принято, что Б или А присуще некоторым В.

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