Аналитики. Первая и Вторая

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

Итак, очевидно, что если заключение ложно, то необходимо, чтобы те (положения), из которых состоит доказательство, были ложными — или все или некоторые. Если же (заключение) истинно, то не необходимо, чтобы (они) были истинными отчасти или полностью, а возможно, что заключение одинаково будет истинным, хотя и не необходимо (истинным), если в силлогизме нет ничего истинного. Причина этого заключается (в следующем): когда два (явления) так относятся друг к другу, что, если есть одно, необходимо есть и другое, то если второго нет, не будет и первого; однако если второе есть, то не необходимо, чтобы было и первое. Но невозможно, чтобы одно и то же было необходимо и когда другое есть, и когда его нет: я имею в виду, например, (такое отношение), что когда А бело, то Б необходимо велико, и что когда А не бело, то Б (также) необходимо велико. В самом деле, если нечто, (например) Б, необходимо велико, когда другое, (например) А, бело, и если В необходимо не бело, когда Б велико, то В не бело, когда А бело. Далее, если два (явления) так относятся друг к другу, что если есть одно, необходимо есть другое, то когда этого другого нет, необходимо нет и А. В таком случае, если Б не велико, то и А не может быть белым. Если же (предположить), что Б необходимо велико, когда А не бело, то с необходимостью вытекает, что Б велико, когда оно не велико, а это невозможно, ибо если Б не велико, то А необходимо не будет белым. Если же Б будет велико, когда А не бело, то выходит, что Б велико, когда оно не велико, как (получается) при трех (терминах)[487].

ГЛАВА ПЯТАЯ (Доказательство по кругу в первой фигуре)