Если же знание заключается в этом, то очевидно, что доказательство есть научный силлогизм, поскольку доказательство – это некоторое знание, как мы уже сказали, полученное через силлогизм, если силлогизм есть умозаключение, в котором заключение следует из истинных, непосредственных, более известных, предшествующих и причинных по отношению к заключению посылок, – ибо такой силлогизм порождает в нас знание и понимание.

Что же касается того, что всякий силлогизм состоит из посылок, то далее перечисляется, какими свойствами должны обладать посылки доказательного силлогизма.

p. 71b16

Если же существует и другой способ познания, мы скажем об этом позже. Поскольку сейчас речь идёт о знании, достигаемом через доказательство, но есть и другой вид знания – недоказуемый, непосредственный и не требующий силлогизма, как, например, знание аксиом (ибо оно приходит к нам не через доказательство, а непосредственно, о чём будет сказано далее), – поэтому сейчас говорится, что о другом виде знания мы скажем позже, а сейчас обсуждаем знание через доказательство.

Итак, мы правильно говорили, что речь идёт не о знании вообще, а о более специфическом, соответствующем доказательству.

Далее:

Мы также утверждаем, что знаем через доказательство. Сказав, что о другом способе поговорим позже, добавляем: «А сейчас мы говорим, что знаем через доказательство», заменяя «понимаем» на «знаем». Затем, снова заменяя «знаем» на «понимаем», вводим: «Доказательством же я называю научный силлогизм; научным же я называю тот, благодаря обладанию которым мы понимаем».

Таким образом, если «мы говорим, что знаем через доказательство» означает «понимаем», то знание здесь отождествляется с доказательством. Ведь, определив, что такое знание, он говорит и о доказательстве как о научном силлогизме, что равносильно утверждению: «знание, полученное через силлогизм».

Ибо мы считаем, что знание – это когда мы понимаем причину, по которой нечто существует, и что эта причина истинна, а иначе быть не может. Когда же мы получаем такое понимание через силлогизм, мы называем это доказательством. Следовательно, такое знание равнозначно доказательству.

Или, если рассмотреть точнее, знание – это сам результат доказательства и состояние души, возникающее благодаря этому знанию, а доказательство – это процесс, подчинённый силлогистическому знанию, путь к его достижению.

Итак, что такое доказательство, уже сказано. Далее перечисляется, какими свойствами должен обладать доказательный силлогизм.

Необходимо, говорит он, чтобы доказательное знание исходило из истинных посылок, ибо возможен истинный силлогизм, но не из истинных посылок. Например:

– Человек – камень,

– Камень – животное,

– Следовательно, человек – животное.

Заключение истинно, и форма силлогистична, но посылки ложны. Доказательный же силлогизм обязательно должен исходить из истинных посылок.

p. 71b21 Первых и непосредственных.

Хорошо, что к «первым» добавлено «и непосредственных». Если, например, взяв за основу, что душа бессмертна, мы затем выведем что-то ещё, скажем, что души пребывают в звёздах, то это будет вывод из первых посылок, но не из непосредственных, ибо бессмертие души не общепризнано и требует доказательства.

Следовательно, и его доказательство должно либо исходить из непосредственных посылок, либо быть недоказуемым, и так до бесконечности. Поэтому подлинно научный силлогизм должен строиться на первых и непосредственных посылках, то есть недоказуемых и самоочевидных.

Поскольку всякое доказательство (то есть силлогизм) осуществляется через средние термины, посылки доказательного силлогизма должны быть непосредственными, то есть не требующими среднего термина для доказательства принадлежности предиката субъекту.