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

ГЛАВА ТРИНАДЦАТАЯ (Доказательство посредством приведения к невозможному по третьей фигуре)

Подобным же образом (ведется доказательство посредством приведения к невозможному) и по последней фигуре. В самом деле, примем, что А не присуще некоторым Б[584], а В присуще всем (Б); тогда А некоторым В не будет присуще. Если же это невозможно, то ложно, что (А) некоторым (Б) не присуще, и, следовательно, истинно, что (А) присуще всем (Б)[585]. Но если предположить, что (А) не присуще ни одному (Б), то силлогизм получится и будет доказано невозможное, но (первоначально) принятое останется недоказанным, ибо если предположить противное, то получается то же самое, что и раньше[586]. Для того же, чтобы (доказать), что (А) присуще некоторым (Б), для этого нужно принять то же предположение. В самом деле, если А не присуще ни одному Б, а В присуще некоторым Б, то А будет присуще не всем В. Если же это ложно, то истинно, что А присуще некоторым Б[587]. Когда же А не присуще ни одному Б, предположим, что оно некоторым (Б) присуще, и примем, что В присуще всем Б. Тогда А необходимо присуще некоторым В, но (в действительности) оно не присуще ни одному (В), так что ложно, что А присуще некоторым Б[588]. Если же предположить, что А присуще всем Б, то (первоначально) принятое остается недоказанным[589]. Но для того чтобы доказать, что (А) присуще не всем (Б), для этого нужно принять то же предположение. Действительно, если А присуще всем Б, а В — некоторым Б, то А присуще некоторым В. Но (в действительности) этого не было. Так что ложно, что (А) присуще всем (Б). Но если это так, то истинно, что (А) присуще не всем (Б)[590]. И если предположить, что (А) присуще некоторым (Б), то получится то же самое, что и в указанных раньше (случаях)[591].

Таким образом, очевидно, что во всех силлогизмах, получаемых посредством приведения к невозможному, следует брать предположением противоположное. И далее ясно также, что по средней фигуре некоторым образом[592] можно доказывать утвердительное, а но последней — общее (суждение).

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

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