"История логики." - читать интересную книгу автора (Маковельский Александр Осипович)

Маковельский А.О.

История логики

УЧЕНИЕ ОБ УМОЗАКЛЮЧЕНИИ

Так называемые непосредственные умозаключения, именуемые также преобразованиями суждений, рассматриваются Аристотелем лишь как вспомогательные логические приемы. У Аристотеля нет теории непосредственных умозаключений, но для обоснования некоторых модусов второй и третьей фигур категорического силлогизма и для учения о предикабилиях он устанавливает правила обращения (конверсии) суждений. Уже Платоном было сделано наблюдение, что общеутвердительные суждения обратимы с изменением количества.

Аристотель устанавливает, что общеотрицательные и частно-утвердительные суждения при обращении остаются общеотрицательными и частноутвердительными, общеутвердительные же суждения обратимы с переменой количества, т. е. становятся частноутвердительными, а частноотрицательные суждения вовсе необратимы. Своеобразие обращения модальных суждений amp;оз-можности, по Аристотелю, заключается в том, что общеотрицательные суждения о возможности необратимы, а частноотрица-тельные — обратимы.

Силлогизмом Аристотель называет такое умозаключение, в котором из данных суждений с необходимостью вытекает новое суждение, отличное от данных. Суждения, входящие в умозаключение в качестве посылок, Аристотель строит таким образом, что в отличие от последующей школьной логики у него на первом месте стоит сказуемое, а на 'втором подлежащее суждения. У него посылка имеет следующую форму: «А присуще S» или «В содержится в A».

Категорический силлогизм Аристотель называет «силлогизмом через средний термин», и только этому силлогизму он приписывает строго доказательную силу.

Пусть нам надо построить какое-нибудь прямое доказательство того, что А присуще В («.В есть А») или того, что А не присуще В («В не есть A»). Для доказательства необходимо вывести его силлогистически, а для этого в качестве основания необходимо взять какое-либо суждение. Разумеется, этим основанием не может быть само суждение «В есть A» или «Б не есть A». Следовательно, предпосылаемое в качестве основания суждение должно быть суждением «С есть A». Но из одной этой посылки еще не получается никакого вывода. К ней необходимо прибавить еще одно суждение, которое приписывает либо С как предикат другому субъекту, либо С как. субъекту другой предикат. Только в этом случае получится силлогизм, ибо из отдельных посылок нельзя ничего вывести с необходимостью. Итак, наряду с посылкой «С есть A», нужна вторая посылка. Однако если эта вторая посылка предицирует А какому угодно другому субъекту X(«X есть A»), или X — A («А есть X»), то, хотя в этом случае можно образовать силлогизм, при этом не получается такого заключения, которое высказало бы что-нибудь о В, т. е. о субъекте того суждения, которое должно 'быть доказано.

Подобным же образом будет обстоять дело и в том случае, если С предицируется какому угодно другому субъекту X,X — Y,Y — Z и т. д., иными словами, если посылка умозаключения в конце концов не приводит к В.

Вообще никогда не получится никакого вывода, что одно свойственно другому, если не будет связующего среднего понятия. Суждение, которое предицирует определенный предикат определенному субъекту, может быть силлогистически доказано только с помощью среднего понятия, которое находится в определенном отношении к каждому из данных понятий — как к субъекту, так и к предикату доказываемого суждения.

Поскольку для силлогизма необходимо среднее понятие, связывающее обе посылки, то 'всякий силлогизм, по учению Аристотеля, может протекать не иначе, как ло одной из трех фигур: либо средний термин является субъектом одной посылки и предикатом другой, либо предикатом обеих посылок, либо субъектом обеих посылок. Это аристотелевское деление является исчерпывающим.

Вопрос, на каком принципе покоится это деление силлогизма на фигуры, вызвал разногласия среди ученых, изучавших логику Аристотеля. Сам Аристотель нигде прямо не высказывается об этом. Поэтому остается рассмотреть, как он описывает типы фигур, чтобы из этого выяснить, каков его принцип деления.

Первую фигуру Аристотель характеризует следующим образом: «Бели три термина так относятся друг к другу, что последний целиком содержится в среднем, а средний целиком содержится или не содержится в первом, то необходимо дается совершенный силлогизм, который соединяет оба крайних термина. А средним термином я называю тот, который содержится в одном из двух других и второй из них заключает в себе и который также по положению (по месту) ставится средним, крайними же терминами я называю, во-первых, тот, который заключается в других, во-вторых, тот, который сам заключает в себе другие» («Первая Аналитика», I, 4, 25Ь, 34). Здесь крайние термины не характеризуются как высшее и низшее понятия. Они характеризуются лишь постольку, поскольку этого требует различение от них среднего понятия.

Приведенная характеристика 'первой фигуры, данная Аристотелем в четвертой главе первой книги «Первой Аналитики», указывает лишь на принцип построения первой фигуры, и поэтому здесь имеются в виду не только правильные, но и недействительные модусы (случаи, когда средний термин не содержится в первом). Первую фигуру в отличие от второй и третьей Аристотель называет совершенным силлогизмом.

О второй фигуре Аристотель говорит, что в ней один и тот же термин полностью присущ одному из двух остальных терминов, а другому вовсе не присущ, или обоим всецело присущ или обоим не присущ вовсе, а средний термин есть тот, который пре-дицируется о двух других, крайние же те, о которых предици-руется средний термин. Далее Аристотель показывает, что в этой фигуре не может быть умозаключения, если обе лосылки утвердительны или обе отрицательны. Поэтому если в характеристике второй фигуры говорится и о таких случаях, в которых оба крайних термина лежат или не лежат в объеме среднего термина, то эти случаи не представляют собой действительных силлогизмов.

Это — не общее определение второй фигуры, так как в эту характеристику не входят частные модусы, а лишь указание на то, каким образом в ней сочетаются термины.

С другой стороны, в эту характеристику входят и недействительные модусы.

Не следует возражать против данной Аристотелем характеристики, что в отрицательных посылках нет подчинения одного термина другому и что поэтому во второй фигуре, в которой во всех формах ее умозаключений одна из двух посылок должна быть отрицательной, средний термин не может обозначаться как такой, которому 'подчинены два других. Точно такое же возражение можно было бы сделать и против характеристики первой фигуры, поскольку и там бывают случаи, в которых средний термин не содержится в 'большем термине, но, несмотря на это, там средний термин дефинируется как такой, который заключается в другом и сам заключает в себе третий. Отрицательная посылка имеет по крайней мере форму отношения субординации: один термин не содержится ъ другом. А этого достаточно для уразумения принципа.

Третья фигура силлогизма характеризуется у Аристотеля следующим образом: «Если одному и тому же термину один из двух остальных всецело присущ, а другой вовсе не присущ или оба всецело присущи или оба вовсе не присущи, то это я называю третьей фигурой. Средним термином в ней я называю тот термин, о котором высказываются оба остальных, крайними же терминами—те, которые высказываются о среднем термине» («Первая аналитика», I, 6, 28 а 10).

И эта характеристика вовсе не есть дефиниция возможных способов умозаключения по третьей фигуре, так как, с одной стороны, под нее не подходят частные модусы третьей фигуры, с другой же стороны, сюда входят недействительные модусы. Таким образом, эта характеристика указывает только отличительный признак третьей фигуры.

Различие большего и меньшего терминов при самом делении фигур у Аристотеля осталось вообще без внимания. Оба они просто как крайние противопоставлялись третьему (среднему) термину. Равным образом не обращалось никакого внимания на суждение, служащее заключением.

Тренделенбург и некоторые другие историки логики усматривают основание деления силлогизма на фигуры в отношении объема среднего термина к объемам двух других. Однако при характеристике фигур силлогизма у Аристотеля во всех случаях указывается и на место среднего и двух крайних терминов. В фигурах каждый из них имеет свое определенное место. Из этого видно, что учение о фигурах силлогизма изложено у Аристотеля небрежно. Аристотель не дает ни определения фигуры силлогизма вообще, ни определения отдельных его фигур. Нет у него и ясного указания на принцип деления силлогизмов на фигуры. Он лишь характеризует каждую из трех фигур со стороны ее структуры. Но и это указание не отличается четкостью.

По нашему мнению, постановка вопроса о фигурах силлогизма у Аристотеля такова: Аристотель ищет решения этой проблемы в отношении среднего термина к двум крайним. Он устанавливает факт, что средний термин может занимать в посылках силлогизма тю отношению к крайним терминам три различных положения: средний термин может быть или субъектом в одной посылке и предикатом в другой, или предикатом в обеих посылках, или субъектом в обеих посылках. Затем Аристотель ищет объяснения этого факта в отношении среднего термина к крайним по объему, а следовательно, и по содержанию, поскольку объем понятий зависит от их содержания, т. е. он ищет ответа в иерархии высших и низших понятий, которая у Аристотеля имеет не только логическое, но и онтологическое значение. Но этот замысел был осуществлен им неудачно.

Как мы уже упоминали, у Аристотеля порядок терминов силлогизма отличается от общепринятого в формальной логике. По мнению Н. Н. Ланге, аристотелевский порядок является более естественным.

В первой фигуре номера терминов по порядку устанавливаются уже в самом описании типа умозаключений: последний термин содержится в среднем и средний в первом и т. д. С этим связано замечание Аристотеля о среднем термине: «Он и по положению (гао месту) бывает средним». Разумеется, смысл названий «первый», «средний», «последний» становится понятным при сравнении аналогичных высказываний относительно других фигур.

Во второй фигуре больший термин есть тот, который лежит подле среднего термина, меньший же термин лежит дальше от среднего. Средний термин здесь есть первый по месту.

В третьей фигуре больший термин есть тот, который лежит дальше от среднего, меньший же лежит ближе к нему. Здесь средний термин есть последний по месту.

Отсюда несомненно, что употребляемые в характеристике первой фигуры выражения «первый», «средний», «последний» обозначают не что иное, как место. В первой фигуре (по занимаемому месту):

I — больший термин, II—средний термин, и III — меньший термин. Во II фигуре:

I — средний термин. II — больший термин, и III — меньший термин. В III фигуре:

I — больший термин, II — меньший термин, и III — средний термин.

Аристотель говорит, что по месту терминов можно узнать фигуру. Можно думать, что место терминов находится в определенном отношения к основанию деления фигур. Что разумеет Аристотель под местом терминов?

Он имеет в виду положение терминов при их линейном расположении. Аристотель употребляет для изображения форм умозаключений в каждой фигуре определенные алфавитные знаки. Если обозначить термины общепринятыми в традиционной формальной логике символами, то мы получим для фигур следующие ряды:

I фигура PMS

II фигура MPS

III фигура PSM.

В развернутом виде мы будем иметь, по Аристотелю:

I фигуратг^ II фигура III фигура

Р присуще М М присуще Р Р присуще М М — SМ — SS— М

Р присуще S Р присуще S Р присуще S

С точки зрения линейного расположения терминов, различие между фигурами представляется в следующем виде. В первой фигуре наша мысль идет от большего термина к среднему и от среднего к меньшему. Этот ход мысли соответствует самой природе вещей, и именно поэтому первая фигура дает совершенный силлогизм. Во второй фигуре наша мысль идет от среднего термина к большему и от последнего к меньшему, а в третьей фигуре она идет от большего термина к меньшему и от меньшего к среднему.

По мнению Тренделенбурга, аристотелевское деление категорического силлогизма на три фигуры является столь же полным, как и позднейшее деление на четыре фигуры, но оно основано на другом принципе деления. У Аристотеля в первой фигуре средний термин занимает в ряде субординации понятий среднее место, во второй фигуре он занимает наивысшее место и в третьей — низшее место.

Основная форма I фигуры у Аристотеля:

Р присуще всякому М М присуще всякому S

Р присуще всякому S.

Здесь средний термин занимает место посредине между крайними терминами. Поэтому Аристотель располагает термины первой фигуры в линейном порядке PMS.

Основная форма II фигуры:

М не присуще никакому Р М присуще всякомуS

Р не присуще никакому S.

Здесь средний термин есть первый по положению, так как он в качестве предиката в обеих посылках предшествует прочим терминам. Отсюда линейное расположение терминов во второй фигуре MPS.

Основная форма III фигуры:

Р присуще всякому МS присуще всякому М

Р присуще некоторым S.

Здесь средний термин есть последний по положению. Линейное расположение в третьей фигуре PSM.

Таким образом, три фигуры отличаются друг от друга линейным расположением терминов.

В общем в вопросе об истолковании «места» терминов в аристотелевской теории силлогизма наметились три различные точки зрения.

1. Фигура силлогизма зависит от способа отношения среднего термина к крайним. При этом имеются только три возможности:

средний термин может быть или субъектом по отношению к боль шему и предикатом по отношению к меньшему, или предикатом обоих, или субъектом обоих. Такова точка зрения Целлера, Ибервега, Вайтца.

2. Другая точка зрения, которой придерживается Г. Майер,

основанием деления фигур в силлогизме считает место терминов в линейном расположении терминов.

3. Третья точка зрения (Тренделенбург, Бобров) заключается в том, что основанием деления фигур в силлогизме Аристотеля признается принцип не логический, а метафизический, а имен но — место терминов в иерархии понятий вообще.

Следует признать, что принципом деления силлогизма на фигуры у Аристотеля служит различное отношение среднего термина к крайним. Средний термин является логическим основанием установления той связи между крайними терминами, которая утверждается в заключении. Но значение среднего термина этим не ограничивается. Он имеет не только логическое, но и онтологическое значение. Средний термин в силлогизме, по учению Арп-стотелЯф может соответствовать реальной основе — причине.

Аристотель впервые установил общие правила силлогизма и специальные правила отдельных фигур. Общее правило силлогизма состоит в том, что если обе посылки отрицательные или обе посылки частные, тo из Таких посылок нельзя сделать необходимого вывода, т. е. во всяком силлогизме одна посылка обязательно должна быть общей и одна утвердительной. Далее Аристотель устанавливает, что в силлогизме должны быть две посылки и три термина.

Что касается специальных правил отдельных фигур, то для первой фигуры Аристотель устанавливает правило, что в ней посылка с большим термином должна быть общим суждением, а посылка с меньшим термином должна быть утвердительной. Специальным правилом второй фигуры, установленным Аристотелем, является то, что одна из посылок должна быть отрицательной, а посылка с большим термином должна быть общим суждением. Специальное правило третьей фигуры заключается в том, что посылка с меньшим термином должна быть утвердительной.

Аристотель исследовал, какие модусы (комбинации посылок общеутвердительных, общеотрицательных, частноутвердительных и частноотрицательных) в каждой отдельной фигуре являются действительными, дающими логически необходимый вывод, и какие недействительными, не дающими такого вывода.

Первую фигуру Аристотель называет совершенным силлогизмом, так как логическая необходимость выводов по этой фигуре ясна сама по себе. Она основывается непосредственно на аксиоме, выражающей отношение рода к его видам и к входящим в него единичным предметам, в силу чего все, что высказывается о роде, высказывается и о всех видах и о всех единичных предметах, входящих в данный род.

Аристотель устанавливает и ту особенность первой фигуры, что по ней выводы могут получаться всех возможных видов — и общеутвердительные, и общеотрицательные, и частноутверди-тельные, и частноотрицательные.

Что касается выводов по второй и третьей фигурам, то для выяснения, какие модусы их являются действительными и какие недействительными, Аристотель считает необходимым свести их к модусам первой фигуры. Для этого сведения он применяет приемы обращения (без изменения и с изменением количества) посылок модусов второй и третьей фигур, перестановку этих посылок и прием приведения к нелепости (доказательство от противного). Несовершенные силлогизмы второй и третьей фигур находят свое обоснование в совершенных силлогизмах первой фигуры, будучи сводимы к ним путем прямого или косвенного доказательства.

Аристотель доказывает, что в конечном итоге в основе всех силлогизмов лежат два первых модуса первой фигуры.

Исследуя модусы второй и третьей фигур, Аристотель установил, что по второй фигуре могут получаться только отрицательные заключения, а по третьей фигуре — только частные заключения.

Обстоятельно исследовал Арис-^еЛь силлогизмы с йоеылка-ми различных модальностей и установил, какие их модусы являются действительными и какие недействительными.

Анализируя отношения между истинностью и ложностью посылок и истинностью и ложностью заключений, Аристотель устанавливает, что при правильности силлогизма эти отношения таковы:

1) если истинны посылки, то необходимо истинно и заключе ние,

2) если ложны посылки, то заключение не необходимо лож но (оно может быть и ложным, и истинным),

3) если ложно заключение, то одна или обе посылки необхо димо ложны,

4) если истинно заключение, то посылки не необходимо истин ны (они могут быть и истинными, и ложными).

Здесь Аристотель, можно сказать, подходит к установлению условного силлогизма — к положениям, что из истинности основания вытекает истинность следствия и из ложности следствия вытекает ложность основания, но из ложности основания еще не следует ложность следствия и из истинности следствия еще не следует истинность основания.

По Аристотелю, истинное знание заключается в понятиях, определения которых вполне доказаны из общих посылок. Истинное знание — это дедуктивное знание. Выведение частного из общего не может продолжаться до бесконечности, должны быть наивысшие самые общие положения, из которых выводится вся система знаний той или иной науки. Каждая наука, по учению Аристотеля, имеет такие последние принципы. Высшими общими принципами доказательства служат истины, непосредственно достоверные. Это последние принципы, и как таковые они недоказуемы. Для силлогистики Аристотеля последним принципом, на котором она покоится, служит, как выше сказано, аксиома, которая позже получила название dictum de omni et nullo.

Вайтц полагает, что наряду с этой аксиомой в основе силлогизма лежит также логический закон противоречия, а Э. Пост, соглашаясь с мнением Вайтца, что силлогизм зависит от аксиомы противоречия, пытается доказать, что закон противоречия и dictum de omni et nullo — одно и то же, что, конечно, неверно.

И. Гусик в статье «Аристотель о законе противоречия и об основании силлогизма», помещенной в журнале «Mind» за 1906 г., оспаривая мнение Вайтца и Поста, доказывает, что силлогизм не предполагает закона противоречия и что значимость силлогизма остается и в том случае, если отбросить закон противоречия. Он говорит, что можно построить гипотетическую логику, в которой закон противоречия не имеет силы и в которой одна и та же вещь, в одно и то же время, в рдном и том же отношении может быть и Л и не-Л (например, и белой и не-белой), и в этой гипотетической логике остается верным силлогизм:

Все А'сутъ В Все С суть А

Все С суть В.

Вайтц и Пост ссылаются на 11-ю главу «Второй Аналитики», в которой Аристотель говорит о началах, общих всем наукам. Гусик считает, что они не поняли мысли Аристотеля и приписывают ему как раз противоположное тому, что он хочет сказать. Гусик, конечно, прав, что аксиома силлогизма dictum de omni et nullo есть самостоятельный принцип, отличный от логического закона противоречия и не совпадающий с ним. Но при устранении закона противоречия теория силлогизма остается лишь в той своей части, в которой для ее обоснования не применяется доказательство в в. иде приведения к невозможности, поскольку этот вид доказательства предполагает как закон противоречия, так и связанный с ним закон исключенного третьего.

Исходным моментом в логике Платона было понятие, в логике же Аристотеля — суждение. Главная задача логики Аристотеля — обоснование суждений умозаключениями. Поэтому центральная проблема его логики—силлогистика. При этом у Аристотеля умозаключение неразрывно связано с доказательством и рассматривается с точки зрения его значения для доказательства. Конечной целью логики Аристотеля является развитие теории доказательства.

Собственной основной задачей «Аналитики» Аристотеля является учение о силлогизме как средстве строго научного доказательства (аподейктики). Но, начав исследование, Аристотель находит, что силлогизм имеет более широкое применение, служит средством не только строго научного доказательства, но и средством убеждения людей путем приведения доказательств, имею-ющих лишь значение вероятности. Поскольку оказалось, что силлогизм есть нечто более общее, чем строго научное аподиктическое доказательство, Аристотель посвящает его исследованию «Первую Аналитику», в которой он впервые разработал теорию категорического силлогизма, притом так глубоко и основательно, что после него в эту теорию были внесены лишь незначительные дополнения.

В отличие от аподиктических умозаключений, дающих вследствие истинности их посылок вполне достоверные умозаключения, Аристотель называет «диалектическими» те умозаключения, которые не дают вполне достоверных выводов ввиду того, что их 'посылки являются не научными истинами, а лишь общепризнанными мнениями. Противопоставляя свой научный метод диалектике, Аристотель имел в влду Платона.

Диалектику Платона — Аристотель уценивает! как дающую только вероятные результаты, а не достоверные научно обоснованные истины. Он считает диалектику основой риторики, поскольку ораторское искусство имеет своей задачей убеждать людей для достижения тех или иных политических, воспитательных и других практических целей.

Кроме аподиктических умозаключений, Аристотель говорит о разных видах умозаключения, которые не носят строго научного характера. Это — умозаключения диалектические, риторические, эриетические, пейрастические и софистические. Цель аподейктики — научно обосновывать те или иные положения, цель диалектики — исследовать и давать ответы, цель риторики — защищаться и обвинять, цель эристики — успешно вести спор, цель пейра-стики — пробовать, пытаться обсуждать, не сгавя себе задачи получить определенные конечные результаты, цель софистики — вводить в заблуждение. Диалектика и риторика родственны друг другу. Близки между собой эристика и пейрастика. Аристотель считал рассуждения Сократа пейрастическими, рассуждения Платона — диалектическими, рассуждения представителей прочих сократовских школ — эристическими.

Формально правильное умозаключение, по учению Аристотеля, может быть и аподиктическим, и диалектическим, в зависимости от достоверности посылок.

В диалектических умозаключениях посылками являются не достоверные истины, а такие суждения, которые только признаются истинными многими или по меньшей мере отдельными лицами. Посылки эристического силлогизма суть простые предположения.

У Аристотеля силлогизм и доказательство настолько тесно связаны, что часто силлогизм он называет доказательством и доказательство — силлогизмом.

Аристотель указывает, что по трем фигурам категорического силлогизма протекают не только лрямые доказательства, но и косвенные. В самом деле, последние основаны на логическом законе, что из двух противоречащих суждений одно необходимо истинно и ход доказательства заключается в том, что, утверждая противоположное основному 'положению, мы приходим к абсурду (невозможному). Таково, например, доказательство положения, что диагональ квадрата несоизмерима с его стороной.

Приняв противоположное данному положению, т. е. что она соизмерима, мы получаем вывод, что нечетное число равно четному (пример взят Аристотелем из современной ему математики; пример сам по себе неудачен, поскольку это доказательство является ошибочным). Доказательство путем приведения к невозможному основано на том, что предположение, противное искомому заключению, приводит к абсурду. Но самое выведение следствий из принятого положения, противного искомому, строится в виде прямого Доказательства и, следовательно, должно протекать по одной из тех же трех фигур силлогизма.

Таким образом, и косвенные доказательства получаются по тем же самым фигурам силлогизма. Наконец, и в гипотетических умозаключениях дело обстоит не иначе. В них мы исходим из некоторого предположения (или условного согласия собеседника), но самый ход умозаключения и в этом случае будет таким же, как и в косвенном доказательстве. Допустим, заранее достигнуто с собеседником соглашение, что «если есть А, то есть и В». Строим доказательство:

Если~.А~есть, то и В есть А есть

Следовательно, В есть.

В первой посылке существование А принято условно, во второй же посылке оно принимается категорически, а заключением является главное искомое суждение.

По учению Аристотеля, все виды доказательств и все виды умозаключений сводятся к категорическому силлогизму и его трем фигурам, а последние сводятся к первой фигуре и, следовательно, первая фигура категорического силлогизма является той основой, на которой покоятся все наше мышление, вся логика, все науки.

Доказательства от предположения. Прямому доказательству путем применения категорического силлогизма с истинными посылками Аристотель противопоставляет доказательство, которое выводит доказываемое суждение путем допущения известного предположения (с помощью гипотезы). В этом непрямом способе доказательства усматривают зачатки позднейшего учения о гипотетических умозаключениях. Но взгляды Аристотеля по этому вопросу существенно расходятся с учениями последующей логики. У Аристотеля различаются и противопоставляются не аподиктический и гипотетический силлогизмы, а дейктический и гипотетический приемы доказательства. И при рассмотрении последнего в 23-й главе первой книги «Первой Аналитики» Аристотель доказывает, что и те умозаключения, которыми пользуется гипотетический способ доказательства, также укладываются в те же самые три фигуры, которые свойственны дейктическому доказательству, и, следовательно, в конечном счете могут быть редуцированы к первой фигуре категорического силлогизма.

Апагогические доказательства. Одним из видов доказательства «от предположения» является апагогический способ доказательства. Исследование апагогических умозаключений дано Аристотелем во второй книге «Первой Аналитики».

Апагогические умозаключения отличаются от остальных силлогизмов «от предположения» как логической структурой, так и познавательной ценностью. Аристотель знает и применяет различные виды апагогической аргументации. Одним из видов апагогического доказательства является приведение к невозможному. Это апагогическое доказательство состоит в том, что из контрадикторной противоположности того суждения, которое должно быть доказано, выводится заключение, оказывающееся противоречащим тому, что является признанной истиной, и потому оно должно быть отброшено как невозможное. Если же это следствие невозможно, то должна быть ложной посылка, из которой оно вытекает. А эта посылка является контрадикторной противоположностью по отношению к доказываемому суждению, и, следовательно, последнее должно быть истинным.

Апагогическое доказательство Аристотель относит к умозаключениям «от предположения», потому что здесь выведение следствия основывается на гипотезе, что тезис должен быть истинным, если антитезис (контрадикторная противоположность тезиса) может быть доказан как невозможный.

Итак, апагогический прием состоит из двух частей: в первой силлогистически выводится заключение, во второй устанавливается абсурдность этого заключения. Заключительный момент апагогического доказательства — переход к самому доказываемому положению — совершается по закону исключенного третьего.

Весь апагогический прием доказательства состоит из трех стадий:

I. Силлогизм:

С не есть А В есть А

В не есть С

II. Установление абсурда:

В есть С.

Если «В есть С» истинно, то его противоположность «S не есть С» должна быть ложной.

III. Гипотетическое выведение следствия:

Если из суждения «С не есть А» вытекает суждение «S не есть С», а это суждение невозможно, то истинно, что «С есть A» (гипотеза).

Поскольку из ложности одного суждения следует с достоверностью истинность другого лишь в том случае, если эти суждения находятся в отношении контрадикторной противоположности, постольку, если возьмем противную (контрарную) противоположность доказываемого суждения, то от нее, разумеется, силлогистически тоже можно прийти к абсурду, однако от этого абсурда нельзя перебросить мост к тому, что должно быть доказано.