Если нечто есть тело (А), то оно подвижно (Б). Если нечто подвижно (Б), то оно тело (А). Если нечто есть тело (А), то оно тело (А).

[6] Доказательство по кругу.

[7] Доказательство по кругу возможно лишь при чистой (полной) обратимости посылок, то-есть когда то, что обозначает один термин, есть такое специфическое свойство, которым обладает только другой термин (например, каждый человек способен смеяться; каждое существо, способное смеяться, есть человек).

[8] См. «Первую аналитику», кн. I, гл. 15.

[9] Силлогизм понимается Аристотелем как опосредствованное умозаключение по меньшей мере из двух посылок, содержащих три термина.

[10] См. «Первую аналитику», кн. II, гл. 5.

[11] См. «Первую аналитику», кн. II, гл. 5–7.

[12] По кругу.

[13] Термины, взаимно переставляемые.

ГЛАВА ЧЕТВЕРТАЯ

(Понятия "всем", "само по себе" и "общее")

Так как невозможно, чтобы с тем, о чем есть безусловное знание, дело обстояло иначе, то познанное, относящееся к доказывающей науке, необходимо. Доказывающее же (знание) - то, которое мы имеем благодаря тому, что имеем (его) доказательство. Следовательно, доказательство есть силлогизм из необходимых (посылок). Поэтому следует установить, из каких и какого рода (посылок) состоят доказательства. Но сначала определим, что мы понимаем под (выражениями) "(приписывается) всем", "само по себе" и "общее".

Под (выражением) "(приписывается) всем" я понимаю то, что не может к некоторым относиться, а к некоторым - нет и что не может иногда быть, иногда - нет. Например, когда (говорят) о каждом человеке, что он - живое существо. Если правильно сказать, что вот этот есть человек, то будет правильно сказать также, что он есть живое существо. И если в данное время одно истинно, то одинаково истинным будет и другое. И точно так же, (если сказать), что в каждой линии есть точка. Доказательством же этого служит то, что когда поставлен вопрос о том, (приписывается ли это) всем, мы возражаем так, что или (это) не присуще некоторым или иногда не присуще. "Само по себе" означает быть присущим в (самом) существе (вещи), как, например, линия присуща треугольнику и точка - линии, ибо они составляют сущность (треугольника и линии) и входят в определение (их) существа. ("Само по себе") есть также и то, что присуще другому и чему другое так присуще, что входит в определение существа (вещи), как, например, прямое и кривое присущи линии, нечетное и четное - числу, а равным образом: первое, начальное и сложное, равностороннее и неравностороннее [1]. Все они входят в определение существа: линии - здесь, числа - там. Точно так же и в других (случаях) то, что таким именно образом присуще каждой (вещи) в отдельности, я называю "само по себе". То, что присуще ни тем, ни другим образом, я называю случайным, как, например, образованное или белое - живому существу. Далее, (присуще) само по себе то, что не приписывается какому-нибудь другому подлежащему, как (приписывается), например, идущее, когда есть нечто другое, что является идущим и белым [2]. Сущность же и то, что обозначает вот это (данное), есть не что-то другое, а как раз то, что оно есть. Таким образом, то, что не приписывается (другому) подлежащему, я называю самим по себе; то же, что приписывается (такому) подлежащему, - случайным [3]. Далее, в другом еще смысле то, что благодаря самому себе присуще каждой (вещи), есть само по себе; то же, что присуще не благодаря самому себе, есть случайное, например, если в то время, как кто-нибудь идет, сверкнула молния, то. это случайно, ибо молния сверкнула не вследствие хождения, но это, говорим мы, произошло случайно. Если же благодаря самому себе - то само по себе, как, например, если кто-нибудь, получив удар, умер (именно) от удара, ибо (он умер) из-за того, что получил удар, однако, не случайно то, что он, получив удар, умер. Следовательно, то, что по отношению к безусловно известному обозначается как "само по себе" так, что оно само присуще приписываемому или последнее - ему самому [4], - существует и благодаря самому себе и необходимо. Ибо не может быть, чтобы оно не было присуще или безусловно или как противоположности, как, например, линии присуще прямое или кривое, а числу - нечетное или четное. В самом деле, противное есть или отрицание или противоречие (в пределах) одного и того же рода, как, например, четное есть то, что не есть нечетное в числах, поскольку оно (им) сопутствует. Поэтому если необходимо (что-нибудь) утверждать или отрицать, тогда также необходимо, чтобы существующее само по себе было (этому) присуще.

Следовательно, (выражения) "(приписывается) всем" и "само по себе" надо определять таким (именно) образом. "Общим" же я называю то, что присуще всем и (есть) само по себе и поскольку оно есть то, что оно есть. Очевидно поэтому, что все, что есть общее, присуще вещам необходимо. "Само по себе" и "поскольку оно есть то, что оно есть", означают одно и то же. Как, например, точка и прямая сами по себе присущи линии, ибо они присущи, поскольку (линия) есть линия. Точно так же треугольнику, поскольку он треугольник, присущи (в сумме) два прямых (угла), ибо сам по себе треугольник [5] (в сумме) равен двум прямым. Общее же присуще тогда, когда оно доказывается относительно любого и первичного, например, иметь (в сумме) два прямых (угла) не присуще (всякой) фигуре вообще, ибо хотя относительно (некоторой) фигуры и можно доказать, что она имеет (в сумме) два прямых (угла), однако не относительно любой фигуры; и тот, кто доказывает, не пользуется любой фигурой. В самом деле, четырехугольник есть фигура, однако (сумма) его углов не равна двум прямым. Любой же равнобедренный треугольник имеет (сумму) углов, равную двум прямым, однако не первично, так как раньше это имеет треугольник (вообще). Следовательно, что касается того, о чем, как о любом и первичном, доказывается, что оно имеет два прямых угла или что-либо другое, то этому первичному присуще общее, и доказательство этого само по себе есть (доказательство) общего; (доказательство) же другого есть каким-то образом (доказательство) не само по себе, и доказательство общего дается не относительно равнобедренного треугольника, а (простирается) на большее.

[1] Равностороннее число – число, представляющее собой произведение одинаковых множителей (квадратное число), например: 81 = 9 X 9.

[2] «Идущее» и «белое», говорит Аристотель, не есть нечто существующее само по себе, ибо таковым является, собственно говоря, некоторое другое существо, которое идет и является белым.

[3] Сущность, по Аристотелю, не может содержаться в другом, поэтому она не может приписываться другому как своему подлежащему.

[4] Два первых вида того, что существует само по себе.

[5] В отношении своих углов.

ГЛАВА ПЯТАЯ

(Ошибки в доказательстве первично общего)

Не следует, однако, упускать из виду, что часто происходит ошибка и доказываемое не есть первично общее, поскольку (только) кажется, что доказывается общее первичное [1]. В такую ошибку мы впадаем тогда, когда кроме отдельного (предмета) или отдельных (предметов) ничего нельзя брать выше, или тогда, когда (это) возможно, но (это высшее) не имеет (определенного) обозначения [2] в отношении различных по виду предметов, или когда кажущееся целое, относительно которого (что-нибудь) доказывается, (в действительности) есть часть, ибо (в этом случае) доказательство будет относиться к отдельным частям и будет о всем (предмете), но оно не будет доказательством того первичного общего. Я говорю: доказательство того первичного как такового, когда оно относится (именно) к первичному общему. Если бы поэтому кто-либо захотел доказать, что прямые линии [3] не совпадают, он мог бы подумать, что доказательство этого возможно потому, что оно относится ко всем прямым линиям [4]. Это, однако, не так, поскольку (доказывать следует) не то, что углы равны при таких-то (условиях), а что они равны при любых (условиях). И если бы не было другого треугольника, кроме. равнобедренного, то (данные свойства) казались бы присущими (треугольнику), поскольку он равнобедренный [5], То же самое и (с положением о том), что члены пропорции взаимно переставляемы, будут ли они числа, линии, тела и отрезки времени. Подобно тому как доказательство иногда велось в отдельности, точно так же можно дать одно доказательство всего; так как, однако, все они, (именно): числа, длина, (отрезки) времени, тела, таковы, что не существует какого-то единого (обозначения) для них и они по виду различны между собой, то их брали каждое в отдельности. Теперь же доказательство касается того, что есть общее (в них), ибо они доказываются не поскольку они присущи как линии и как числа, а поскольку они такое, что предполагается присущим как общее. Если поэтому кто-либо доказывал бы о каждом треугольнике в отдельности Посредством одного или разного рода доказательства, что каждый треугольник имеет (в сумме) два прямых (угла), и если бы это было доказано им в отдельности относительно равностороннего, а также неравностороннего и равнобедренного треугольника, то он еще не знал бы, что треугольник (как таковой) имеет углы, равные (в сумме) двум прямым, разве только софистическим способом [6]; (и не знал бы) ни о треугольнике вообще, ни о том, есть ли еще какой-нибудь другой треугольник помимо (данных), ибо (в таком случае) он не знал бы треугольника как такового и не имел бы знания о всяком (вообще) треугольнике, разве только по числу, но не все - по видам, даже если не было бы никакого неизвестного (ему треугольника). Итак, когда не имеют (о нем) общего знания и когда знают (его) безусловно? Ясно именно, что когда "быть треугольником" и "быть равносторонним" означало бы одно и то же, в отношении ли к отдельному или ко всем (треугольникам), то имели бы общее знание (о нем). Если же это означает не одно и то же, но различное, а (данное свойство) присуще треугольнику, поскольку он треугольник, тогда не имеют еще о нем общего знания. Присуще ли, однако, (это свойство) треугольнику, поскольку он треугольник, или поскольку он равнобедренный? И когда оно в силу этого присуще первично? И когда доказательство чего-нибудь есть (доказательство) общего? Очевидно тогда, когда (данное свойство) по устранении (других) будет присуще первичному. Например, равнобедренному медному треугольнику будут присущи два прямых (угла), но если устранить то, что он медный и равнобедренный, то ему тем не менее будет присуще то же самое свойство, однако оно не будет присуще (по устранении) фигуры или границ [7], но (и) не будет (присуще по устранении) первичного. В таком случае, (по устранении) какого первичного? Если (по устранении) треугольника именно, тогда в силу этого (данное свойство) присуще также и другим (треугольникам) [8], и (тогда) доказательство этого есть (доказательство) общего.