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

Что это есть вопрос о среднем (термине) [2], это становится ясным из тех (случаев), где средний (термин) есть нечто чувственно воспринимаемое. В самом деле, мы спрашиваем, например, есть ли лунное затмение или нет тогда, когда мы не воспринимаем его чувственно. Если бы мы находились на луне, то мы не спрашивали бы ни о том, происходит ли затмение, ни о том, почему оно происходит, а (это) нам сразу было бы ясно. Ибо тогда из чувственного восприятия мы имели бы и знание общего. Ведь чувственно воспринимается, что земля находится теперь между луной (и солнцем), и потому ясно, что теперь происходит (лунное) затмение, а отсюда возникает (представление) общего.

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

[1] Речь идет о сказуемых.

[2] О причине.

[3] Когда речь идет о подлежащем.

[4] Когда речь идет о сказуемом, выражающем существо вещи.

ГЛАВА ТРЕТЬЯ

(Отношение определения к доказательству)

Итак, ясно, что во всяком исследовании стоит вопрос о среднем (термине).

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

Таким образом, ясно, что не (всегда есть) определение для всего того, для чего есть также и доказательство. Ну, а есть ли доказательство всего того, для чего имеется определение? Или нет? То же самое основание [3] касается также и этого (вопроса). Итак, об одном и том же, поскольку оно одно и то же, существует одна наука. Так что, если знать доказуемое есть то же самое, что иметь доказательство, то отсюда вытекает нечто невозможное [4], так как в таком случае тот, кто имеет определение, имел бы знание без доказательства. Далее, началами доказательств являются определения, а уже раньше было показано, что для начал нет доказательств. В самом деле, или начала доказуемы и (следовательно), существуют начала начал - и так до бесконечности; или первые (начала) должны быть недоказуемыми определениями.