(Преимущество доказательства утверждения перед доказательством отрицания)
Таким образом, что (доказательство) общего лучше (доказательства) частного, об этом сказано нами достаточно. А что (доказательство) утверждения лучше (доказательства) отрицания, станет ясным из следующего. При прочих равных (условиях) то доказательство должно быть лучше, которое исходит из меньшего (числа) постулатов, или предположений, или посылок. Ибо если посылки одинаково известны, то познание будет скорее достигнуто посредством тех, (которых меньше), а это является более желательным. Основание же положения, что лучше то (доказательство), которое исходит из меньшего (числа посылок), является общим. В самом деле, если средние (термины) одинаково известны, а предшествующие более известны, то пусть одно доказательство того, что А присуще Е, будет дано посредством средних (терминов) БВД, другое же (доказательство) того, что А присуще Е, - посредством ЗЭ. Но с (посылкой), что А присуще Д, дело обстоит так же, как с (посылкой), что А присуще Е [1]. Однако что А присуще Д, - это есть предшествующее и более известное, чем то, что А присуще Е [2], ибо посредством первого доказывается последнее; более же достоверным является то, посредством чего (доказывают). Следовательно, доказательство посредством меньшего (числа средних терминов) при прочих равных (условиях) лучше. Итак, в обоих случаях [3] доказательство ведется посредством трех терминов и двух посылок, но в первом (случае) принимается, что что-нибудь есть, во втором же - что нечто и есть и не есть. Следовательно, (доказательство отрицания) дается через большее [4] и потому является менее хорошим.
Далее, так как было доказано, что при двух отрицательных посылках силлогизм невозможен, но необходимо, чтобы одна (посылка) была отрицательной, а другая - о том, что присуще, - то в связи с этим следует принять (во внимание) еще следующее: при расширении доказательства утвердительные (посылки) необходимо должны увеличиваться (в своем числе), между тем как отрицательных (посылок) в каждом силлогизме не может быть больше одной. В самом деле, пусть А не присуще ничему из того, чему присуще Б, но Б - присуще всем В. Далее, если необходимо обе посылки увеличить (в числе), то следует вставить средний (термин). Пусть таким для АБ будет Д, а для БВ - Е. Тогда очевидно, что Е взято в утвердительной (посылке), что же касается Д, то с Б оно находится в утвердительной (посылке), с А, напротив, - в отрицательной, ибо Д должно быть присуще всем Б, между тем как А не присуще ни одному Д. Таким образом, получится (только) одна отрицательная посылка, именно АД. И так же обстоит дело и в других силлогизмах. В самом деле, в (силлогизмах) с утвердительным (заключением) средний (термин) будет всегда с обоими (крайними) терминами в утвердительных (посылках), в (силлогизме) с отрицательным (заключением) одна (из посылок) должна быть отрицательной. Так что одна эта посылка будет отрицательной, а другие - утвердительными. Таким образом, если то, посредством чего (что-нибудь) доказывается, является более известным и достоверным, отрицательное же (заключение) доказывается посредством утвердительной (посылки), между тем как утвердительное не доказывается посредством отрицательной (посылки), то (доказательство) утверждения, будучи чем-то предшествующим, более известным и достоверным, является лучшим. Далее, если началом силлогизма является общая неопосредствованная посылка, а общая посылка в (доказательстве) утверждения является утвердительной, в (доказательстве) отрицания - отрицательной, утвердительная же (посылка) является предшествующей и более известной, чем отрицательная, ибо отрицание становится известным через утверждение и утверждение является предшествующим (по сравнению с отрицанием), подобно тому как бытие (предшествует) небытию, то и начала (доказательства) утверждения имеют преимущество перед (началами доказательства) отрицания. Но (доказательство), начала которого имеют преимущество, (само) имеет преимущество. (Доказательство утверждения) является и более похожим на начало, ибо без (доказательства) утверждения нет и (доказательства) отрицания.

---

[1] Имеется в виду второй случай, когда посылка АЕ доказывается посредством двух средних терминов ЗЭ. Посылка же АД также доказывается посредством БВ.
[2] Поскольку АЕ доказывается через БВД, то-есть посредством трех терминов. Посылка АД предшествует и более известна, чем посылка АЕ потому, что последняя из нее же вытекает.
[3] В доказательстве утверждения и доказательстве отрицания.
[4] Утвердительное заключение получается из двух утвердительных посылок, то-есть из посылок одинаковых по качеству, следовательно, – одного рода. Отрицательное же заключение получается из одной утвердительной и одной отрицательной посылки, то-есть из посылок неодинаковых по качеству, следовательно, – двоякого рода.