Аналитики. Никомахова этика

Очевидно также, что и в частных силлогизмах можно во всех случаях выводить истинное [заключение] из ложных [посылок]. В самом деле, следует брать те же термины, которые были взяты, когда посылки были общими, а именно: при утвердительных [заключениях] – в утвердительных [посылках], при отрицательных – в отрицательных [посылках], ибо для выставления этих терминов безразлично, примем ли мы, что нечто присуще всем, когда на самом дело оно вовсе не присуще, или примем, что оно присуще каждому, когда на самом деле оно присуще лишь некоторым. Равным образом обстоит дело и при отрицательных силлогизмах.

Итак, очевидно, что если заключение ложно, то необходимо, чтобы те [посылки], из которых состоит рассуждение, были ложными – или все, или некоторые. Если же заключение истинно, то не необходимо, чтобы какая-нибудь [из посылок] или все они были истинными; заключение одинаково может быть истинным, хотя и не необходимо, если в силлогизме ни одна [из посылок] не истинна. Причина этого в том, что, когда два [предмета] относятся друг к другу так, что, если есть один, необходимо есть и второй, тогда, если нет второго, не будет и первого; однако если второй есть, то не необходимо, чтобы был и первый. Но невозможно, чтобы одно и то же было необходимо и когда другое есть, и когда его нет. Я имею в виду, например, что невозможно, чтобы Б было необходимо велико, когда А бело, и необходимо велико, когда А не бело. В самом деле, если вот это Б необходимо велико, когда вот это А бело, и если В необходимо не бело, когда Б велико, то В не бело, когда А бело. Далее, если два [предмета] относятся друг к другу так, что, если есть один, необходимо есть второй, то, когда этого второго нет, необходимо нет и первого, [т. е.] А. В таком случае если Б не велико, то А не может быть белым. Если же [предположить], что Б необходимо велико, когда А не бело, то с необходимостью вытекает, что Б велико, когда оно не велико, а это невозможно, ведь если Б не велико, то А необходимо не будет белым. Если же Б будет велико, когда А не бело, то окажется, что Б велико, когда оно не велико, как это получается посредством трех терминов.

Глава пятая [Доказательство по кругу в первой фигуре]