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

Но если не для всего есть (одновременно) определение и доказательство, то нет ли этого для некоторых (вещей)? Или это невозможно? Ибо нет доказательства того, для чего есть определение. Действительно, определение показывает, что есть (данная вещь), ее сущность, тогда как все доказательства, очевидно, предполагают и принимают (заранее) то, что (она) есть, как, например, математические (науки) - что такое единица и что такое нечетное, и также другие (науки). Далее, каждое доказательство доказывает что-либо о чем-либо, например, что нечто существует или не существует. В определении же не приписывается одно другому, например, ни живое существо - двуногому, ни это (последнее) - живому существу, а фигура не (приписывается) плоскости, ибо плоскость не есть фигура и фигура не есть плоскость [5]. Далее, доказывать, что есть (данная вещь), и (доказывать), что (она) есть, - не одно и то же. Итак, определение показывает, что есть (данная вещь), доказательство же - что это этому приписывается или нет. Но доказательство разного - разное, за исключением (того случая), когда (доказывается) какая-то часть целого. Я это говорю потому, что если доказано, что (сумма) углов треугольника (вообще) равна двум прямым, то (тем самым) то же доказано и относительно равнобедренного (треугольника), ибо последний есть часть, а первый - целое. Но (положения) "что есть (данная вещь)" и "что (она) есть" не находятся друг к другу в таком отношении, ибо одно не есть часть другого.

Таким образом, очевидно, что не для всего того, для чего имеется определение, есть доказательство, и не для всего того, для чего есть доказательство, имеется определение, так что вообще невозможно иметь оба [6] для одного и того же. А отсюда ясно, что определение и доказательство не есть одно и то же и что одно не содержится в другом, ибо в противном случае в таком же отношении друг к другу находилось бы и то, что лежит в (их) основании [7]. Итак, пусть на этом закончим (предварительное) исследование о них.

[1] Определения к доказательству. В предыдущей главе было показано, что дать определение есть по существу то же самое, что указать причину. А причина есть средний термин.

[2] О сказуемых, выражающих существо вещи.

[3] Приведенное выше.

[4] Отождествление доказательства с определением приводит к противоречию.

[5] Человек есть двуногое живое существо. Круг есть фигура с такой-то плоскостью. Здесь в определении двуногое не приписывается живому существу и точно так же фигура не приписывается плоскости.

[6] Доказательство и определение.

[7] Предмет определения и доказательства.

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

(Недоказуемость определения посредством силлогизма)

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