[IV. О ДОКАЗАТЕЛЬСТВЕ]
О том, ради чего в настоящий момент мы исследуем зоо вопрос о доказательстве, было сказано раньше, когда мы рассматривали вопрос о критерии и о знаке [60]. Для того чтобы наше изложение не вышло неметодичным, но увереннее выступило и воздержание от суждения [61], и возражение против догматиков, надо объяснить самое понятие доказательства.
Итак, доказательство по своему роду есть рассуждение. Оно ведь, очевидно, не есть чувственный предмет, но некоторое движение мысли и признание с ее стороны, что, собственно, и относится к рассуждению. Рассуждение же, проще говоря, есть то, что составлено из посылок и вывода. Посылками мы называем не какие-либо положения, на которых мы настаиваем, но те, которые собеседующий допускает и воспринимает ввиду их очевидности. Вывод же есть то, что строится из этих посылок. Например, умозаключением является такая цельная система: "Если сейчас день, то свет есть. Но сейчас день. Следовательно, свет есть". Посылки же его - "Если сейчас день, свет есть" и "Но день есть", а вывод - "Следовательно, сейчас свет". Из рассуждений одни - выводные (###), другие - невыводные. Выводные те, в которых при допущении наличия посылок в силу этого допущения за посылками следует вывод, как это было сказано у нас немного раньше. Именно, вследствие того что [выводное рассуждение] состоит из умозаключения "Если сейчас день, свет есть", которое обещает, что при истинности в нем первой [части] истинной будет и вторая находящаяся в нем [часть], и еще из суждения "Сейчас день", которое в умозаключении является предыдущим, я утверждаю, что если умозаключение дано как истинное, так что за находящимся в нем предыдущим идет его последующее, и если дано действительно, что "Сейчас день", то по необходимости при наличии этого будет выведена и вторая часть этого, т.е. "Свет есть", а это и есть вывод.
209
Таковы по характеру выводные рассуждения. А невыводные построены не так. Из выводных одни выводят нечто явное, другие - неявное. Примером выводящих явное служит вышеприведенное умозаключение, построенное так: "Если сейчас день, свет есть. Но сейчас день. Следовательно, свет есть". Ведь суждение "Свет есть" одинаково явно с суждением "Сейчас день". И еще такое: "Если Дион гуляет, Дион движется. Дион гуляет. Следовательно, Дион движется". Ведь суждение "Дион движется" является в данном случае выводом самоочевидным. Неявным вывод делает, например, такое рассуждение: "Если пот выступает через поверхность кожи, то в теле существуют невидимые поры. Но есть первое. Следовательно, есть второе". Ведь существование мыслимых пор в теле принадлежит к числу неявных предметов. И в свою очередь: "То, с отделением чего от тела люди умирают, есть душа. Люди умирают с отделением от тела крови. Следовательно, душа есть кровь". В самом же деле то, что существование души заключается в крови, неочевидно.
Из этих рассуждений, выводящих неявное, одни приводят нас от посылок к заключению только самим процессом вывода, другие же - процессом вывода и вместе с тем путем некоторого раскрытия. Из делающих выводы только на основании процесса вывода [можно отметить те], которые, по-видимому, вытекают из доверия и памяти, как, например, такое рассуждение: "Если кто-нибудь из богов сказал тебе, что такой-то разбогатеет, то такой-то разбогатеет. Но некий бог (допустим, что я указываю на Зевса) сказал тебе, что такой-то разбогатеет. Следовательно, такой-то разбогатеет". Ведь здесь мы получаем вывод о том, что такой-то разбогатеет, построенный не на основании смысла предложенного рассуждения, а на доверии к изречению бога. Путем как процесса вывода, так и в целях раскрытия ведет нас от посылок к выводу, например, умозаключение о мысленных порах. Ведь суждение "Если пот выступает через поверхность кожи, то в теле есть невидимые поры" и факт выступания пота через поверхность кожи дают нам понять на основании свойства пота то, что существуют мыслимые проходы в теле, по такому рассуждению: "Через плотное и непористое тело не может проходить влага. Однако через тело проступает пот. Значит, тело не плотно, но пористо".
210
При таком положении дела доказательство, очевидно, прежде всего должно быть рассуждением, затем выводным [рассуждением], в-третьих, истинным, в-четвертых, имеющим неясное заключение, в-пятых, раскрывающим его на основании смысла посылок. Поэтому такое рассуждение при наличии дня: "Если сейчас ночь, то существует мрак. Но сейчас ночь. Следовательно, существует мрак" - хотя и является выводным (поскольку вывод в нем происходит из данных посылок), но во всяком случае не истинным, поскольку оно содержит в себе ложную посылку "Сейчас ночь". Поэтому оно недоказательно. В свою очередь рассуждение "Если сейчас день, то свет есть. Сейчас день. Следовательно, свет есть" кроме того, что оно выводное, оно еще и истинно, так как при данности его посылок делается и вывод и при помощи истинного показывает нечто истинное. Но, будучи таковым, опять-таки оно не есть доказательство, потому что оно имеет явный вывод "Свет есть", а не неявный.
На этом же основании и такое рассуждение: "Если кто-либо из богов сказал тебе, что такой-то разбогатеет, то такой-то разбогатеет. Этот бог сказал тебе, что такой-то разбогатеет. Следовательно, такой-то разбогатеет" - имеет неявное заключение, что такой-то разбогатеет, по не есть доказательство, потому что заключение получается не на основании смысла посылок, но получается из принятия доверия к богу. Поэтому при стечении всех этих обстоятельств, т.е. когда рассуждение и выводное, и истинное, и раскрывает неявное, тогда налицо доказательство. Отсюда и определяют его [стоики] следующим образом [62]: "Доказательство есть рассуждение, вскрывающее неявный вывод на основании заключения из признанных посылок", как, например, такое: "Если существует движение, существует пустота. Но движение существует. Следовательно, пустота существует". Ведь существование пустоты не явно и раскрывается на основании заключения из истинных посылок, а именно из суждения "Если существует движение, существует пустота" и из суждения "Движение существует".
Вот что подобало выставить о понятии рассматриваемого предмета. Теперь по порядку следует изъяснить также и то, из какого материала он состоит.
211
[V. ИЗ КАКОГО МАТЕРИАЛА СОСТОИТ ДОКАЗАТЕЛЬСТВО]
Из предметов, как мы часто говорили выше, одни считаются явными, другие - неявными. Явные - невольно воспринимаемые из их представления и аффекции, как, например, в данный момент: "Сейчас день", "Это - человек" и любое тому подобное. Неявные же не таковы.
Из неявных, как говорят некоторые в целях разделения, одни неявны по природе, другие же, имеющие то же самое название, не явны по роду. Неявны по природе те, которые ни прежде не были восприняты, ни теперь не воспринимаются, ни потом не будут восприняты, вечно пребывая в неизвестности, как, например, четное или нечетное число звезд. Таким образом, они называются неявными по природе не потому, что они имеют неявную природу сами по себе, так как это спорный вопрос (т.е. мы говорим, что не знаем их, и вместе с тем признаем, что они имеют какую-то природу), но потому, что они неявны для нашей природы.
Неявными же по роду при одном и том же наименовании называются те, которые по собственной сущности скрыты, но узнаются при посредстве признаков или доказательств, например что элементы, носящиеся в беспредельной пустоте, неделимы.
Ввиду же такого различия в предметах мы говорим, что [понятие] доказательства ни явно (потому что оно не познается само из себя и в результате принуждения со стороны аффекции), ни неявно по природе (потому что не безнадежно его восприятие), но, поскольку остается существовать указанное различие в неявных [предметах], имеющих скрытую и темную для нас природу, оно воспринимается, по-видимому, философским рассуждением. Это мы говорим не твердо, так как было бы смешно, допустив заранее существование [доказательства], после этого вести исследование его же, но мы лишь говорим, что по своему понятию доказательство таково. Ведь на основании именно такого понятия и антиципации и возникает рассуждение о его существовании. Поэтому следующим образом надо рассуждать о том, что доказательство по своему понятию относится к предметам неявным и что оно не может быть познано через самого себя.