Чтобы сделать рассуждение яснее на примерах, скажу так: пусть вместо A взята посылка «человек способен смеяться», и пусть при этом подразумевается большая посылка: «способное смеяться способно воспринимать ум и знание». Тогда, конечно, следует, что человек способен воспринимать ум и знание – назовём это заключение B. Таким образом, из A (то есть «человек способен смеяться») следует B («человек способен воспринимать ум и знание»).
И если кто-то спросит: «Откуда известно, что A есть, то есть что человек способен смеяться?» – и мы захотим обосновать это через круговое доказательство, то скажем так: «Человек способен воспринимать ум и знание (что было B, раньше – заключение, теперь берётся как меньшая посылка), следовательно, человек способен смеяться (что было A, сначала – посылка, теперь – заключение)». При этом, конечно, опущена большая посылка: «способное воспринимать ум и знание способно смеяться».
Но изначально он назвал A Γ, как я сказал, чтобы через различие показать заключение. В конце же, возвращаясь к рассуждению, он говорит, что то, что он назвал Γ, есть то, что изначально называл A.
Итак, если при A есть B, а при B есть Γ (что то же, что A), то при B есть A. Но при A есть B, значит, при A есть A.
Таким образом, те, кто говорит, что нечто доказывается по кругу, не говорят ничего иного, кроме того, что каждое есть потому, что оно есть.
Можно, как я сказал, брать A вместо двух посылок. Но поскольку при обращении силлогизма («при B есть Γ, то есть A») мы берём A не вместо двух посылок, а вместо одной (которую делаем заключением), чтобы не казалось, что при обращении A мы берём две посылки как заключение, то лучше каждый из элементов брать вместо одной посылки, подразумевая вторую по способу энтимем.
Например: «Этот человек щеголь – значит, прелюбодей», при этом, конечно, подразумевается большая посылка: «всякий щеголь – прелюбодей».
Так же мы могли бы сказать: «Человек способен смеяться, значит, человек способен воспринимать ум и знание», опуская большую посылку: «способное смеяться способно воспринимать ум и знание».
стр. 72b32 (продолжение)
Тем, кто утверждает, что доказательство круговое, следует не только сказанное сейчас (то есть что предыдущее доказывается через последующее, а общее – через частное), но и то, что они не говорят ничего иного, кроме «это есть, потому что это есть», то есть одно и то же оказывается и предыдущим, и последующим, и более, и менее известным, что нелепо.
p. 72b35 Он показывает, что это происходит при наличии трех терминов.
«Это, – говорит он, – происходит, когда доказательство идет по кругу, и что это есть, если это есть, при наличии трех терминов. И это разумно, поскольку и доказательство по крайней мере из трех терминов; а это потому, что и всякий силлогизм; так что и круговое доказательство по крайней мере из трех терминов и двух посылок».
p.