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