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

Среди фигур (силлогизма) первая является наиболее подходящей для (приобретения) научного знания, ибо по ней ведут доказательства и математические науки, как арифметика, геометрия, оптика, и, я сказал бы, все науки, рассматривающие (причины), почему (что-нибудь) есть, ибо силлогизм о том, почему (что-нибудь) есть, получается или во всех, или во многих случаях, или больше всего именно по этой фигуре. Так что благодаря этому эта фигура и есть наиболее удобная для научного знания, ибо рассмотрение (причины), почему есть (данная вещь), есть главное в знании. Далее, только по этой фигуре можно приобрести знание (также) о том, что есть (данная вещь) [1], ибо по средней фигуре не бывает утвердительного заключения, а между тем знание о том, что есть (данная вещь), есть знание утвердительное. По последней же фигуре утвердительное заключение, (хотя и) бывает, однако не общее, между тем то, что есть, (данная вещь), относится к общему: ведь человек, (например), не есть (только) в известном отношении двуногое существо [2]. Кроме того, эта фигура не нуждается в других, между тем как те ею скрепляются и обогащаются, пока не достигается неопосредствованное. Таким образом, очевидно, что первая фигура имеет для знания наибольшее значение.

[1] Познание существа предмета.

[2] Человек есть двуногое существо не при известных условиях, но вообще, безусловно, во всех отношениях.

ГЛАВА ПЯТНАДЦАТАЯ

(Неопосредствованные отрицательные посылки)

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

Таким образом, очевидно, что одно может быть не присуще другому неотъемлемо, и мы сказали, когда и как это возможно.

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

[2] Между А и Б.

[3] Всякое тело (А) есть сущность (В). Ни одно свойство (Б) не есть сущность (В). Ни одно свойство (Б) не есть тело (А).

[4] Ни одна сущность (А) не есть свойство (Д). Всякий цвет (Б) есть свойство (Д). Никакой цвет (Б) не есть сущность (А).

[5] а. Никакое свойство (Д) не есть сущность (В). Всякое тело (А) есть сущность (В), Никакое тело (А) не есть свойство (Д).

б. Никакое тело (А) не есть свойство (Д). Всякий цвет (Б) есть свойство (Д). Никакой цвет (Б) не есть тело (А).