Что при круговом доказательстве и это самое не происходит для всех – доказывать то же самое через себя, разве только если не взяты три термина, относящиеся друг к другу так, что каждый обратим с остальными, то есть так, что они равны. То же самое сказать, что они должны состоять из целых; например, человек, способный смеяться, способный воспринимать ум и знание; ибо каждый из них обратим с остальными. Ибо если термины не будут так расположены, то и вообще нельзя воспользоваться круговым доказательством; ибо нельзя обратить посылки, если общеутвердительное не обратимо само с собой, а с частноутвердительным».
p. 73a7 «Таким образом, при положении одного показано, что никогда не необходимо есть что-то другое».
Поскольку он сказал выше, что «это происходит при наличии трех терминов», и что через меньшее невозможно, то самое он здесь повторяет, говоря, что показано нам во второй книге «Первой Аналитики», что при положении одного – будь то термина или посылки – невозможно образование силлогизма. Ибо если я скажу «человек» или «камень» или что человек есть животное, ничего не будет выведено как заключение из одного этого, раз силлогизм есть «речь, в которой при положении некоторого с необходимостью вытекает нечто иное из положенного».
p. 73a9 «Говорю же об одном, что ни одного термина, ни одной положенной посылки».
Надо заметить, что он назвал посылку положением. Это он сказал, потому что выше, разделяя непосредственные посылки, различие свел к аксиоме и положению, а положение разделил на требования и определения, теперь же всякую посылку вообще назвал положением.
p. 73a10 «Из двух же первых и наименьших посылок возможно, если и силлогизм».
То есть наименьшее – из двух. «Первых» же, то есть простейших, поскольку силлогизм, составленный из большего числа посылок, не состоит из первых, но есть сложный, составленный из предварительных силлогизмов. А силлогизм, составленный из двух посылок, из первых этих непосредственно имеет происхождение. «Если и силлогизм» вместо «поскольку и вообще силлогизм по крайней мере из двух посылок состоит, так что и круговое доказательство».
p. 73a11 «Если же А следует и за В, и за С, и они друг за другом и за А, то так возможно доказывать друг через друга все требуемое в первой фигуре».
То есть если три положенных термина собственные, так что все обратимы со всеми, тогда возможно, обратив большую из посылок и соединив ее с заключением, так доказать оставшуюся; подобным образом и большую можно доказать круговым доказательством, обратив меньшую и, соединив ее с заключением, вывести большую. Но это возможно только в первой фигуре, как показано в учении о силлогизме.
p. 73a15 «Показано же и что в других фигурах или не получается силлогизм, или не о взятом».
Ибо во второй книге «Первой Аналитики» много рассуждали о круговом доказательстве, где показали, что в первой фигуре, если взяты термины, обратимые друг с другом, возможно каждую из посылок вывести круговым доказательством,