Аналитики. Первая и Вторая

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

Но, прежде всего, не применимо ли другое положение[955] в большей мере к (доказательству) общего, чем к (доказательству) частного? В самом деле, если то, что (сумма углов) равна двум прямым, присуще (равнобедренному треугольнику) не поскольку он равнобедренный, а поскольку он треугольник, то тогда тот, кто знает, что равнобедренный (треугольник) как таковой (обладает этим свойством), знает меньше, чем тот, кто знает, что треугольник (обладает этим свойством). И вообще, если (о равнобедренном треугольнике) доказывают не поскольку он треугольник, то это не будет доказательством, если же (доказательство)[956] имеет место, тогда тот, кто знает каждое (свойство), поскольку оно присуще (треугольнику вообще), будет лучше знать. Если, следовательно, треугольник есть (термин), имеющий больший объем, (чем равнобедренный), и определение (его) — то же самое, и он не является треугольником (только)в смысле омонима[957] и если всякому треугольнику присуще то (свойство), что его углы равны (в сумме) двум прямым, то треугольник имеет такие углы не поскольку он равнобедренный, а равнобедренный (имеет такие углы), поскольку он треугольник. Так что тот, кто знает общее, лучше знает (нечто) как присущее, чем тот, кто (знает) частное. Следовательно, (доказательство) общего лучше (доказательства) частного. Кроме того, если бы было какое-то одно понятие, а не омонимия[958], то общее существовало бы не в меньшей мере, чем что-то частное, и даже в большей мере, поскольку непреходящее содержится (в общем), тогда как частное в большей мере преходяще. Далее, предполагать, что (общее) есть нечто, существующее помимо (частного), потому что оно что-то выражает, нет никакой необходимости — не больше, чем в отношении другого, не обозначающего некоторой (сущности), но (обозначающего) или качество, или отношение, или действие. Но если есть такое (предположение), то в этом повинно не доказательство, а тот, кто соглашается (с этим).