Из этих рассуждений, выводящих неявное, одни приводят нас от посылок к заключению только самим процессом вывода, другие же - процессом вывода и вместе с тем путем некоторого раскрытия. Из делающих выводы только на основании процесса вывода [можно отметить те], которые, по-видимому, вытекают из доверия и памяти, как, например, такое рассуждение: "Если кто-нибудь из богов сказал тебе, что такой-то разбогатеет, то такой-то разбогатеет. Но некий бог (допустим, что я указываю на Зевса) сказал тебе, что такой-то разбогатеет. Следовательно, такой-то разбогатеет". Ведь здесь мы получаем вывод о том, что такой-то разбогатеет, построенный не на основании смысла предложенного рассуждения, а на доверии к изречению бога. Путем как процесса вывода, так и в целях раскрытия ведет нас от посылок к выводу, например, умозаключение о мысленных порах. Ведь суждение "Если пот выступает через поверхность кожи, то в теле есть невидимые поры" и факт выступания пота через поверхность кожи дают нам понять на основании свойства пота то, что существуют мыслимые проходы в теле, по такому рассуждению: "Через плотное и непористое тело не может проходить влага. Однако через тело проступает пот. Значит, тело не плотно, но пористо".
210
При таком положении дела доказательство, очевидно, прежде всего должно быть рассуждением, затем выводным [рассуждением], в-третьих, истинным, в-четвертых, имеющим неясное заключение, в-пятых, раскрывающим его на основании смысла посылок. Поэтому такое рассуждение при наличии дня: "Если сейчас ночь, то существует мрак. Но сейчас ночь. Следовательно, существует мрак" - хотя и является выводным (поскольку вывод в нем происходит из данных посылок), но во всяком случае не истинным, поскольку оно содержит в себе ложную посылку "Сейчас ночь". Поэтому оно недоказательно. В свою очередь рассуждение "Если сейчас день, то свет есть. Сейчас день. Следовательно, свет есть" кроме того, что оно выводное, оно еще и истинно, так как при данности его посылок делается и вывод и при помощи истинного показывает нечто истинное. Но, будучи таковым, опять-таки оно не есть доказательство, потому что оно имеет явный вывод "Свет есть", а не неявный.
На этом же основании и такое рассуждение: "Если кто-либо из богов сказал тебе, что такой-то разбогатеет, то такой-то разбогатеет. Этот бог сказал тебе, что такой-то разбогатеет. Следовательно, такой-то разбогатеет" - имеет неявное заключение, что такой-то разбогатеет, по не есть доказательство, потому что заключение получается не на основании смысла посылок, но получается из принятия доверия к богу. Поэтому при стечении всех этих обстоятельств, т.е. когда рассуждение и выводное, и истинное, и раскрывает неявное, тогда налицо доказательство. Отсюда и определяют его [стоики] следующим образом [62]: "Доказательство есть рассуждение, вскрывающее неявный вывод на основании заключения из признанных посылок", как, например, такое: "Если существует движение, существует пустота. Но движение существует. Следовательно, пустота существует". Ведь существование пустоты не явно и раскрывается на основании заключения из истинных посылок, а именно из суждения "Если существует движение, существует пустота" и из суждения "Движение существует".
