Итак, доказательство по своему роду есть рассуждение. Оно ведь, очевидно, не есть чувственный предмет, но некоторое движение мысли и признание с ее стороны, что, собственно, и относится к рассуждению. Рассуждение же, проще говоря, есть то, что составлено из посылок и вывода. Посылками мы называем не какие-либо положения, на которых мы настаиваем, но те, которые собеседующий допускает и воспринимает ввиду их очевидности. Вывод же есть то, что строится из этих посылок. Например, умозаключением является такая цельная система: "Если сейчас день, то свет есть. Но сейчас день. Следовательно, свет есть". Посылки же его - "Если сейчас день, свет есть" и "Но день есть", а вывод - "Следовательно, сейчас свет". Из рассуждений одни - выводные (###), другие - невыводные. Выводные те, в которых при допущении наличия посылок в силу этого допущения за посылками следует вывод, как это было сказано у нас немного раньше. Именно, вследствие того что [выводное рассуждение] состоит из умозаключения "Если сейчас день, свет есть", которое обещает, что при истинности в нем первой [части] истинной будет и вторая находящаяся в нем [часть], и еще из суждения "Сейчас день", которое в умозаключении является предыдущим, я утверждаю, что если умозаключение дано как истинное, так что за находящимся в нем предыдущим идет его последующее, и если дано действительно, что "Сейчас день", то по необходимости при наличии этого будет выведена и вторая часть этого, т.е. "Свет есть", а это и есть вывод.
   209
   Таковы по характеру выводные рассуждения. А невыводные построены не так. Из выводных одни выводят нечто явное, другие - неявное. Примером выводящих явное служит вышеприведенное умозаключение, построенное так: "Если сейчас день, свет есть. Но сейчас день. Следовательно, свет есть". Ведь суждение "Свет есть" одинаково явно с суждением "Сейчас день". И еще такое: "Если Дион гуляет, Дион движется. Дион гуляет. Следовательно, Дион движется". Ведь суждение "Дион движется" является в данном случае выводом самоочевидным. Неявным вывод делает, например, такое рассуждение: "Если пот выступает через поверхность кожи, то в теле существуют невидимые поры. Но есть первое. Следовательно, есть второе". Ведь существование мыслимых пор в теле принадлежит к числу неявных предметов. И в свою очередь: "То, с отделением чего от тела люди умирают, есть душа. Люди умирают с отделением от тела крови. Следовательно, душа есть кровь". В самом же деле то, что существование души заключается в крови, неочевидно.
   Из этих рассуждений, выводящих неявное, одни приводят нас от посылок к заключению только самим процессом вывода, другие же - процессом вывода и вместе с тем путем некоторого раскрытия. Из делающих выводы только на основании процесса вывода [можно отметить те], которые, по-видимому, вытекают из доверия и памяти, как, например, такое рассуждение: "Если кто-нибудь из богов сказал тебе, что такой-то разбогатеет, то такой-то разбогатеет. Но некий бог (допустим, что я указываю на Зевса) сказал тебе, что такой-то разбогатеет. Следовательно, такой-то разбогатеет". Ведь здесь мы получаем вывод о том, что такой-то разбогатеет, построенный не на основании смысла предложенного рассуждения, а на доверии к изречению бога. Путем как процесса вывода, так и в целях раскрытия ведет нас от посылок к выводу, например, умозаключение о мысленных порах. Ведь суждение "Если пот выступает через поверхность кожи, то в теле есть невидимые поры" и факт выступания пота через поверхность кожи дают нам понять на основании свойства пота то, что существуют мыслимые проходы в теле, по такому рассуждению: "Через плотное и непористое тело не может проходить влага. Однако через тело проступает пот. Значит, тело не плотно, но пористо".
   210
   При таком положении дела доказательство, очевидно, прежде всего должно быть рассуждением, затем выводным [рассуждением], в-третьих, истинным, в-четвертых, имеющим неясное заключение, в-пятых, раскрывающим его на основании смысла посылок. Поэтому такое рассуждение при наличии дня: "Если сейчас ночь, то существует мрак. Но сейчас ночь. Следовательно, существует мрак" - хотя и является выводным (поскольку вывод в нем происходит из данных посылок), но во всяком случае не истинным, поскольку оно содержит в себе ложную посылку "Сейчас ночь". Поэтому оно недоказательно. В свою очередь рассуждение "Если сейчас день, то свет есть. Сейчас день. Следовательно, свет есть" кроме того, что оно выводное, оно еще и истинно, так как при данности его посылок делается и вывод и при помощи истинного показывает нечто истинное. Но, будучи таковым, опять-таки оно не есть доказательство, потому что оно имеет явный вывод "Свет есть", а не неявный.
   На этом же основании и такое рассуждение: "Если кто-либо из богов сказал тебе, что такой-то разбогатеет, то такой-то разбогатеет. Этот бог сказал тебе, что такой-то разбогатеет. Следовательно, такой-то разбогатеет" - имеет неявное заключение, что такой-то разбогатеет, по не есть доказательство, потому что заключение получается не на основании смысла посылок, но получается из принятия доверия к богу. Поэтому при стечении всех этих обстоятельств, т.е. когда рассуждение и выводное, и истинное, и раскрывает неявное, тогда налицо доказательство. Отсюда и определяют его [стоики] следующим образом [62]: "Доказательство есть рассуждение, вскрывающее неявный вывод на основании заключения из признанных посылок", как, например, такое: "Если существует движение, существует пустота. Но движение существует. Следовательно, пустота существует". Ведь существование пустоты не явно и раскрывается на основании заключения из истинных посылок, а именно из суждения "Если существует движение, существует пустота" и из суждения "Движение существует".
   Вот что подобало выставить о понятии рассматриваемого предмета. Теперь по порядку следует изъяснить также и то, из какого материала он состоит.
   211
   [V. ИЗ КАКОГО МАТЕРИАЛА СОСТОИТ ДОКАЗАТЕЛЬСТВО]
   Из предметов, как мы часто говорили выше, одни считаются явными, другие - неявными. Явные - невольно воспринимаемые из их представления и аффекции, как, например, в данный момент: "Сейчас день", "Это - человек" и любое тому подобное. Неявные же не таковы.
   Из неявных, как говорят некоторые в целях разделения, одни неявны по природе, другие же, имеющие то же самое название, не явны по роду. Неявны по природе те, которые ни прежде не были восприняты, ни теперь не воспринимаются, ни потом не будут восприняты, вечно пребывая в неизвестности, как, например, четное или нечетное число звезд. Таким образом, они называются неявными по природе не потому, что они имеют неявную природу сами по себе, так как это спорный вопрос (т.е. мы говорим, что не знаем их, и вместе с тем признаем, что они имеют какую-то природу), но потому, что они неявны для нашей природы.
   Неявными же по роду при одном и том же наименовании называются те, которые по собственной сущности скрыты, но узнаются при посредстве признаков или доказательств, например что элементы, носящиеся в беспредельной пустоте, неделимы.
   Ввиду же такого различия в предметах мы говорим, что [понятие] доказательства ни явно (потому что оно не познается само из себя и в результате принуждения со стороны аффекции), ни неявно по природе (потому что не безнадежно его восприятие), но, поскольку остается существовать указанное различие в неявных [предметах], имеющих скрытую и темную для нас природу, оно воспринимается, по-видимому, философским рассуждением. Это мы говорим не твердо, так как было бы смешно, допустив заранее существование [доказательства], после этого вести исследование его же, но мы лишь говорим, что по своему понятию доказательство таково. Ведь на основании именно такого понятия и антиципации и возникает рассуждение о его существовании. Поэтому следующим образом надо рассуждать о том, что доказательство по своему понятию относится к предметам неявным и что оно не может быть познано через самого себя.
   212
   Явное и очевидное везде явно и очевидно, всеми признается и не допускает никакого колебания. Неявное же возбуждает разногласие и заставляет колебаться. И это справедливо. Ведь всякое рассуждение оценивается как истинное или ложное по его отношению к предмету, о котором оно произносится. В самом деле, если оно находится в соответствии с предметом, о котором оно произнесено, оно считается истинным, а если оно разноречит [с этим предметом], оно ложно. Пусть, например, кто-нибудь заявляет, что сейчас день. Тогда, отнеся сказанное к предмету и узнав, что его наличие подтверждает высказывание, мы утверждаем, что сказанное истинно. Поэтому, когда очевиден и явен предмет, о котором произносится суждение, мы, без труда отнеся к нему сказанное, говорим тогда, что суждение или истинно, если оно засвидетельствовано предметом, или ложно, если суждение ему противоречит. Когда же налицо предмет неявный и скрытый для нас, тогда, поскольку отнесение суждения к этому предмету не может быть произведено с уверенностью, остается пользоваться верой и принуждать мысль к соглашению на основании [только] вероятных предположений. Но так как каждый по-разному соображает и убеждается, то происходит разногласие, поскольку ни неудачливый не знает, что он потерпел неудачу, ни удачливый не знает, что решил вопрос удачно.
   В этом отношении скептики очень остроумно сравнивают тех, кто возится с вопросом о неявных предметах, со стреляющими во мраке в какую-нибудь цель. Ведь как можно предположить, что кто-нибудь из стрелков промахнется, а кто-нибудь и попадет? Но кто попал и кто промахнулся, остается неизвестным, так приблизительно и многочисленные рассуждения направляются в глубокой тьме скрытой истины на ее поиски; но, какое из них соответствует истине и какое противоречит ей, нельзя узнать, так как искомое далеко от ясности. Это прежде всех высказал Ксенофан.
   Ясного муж не один не узнал; и никто не возможет
   Знающим стать о богах и о том, что о всем возвещаю;
   Даже когда и случится кому совершенное молвить,
   Сам не ведает он, и всем лишь мненье доступно [63].
   213
   Поэтому если явное оказывается по вышеупомянутой причине общепризнанным, а неявное спорным, то необходимо, чтобы и спорное доказательство было неявным. А то, что оно спорно на самом деле, - это не требует для нас многих слов, но лишь некоторого краткого и легкого упоминания, потому что догматические философы и логики-врачи устанавливают его, эмпирики же устраняют и, пожалуй, также Демокрит, поскольку он сильно возражает против доказательства своими "Канонами" [64], а скептики воздерживаются от суждения о нем, пользуясь ответом "не более" [65]. Среди устанавливающих его есть также достаточное разногласие, как мы покажем в дальнейшем изложении.
   Итак, доказательство есть нечто неявное. Действительно, если всякое доказательство, содержащее в своих посылках какое-нибудь мнение, есть тем самым и мнение, а всякое мнение противоречиво, то по необходимости и всякое доказательство противоречиво и принадлежит к числу [только еще] искомых предметов. Например, Эпикур считает, что он дал такое сильнейшее доказательство существования пустоты [66]: "Если существует движение, существует пустота. Но движение существует. Следовательно, пустота существует". Если бы относительно посылок этого доказательства были все согласны, то но необходимости оно имело бы и вывод, следующий за посылками и допускаемый всеми.
   При настоящем же положении дел некоторые восстают против этого, т.е. против того, что этот вывод не вытекает из посылок; и это не потому, что он не следует за ними, но потому, что самые посылки ложны и противоречивы. Для того чтобы не входить в рассмотрение многих суждений об умозаключении, скажем, что истинно само по себе то умозаключение, которое не таково, чтобы начинаться с истинного и оканчиваться ложным [67]. Умозаключение "Если существует движение, то существует пустота", по Эпикуру, как начинающееся с истинного "Существует движение" и оканчивающееся истинным, будет истинным; по учению перипатетиков, как начинающееся с истинного "Существует движение" и оканчивающееся ложным "Существует пустота", будет ложным; по Диодору, как начинающееся с ложного "Существует движение" и оканчивающееся ложным "Существует пустота", само будет истинным, но прибавку "Существует движение" он опровергает как ложную. По учению скептиков, [это рассуждение], как оканчивающееся неявным, неявно. Ведь "Существует пустота", по их мнению, относится к неизвестному. Из этого видно, что посылки доказательства противоречивы, разногласны и неявны, поэтому доказательство на основании их совершенно неявно.
   214
   Далее, доказательство принадлежит к числу относительных предметов: оно проявляется не само по себе, но видится в отношении к доказываемому предмету. Однако еще вопрос, существуют ли относительные предметы. И многие говорят, что они не существуют. Однако, что возбуждает колебания, неявно. Итак, и по этой причине доказательство неявно. Кроме того, доказательство состоит или из звука, как сказано эпикурейцами, или из бестелесных словесных обозначений, как говорят стоики. Однако, из чего бы оно ни состояло, оно возбуждает большой вопрос. Ведь еще вопрос, существуют ли словесные обозначения; и об этом немало рассуждают. Сомнительно также, обозначают ли что-нибудь звуки. Если же спрашивается, из какого материала состоит доказательство, а искомое неявно, то и доказательство совершенно неявно.
   Пусть это будет как бы элементом [нашего] будущего опровержения. Мы же, переходя по порядку, рассмотрим вопрос относительно того, существует ли само доказательство.
   [VI. СУЩЕСТВУЕТ ЛИ ДОКАЗАТЕЛЬСТВО?]
   Изложив, из какого материала состоит доказательство, попытаемся последовательно принять во внимание и те рассуждения, которые ставят его под сомнение, рассматривая, следует ли за его понятием и антиципацией [68] также его реальность, или нет. Впрочем, некоторые, а особенно сторонники эпикурейского учения, обыкновенно грубовато восстают против нас, говоря: или вы мыслите, что такое доказательство, или не мыслите; и если мыслите и имеете о нем понятие, то доказательство существует; если же не мыслите, то каким образом вы исследуете то, что вами совсем не мыслится?
   Говорящие это сами скоро запутываются, поскольку бесспорно, что предварительно надо иметь антиципацию и понятие всякого искомого предмета. Ведь каким же образом можно было бы исследовать предмет, не имея о нем никакого понятия? Ни удачник не узнает, что ему удалось, ни промахнувшийся что он промахнулся. Поэтому мы такую точку зрения допускаем; и мы во всяком случае настолько далеки от утверждения, будто мы совсем не имеем понятия об искомом предмете, так что, наоборот, мы считаем, что имеем много понятий и антиципаций искомого, и [только] из-за невозможности их распознать и найти самую вескую из них антиципа
   215
   цию мы остаемся при воздержании от суждения и в нерешительности. Если бы мы имели одну антиципацию искомого предмета, то, следуя за нею, проверили бы, что он существует таким, каким мы нашли его по этому одному пониманию. При настоящем же положении дела, поскольку мы имеем много понятий об одном предмете, и притом разносторонних и спорных и одинаково верных вследствие их собственного вероятия и вследствие нашего доверия к защищающим их людям, мы, не будучи в состоянии ни верить всем вследствие их спорности, ни всем им не доверять, потому что не найдется понятия более заслуживающего доверия, ни верить одному, а другому не доверять ввиду их равноправия, - мы по необходимости пришли к воздержанию от суждения.
   Но мы имеем антиципации предметов по указанному выше способу. И вследствие этого если бы антиципация была постижением, то мы, пожалуй, согласились бы: в том факте, что мы имеем антиципацию предмета, уже содержится и постижение предмета. Но при настоящем положении дела, поскольку антиципация и понятие предмета не есть его реальное существование, мы утверждаем, что хотя мы и мыслим этот последний, но ни в коем случае мы его не постигаем по вышесказанным причинам, так как если антиципации суть уже постижения, то мы должны взаимно осведомиться у них, имеет или не имеет Эпикур антиципацию и понятие четырех элементов и если не имеет, то как он постигнет искомый предмет и как он будет исследовать его, поскольку он даже не имеет о нем понятия. Если же он это имеет, то как он мог не постичь того, что существует четыре элемента? Я думаю, что в свою защиту они скажут, что Эпикур мыслит четыре элемента, но не воспринял их вполне. Ведь мысль, [скажут они], есть простое движение рассудка; и, держась за нее, он противится существованию четырех стихий. Однако мы тоже имеем понятие о доказательстве и, исходя из него, тоже исследуем, существует или не существует доказательство. Однако, хотя это понятие мы и имеем, мы не должны будем соглашаться на то, что имеем тем самым [уже само] постижение.
   216
   Но против них речь еще пойдет ниже [69]. Поскольку же возражения следует делать методически, то надо исследовать, против какого по преимуществу доказательства необходимо возражать. Именно, если мы пожелаем возражать против доказательств отдельных и свойственных каждой науке, наше возражение будет не методично, поскольку таких доказательств бесконечное количество. Если же мы устраним доказательство как род, которое, как известно, объемлет все видовые доказательства, то ясно, что в нем мы устраним их все. В самом деле, как при отсутствии живого существа нет и человека, а при отсутствии человека нет и Сократа (поскольку виды устраняются совместно с родами) - так при отсутствии родового доказательства исчезает и всякое видовое доказательство. В виде совершенно не устраняется род, например в Сократе - человек; в роде же, как я выше сказал, уничтожается и вид. Поэтому необходимо и для тех, кто ставит под сомнение доказательства, устранять не иное какое-нибудь доказательство, как только родовое, за которым придется последовать и остальным. Итак, раз доказательство неясно, как мы это рассмотрели, то оно само нуждается в доказательстве - потому что всякое неясное, воспринимаемое бездоказательно, недостоверно. Существование же доказательства может быть установлено или родовым доказательством, или видовым.
   Но видовым оно не может быть установлено никоим образом. Ведь никакое видовое доказательство не устанавливается без признания родового. Как, например, если не ясен факт существования живого существа, то не становится известным и факт существования лошади; так же в случае непризнания факта родового доказательства ни одно из отдельных доказательств не будет достоверно, вместе с чем мы попадаем в троп взаимодоказуемости. Ведь чтобы упрочилось родовое доказательство, мы должны иметь достоверным видовое, а для того, чтобы признано было видовое, иметь прочным родовое, так что не может существовать ни то раньше этого, ни это раньше того. Следовательно, видовым доказательством не может быть доказано родовое.
   Так же и родовым не может быть доказано видовое. Ведь оно само есть искомое; а, будучи неявным искомым, оно не может утвердиться само по себе и во всяком случае нуждается в том, чем было бы вскрыто оно само.
   217
   Оно является устанавливающим что-нибудь не иначе как если только брать его в силу гипотезы. Но если что-либо, раз принятое по гипотезе, становится достоверным, то какая же еще необходимость его доказывать, если мы можем принять его само по себе и без всякого доказательства считать его достоверным в силу именно принятой нами гипотезы? Кроме того, если родовое доказательство может утвердить родовое доказательство, оно само одновременно должно оказаться и явным, и неявным; именно, поскольку оно доказывает явным; поскольку же оно доказывается - неявным. Оно будет также достоверным и недостоверным: достоверным - потому что оно нечто раскрывает, недостоверным - потому что оно само раскрывается. Однако совершенно бессмысленно одно и то же называть явным и неявным, достоверным и недостоверным. Поэтому и считать родовое доказательство само себя утверждающим нелепо.
   Однако и по другому методу можно заключить, что не только доказательство, но и ничто другое из сущего не может быть установлено при помощи родового доказательства. Ведь родовое доказательство или имеет такие-то посылки и такой-то вывод, или не имеет. Имеющее такие-то посылки и такой-то вывод становится одним из видовых доказательств. Если же оно не имеет посылок и вывода, то поскольку без посылок и вывода доказательство не дает заключения, то не дает заключения и родовое доказательство. А не давая никакого заключения, оно не выведет и того, что оно само существует.
   Поэтому, если признано, что первое доказательство должно быть доказано, но само оно не может быть доказано ни на основании родового, ни на основании видового доказательства, то ясно, что, не находя никакого другого [средства], кроме этих, мы обязаны воздержаться от суждения по вопросу о доказательстве.
   Действительно, если первое доказательство доказывается, то оно доказывается или при помощи искомого доказательства, или при помощи неискомого. Оно не может доказываться при помощи неискомого, поскольку всякое доказательство, раз уже первое подверглось сомнению, является предметом искания. Не может оно доказываться и при помощи искомого, потому что опять-таки, если оно ищется, оно должно быть установлено другим доказательством, а третье - четвертым, а четвертое - пятым; и так до бесконечности. Поэтому доказательство не может иметь твердого существования.
   218
   Димитрий Лаконский [70], один из знаменитых последователей Эпикура, считал, что легко опровергнуть такого рода возражение. Именно, оно говорит: "Установив одно из видовых доказательств, например выводящее, что элементы есть атомы или что пустота существует, и признавши его прочным, мы тем самым будем иметь в нем и достоверное родовое доказательство. Ведь где есть вид какого-либо рода, там вполне находится и род, к которому относится вид", как мы упомянули выше. Хотя этот [ход мыслей] и кажется вероятным, но он невозможен. Именно, прежде всего никто не допустит, чтобы Димитрий установил видовое доказательство, если раньше не было установлено родовое. И, как он сам думает, что вместе с видовым доказательством он имеет тотчас же и родовое, так и скептики будут думать, что прежде надо доказать его род, чтобы [потом уже] был удостоверен вид. Впрочем, даже если бы они ему это позволили (я имею в виду установление видового доказательства для упрочения родового доказательства), то все равно не успокоятся последователи родственных [ему же самому] учений. Но какое бы доказательство он ни принял за достоверное, они все равно его ниспровергнут; и окажется множество таких людей, которые не позволят полагать его [видовое доказательство как достоверное]. Например, если взять доказательство относительно атомов, они в бесчисленном количестве будут ему возражать; и если взять доказательство о пустоте, то очень многие против него восстанут; и если доказательство о малых обликах - точно так же. И если бы даже скептики максимально сошлись со школой Димитрия, все равно он не будет в состоянии удостоверить хотя бы одно из отдельных доказательств ввиду спора самих же догматиков [по этому предмету]. С другой стороны, каким прочным видовым доказательством он, по его словам, будет обладать? Это будет или то, которое само по себе нравится ему из всех, или какое бы то ни было любое, или доказываемое. Но принятие угодного ему из всех произвольно и скорее походит на выбор по жребию. Если же любое, то он должен принять всякие доказательства - и эпикурейцев, и стоиков, и еще перипатетиков, что бессмысленно. Если же доказываемое, то оно не есть доказательство. Ведь если оно доказывается, то оно только еще ищется, а искомое не будет достоверным, но нуждающимся в том, что его упрочило бы. Следовательно, невозможно одно из
   219
   отдельных доказательств считать достоверным. Да и посылки доказательства, о котором говорит Димитрий, или сомнительны, или несомнительны и достоверны. Однако если они сомнительны и недостоверны, то и состоящее из них доказательство будет совершенно недостоверно для установления чего бы то ни было. А то, что будто бы они достоверны и несомненны, есть скорее благое пожелание, чем истина.
   Ведь если все сущее или чувственно, или мысленно, то и посылки доказательства должны быть или чувственными, или мысленными. Но чувственны они или мысленны, об этом идет спор. Чувственные или таковы, какими они являются, или они обманы чувств и создания мысли, или одни из них вместе с являемостью существуют, другие же только являются, но отнюдь не существуют. Действительно, можно найти известных лиц, возглавляющих каждую такую школу. Так, Демокрит колебал всякое чувственное бытие, Эпикур всякое чувственное считал устойчивым [71], а стоик Зенон [72] проводил [здесь] различие, так что если посылки чувственны, то они разноречивы. Но ведь то же случается и если посылки мысленны. Ведь, поскольку всем нравится разное, относительно этих [вопросов] и в жизни, и в философии можно быть свидетелем больших споров.
   Затем, кроме сказанного, если всякое восприятие мыслимого предмета имеет начало и источник прочности в чувственном, а предметы, познаваемые при помощи чувственного восприятия, как мы рассмотрели, противоречивы, то необходимо, чтобы такими же были и мысленные предметы, так что посылки доказательства, какого бы рода они ни были, недостоверны и непрочны. А поэтому и доказательство недостоверно. Говоря же более общо, посылки суть явления; а относительно явлений [как раз] ищется, существуют ли они; искомое же само по себе не есть посылки, но должно быть чем-нибудь подтверждено.