Аналитики. Книга вторая I

Таким образом, логически можно отсюда убедиться в сказанном. Аналитически [11] же можно еще более кратким путем доказывать с очевидностью, что ни по направлению вверх, ни по направлению вниз приписываемое не может быть бесконечным в рассматриваемых (нами) науках, дающих доказательства. В самом деле, ведется ведь доказательство того, что само по себе присуще вещам. Но само по себе (присущее) понимается двояко: как то, что присуще другому по (своему) существу, и как то, чему по (своему) существу присуще само это другое. Например, числу приписывается нечетное, которое хотя и присуще числу, но само число входит в определение нечетного. И точно так же в определение числа входит множество или делимое. Но из этих (видов само по себе присущего) ни один, ни другой не может быть бесконечным, как нечетное не (может бесконечно приписываться) числу, ибо тогда в нечетном в свою очередь оказалось бы нечто другое, в котором содержалось бы нечетное, в то время как оно само содержится в нечетном. Но если это так, то число первично будет содержаться в том, что ему самому присуще. Таким образом, если такого рода бесконечное не может быть присуще в одном [12], то бесконечного не будет и по направлению вверх. Но необходимо, чтобы все (неотъемлемые признаки) были присущи первичному, как, например, числу, и число - им. Так что (неотъемлемые признаки и первичное [13]) должны быть переставляемы, но первое не должно выходить за пределы второго, и наоборот [14]. Однако и то, что содержится в существе (вещей), не бесконечно, в противном случае невозможно было бы (их) определение. Так что, если все приписываемое обозначается как (присущее) само по себе, а то, что есть само по себе, не бесконечно, то есть предел по направлению вверх и, следовательно, по направлению вниз.

Но если это так, то промежуточные (термины) между двумя (крайними) терминами также будут всегда ограниченными. А раз так, то ясно уже, что необходимо должны быть начала доказательств и что нет доказательства всего, как (говорили мы вначале [15]) утверждают некоторые. Ибо если начала существуют, то не все доказуемо, и нельзя [16] идти до бесконечности. Ведь если бы считали тот или другой из этих (случаев правильным), то это означало бы не что иное, как то, что нет никакой неопосредствованной и неделимой посылки, но что все делимо [17]. Ибо то, что подлежит доказательству, доказывается введением термина в середину, а не прибавлением (его) извне. Так что если бы здесь можно было идти до бесконечности, то было бы также бесконечное (множество) средних (терминов) между двумя терминами. Это, однако, невозможно, если сказуемые имеют предел по направлению как вверх, так и вниз. А что они имеют предел, это логически было доказано выше, аналитически же - теперь.

[1] Ͳό τί έστίν. Иногда этот термин Аристотеля переводится нами и словом «существо».

[2] Ͳό τί ήν εΐναι (буквально: что было быть, или чем было бытие (для данной вещи)). Иногда этот термин Аристотеля переводится нами и словом «суть». Следует также отметить, что часто Аристотель не делает никакого различия между понятиями τό τί ήν εΐναι и οσία (сущность).

[3] Место сказуемого в суждении занимает то белое, сказуемое в собственном смысле (дерево бело), то дерево, собственно говоря, подлежащее суждения (это белое есть дерево).

[4] Здесь Аристотель перечисляет только 8 категорий бытия. 2 категории (положение и обладание) пропущены. Первое полное перечисление категорий дано Аристотелем в его «Категориях».

[5] Например: человек есть разумное существо; человек есть живое существо. В первом случае объем сказуемого совпадает с объемом подлежащего, поэтому суждение обратимо полностью (каждое разумное существо есть человек). Во втором случае подлежащее есть только часть сказуемого, и полная обратимость здесь невозможна (не все живые существа люди).

[6] Нельзя сказать: А есть Б и Б есть А, в таком случае А было бы сказуемым своего сказуемого, качеством качества.

[7] Род был бы видом.

[8] Например, белое, по Аристотелю, существует как белое лишь потому, что оно находится в чем-то другом.

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

[10] Необходимо, чтобы число средних терминов было не бесконечным.

[11] См. примечание 23 к предыдущей главе.

[12] По-видимому, взятом по направлению вниз.

[13] Определяемое и определяющее.

[14] Определяемое и определяющее должны быть тождественными по объему.

[15] См. главу 3 этой книги.

[16] В доказательстве.

[17] Опосредствованно.

ГЛАВА ДВАДЦАТЬ ТРЕТЬЯ

(Значение среднего термина в доказательстве)