Если нечто есть тело (А), то оно подвижно (Б). Если нечто подвижно (Б), то оно тело (А). Если нечто есть тело (А), то оно тело (А).
[6] Доказательство по кругу.
[7] Доказательство по кругу возможно лишь при чистой (полной) обратимости посылок, то-есть когда то, что обозначает один термин, есть такое специфическое свойство, которым обладает только другой термин (например, каждый человек способен смеяться; каждое существо, способное смеяться, есть человек).
[8] См. «Первую аналитику», кн. I, гл. 15.
[9] Силлогизм понимается Аристотелем как опосредствованное умозаключение по меньшей мере из двух посылок, содержащих три термина.
[10] См. «Первую аналитику», кн. II, гл. 5.
[11] См. «Первую аналитику», кн. II, гл. 5–7.
[12] По кругу.
[13] Термины, взаимно переставляемые.
ГЛАВА ЧЕТВЕРТАЯ
Так как невозможно, чтобы с тем, о чем есть безусловное знание, дело обстояло иначе, то познанное, относящееся к доказывающей науке, необходимо. Доказывающее же (знание) - то, которое мы имеем благодаря тому, что имеем (его) доказательство. Следовательно, доказательство есть силлогизм из необходимых (посылок). Поэтому следует установить, из каких и какого рода (посылок) состоят доказательства. Но сначала определим, что мы понимаем под (выражениями) "(приписывается) всем", "само по себе" и "общее".
Под (выражением) "(приписывается) всем" я понимаю то, что не может к некоторым относиться, а к некоторым - нет и что не может иногда быть, иногда - нет. Например, когда (говорят) о каждом человеке, что он - живое существо. Если правильно сказать, что вот этот есть человек, то будет правильно сказать также, что он есть живое существо. И если в данное время одно истинно, то одинаково истинным будет и другое. И точно так же, (если сказать), что в каждой линии есть точка. Доказательством же этого служит то, что когда поставлен вопрос о том, (приписывается ли это) всем, мы возражаем так, что или (это) не присуще некоторым или иногда не присуще. "Само по себе" означает быть присущим в (самом) существе (вещи), как, например, линия присуща треугольнику и точка - линии, ибо они составляют сущность (треугольника и линии) и входят в определение (их) существа. ("Само по себе") есть также и то, что присуще другому и чему другое так присуще, что входит в определение существа (вещи), как, например, прямое и кривое присущи линии, нечетное и четное - числу, а равным образом: первое, начальное и сложное, равностороннее и неравностороннее [1]. Все они входят в определение существа: линии - здесь, числа - там. Точно так же и в других (случаях) то, что таким именно образом присуще каждой (вещи) в отдельности, я называю "само по себе". То, что присуще ни тем, ни другим образом, я называю случайным, как, например, образованное или белое - живому существу. Далее, (присуще) само по себе то, что не приписывается какому-нибудь другому подлежащему, как (приписывается), например, идущее, когда есть нечто другое, что является идущим и белым [2]. Сущность же и то, что обозначает вот это (данное), есть не что-то другое, а как раз то, что оно есть. Таким образом, то, что не приписывается (другому) подлежащему, я называю самим по себе; то же, что приписывается (такому) подлежащему, - случайным [3]. Далее, в другом еще смысле то, что благодаря самому себе присуще каждой (вещи), есть само по себе; то же, что присуще не благодаря самому себе, есть случайное, например, если в то время, как кто-нибудь идет, сверкнула молния, то. это случайно, ибо молния сверкнула не вследствие хождения, но это, говорим мы, произошло случайно. Если же благодаря самому себе - то само по себе, как, например, если кто-нибудь, получив удар, умер (именно) от удара, ибо (он умер) из-за того, что получил удар, однако, не случайно то, что он, получив удар, умер. Следовательно, то, что по отношению к безусловно известному обозначается как "само по себе" так, что оно само присуще приписываемому или последнее - ему самому [4], - существует и благодаря самому себе и необходимо. Ибо не может быть, чтобы оно не было присуще или безусловно или как противоположности, как, например, линии присуще прямое или кривое, а числу - нечетное или четное. В самом деле, противное есть или отрицание или противоречие (в пределах) одного и того же рода, как, например, четное есть то, что не есть нечетное в числах, поскольку оно (им) сопутствует. Поэтому если необходимо (что-нибудь) утверждать или отрицать, тогда также необходимо, чтобы существующее само по себе было (этому) присуще.
