Действительно, необходимо, чтобы всяким доказательством и всяким силлогизмом утверждалось, что (нечто) или присуще, или не присуще[244]
и (притом) или во всем объеме, или в части объема, и далее — или непосредственно[245], или исходя из предположения[246]. Доказательство, исходящее из предположения, является частью доказательства, которое дается посредством приведения к невозможному. Мы сперва будем говорить о непосредственных силлогизмах, ибо из (рассмотрения) их станут ясными также и отличительные свойства доказательства, которое дается посредством приведения к невозможному, и вообще (всякого) доказательства, исходящего из предположения.Если нужно вывести заключение о том, что А присуще или не присуще Б, то для этого необходимо принять, что нечто приписывается чему-то. Если же (для этого) принять, что А приписывается Б, то будет принято (именно) то, что с самого начала требовалось (доказать)[247]
. Если же принять, что (А) приписывается В, а В ничему другому не приписывается, и ничто другое не приписывается (В), как и ничто (другое) не приписывается А, то силлогизма не получится, ибо из того, что нечто одно приписывается другому[248], еще ничего с необходимостью не вытекает. Следовательно, нужно ввести еще одну посылку. Итак, если А приписывается чему-нибудь другому или что-нибудь другое — А, или нечто другое — В, то ничто не мешает построить силлогизм, однако в отношении Б из того, что принято, (ничего) не вытекает[249]. Если В приписывается чему-нибудь, а это — чему-нибудь другому, а это другое — еще чему-нибудь другому и (притом) ничто из всего этого не связано с Б, то также не получится силлогизма об отношении А к Б[250]. И мы говорили, что вообще никогда нельзя построить силлогизм, в котором нечто одно приписывается другому, если не берется еще нечто среднее, что могло бы быть приписано каждому из двух (других терминов), ибо силлогизм вообще получается из (двух) посылок. Силлогизм же о чем-либо строится из посылок, касающихся этого же. Наконец, силлогизм об отношении вот этого к этому строится из посылок, в которых вот это имеет отношение к этому. Нельзя, однако, принять какую-либо посылку, касающуюся Б, если ему ничего не приписывают и (ничего) о нем не отрицают; нельзя, далее, (принять посылку) об отношении А к Б, если не берется нечто, общее (им обоим), а (лишь) приписывается или отрицается что-либо, свойственное каждому из них в отдельности. Необходимо, следовательно, брать нечто среднее между обоими, что связывало бы приписываемое, если должен получиться силлогизм об отношении одного (термина) к другому. Поэтому, если необходимо принять нечто общее (им обоим), и это общее имеет (к ним) троякого рода отношение, именно или А приписываетсяВ, а В — Б, или В — обоим, или оба приписываются В[251]
, то получаются те фигуры, о которых мы говорили. Отсюда очевидно, что всякий силлогизм необходимо строится по какой-нибудь из этих фигур, ибо отношение остается все тем же и (в том случае), если (А) связано с Б посредством некоторых промежуточных (терминов): ведь и при многих (промежуточных терминах) фигура будет той же.