допущено, что словесные обозначения реально существуют, хотя спор о них не окончен. Следовательно, если словесные обозначения существуют, то, скажут стоики они или телесны, или бестелесны. Телесными они их не назовут. Если же они бестелесны, то они, по их мнению, или создают что-нибудь, или ничего не создают. Но они не могут утверждать, что те что- нибудь создают. Ведь бестелесное, по их мнению, не может ни создавать что-либо, ни страдать от чего-нибудь. А то, что ничего не создает, не может показать и обнаружить то, знаком чего оно является. Ведь показывать что-либо и обнаруживать - значит что-нибудь создавать. Однако во всяком случае нелепо, чтобы знак ничего не показывал и не выяснял; стало быть знак не есть ни [что-нибудь] мысленное, ни [какое-нибудь] утверждение. С другой стороны, как мы часто показывали во многих случаях, одно обозначает, другое обозначается. Обозначают звуки, обозначаются словесные выражения, в числе коих находятся и утверждения. Но если утверждения обозначаются, но не обозначают, то знак не может быть утвержденным. Опять-таки допустим, что словесные обозначения имеют бестелесную природу. Однако, поскольку знак есть, как они говорят, большая посылка в правильном умозаключении, необходимо сначала определить и исследовать правильное умозаключение, таково ли оно, как полагает Филон, или таково, как Диодор, определяется ли оно по своей связанности или как-нибудь иначе. Так как относительно этого тоже много разногласий, то нельзя принять прочно знак, потому что разномыслие остается нерешенным. Еще, кроме сказанного, если даже мы допустим, что достигнуто соглашение относительно верного критерия и что он бесспорно такой, какого бы они только ни захотели, необходимо тем не менее признать, что предпосылка знака все же остается неопределенной. Ведь они желают, чтобы обозначаемое было заранее явным или неявным. Если оно явно, оно не будет обозначаемым и ничем не обозначится, по обнаружится само собою. Если же оно неявно, то должно быть совершенно непознаваемым, истинно ли оно или ложно, так как, если будет известно, чем из этого оно является, оно окажется заранее явным. Поэтому умозаключение, охватывающее знак и обозначаемое, поскольку оно оканчивается неявным
==201
по необходимости остается неопределенным. Понятно, что оно начинается с истинного, однако оно оканчивается неизвестным. Раньше всего для его определения нам нужно знать, чем оно оканчивается, чтобы, если оно оканчивается истинным, мы сочли его истинным, вследствие того, что оно начинается с истинного и кончается истинным; а если оканчивается ложным, мы, наоборот, назовем его ложным, потому что оно начинается с истинного и кончается ложным. Итак, необходимо сказать, что знак не есть утверждение и не есть большая посылка в правильном умозаключении. К этому надо присовокупить, что представители этого мнения спорят с очевидностью. Ведь если знак есть утверждение и является большой посылкой в правильном умозаключении, то как совершенно не имеющие понятия об утверждении, так и не искушенные в диалектических тонкостях не должны пользоваться никаким обозначением. Но это во всяком случае не так. Ведь часто и неграмотные кормчие и земледельцы, несведущие в диалектических теоремах, нередко широко пользуются теми и другими знаками. Одни - относительно моря, ветров и безветрия, бури, штиля; другие - относительно земледелия, а именно урожая и неурожая, засухи и ливней. Однако что же мы говорим о людях, когда некоторые из [стоиков] приписывают даже бессловесным животным знание знаков? Ведь и собака, когда выслеживает зверя по следу, пользуется знаками. Но для этого она не пользуется суждением «Если это след, то зверь здесь». И конь от прикосновения слепня или удара бича прыгает и обращается в бегство, но не пользуется диалектически таким умозаключением: «Если протянут бич, то мне надо бежать». Следовательно, знак не есть утверждение, данное в качестве большей посылки в правильном умозаключении. Пусть это будет сказано в более частном смысле против тех, кто считает знак мысленным. Но можно возразить им в более общем смысле, повторив сказанное против утверждающих, что знак есть чувственное. Именно, если знак есть суждение, данное как большая посылка в правильном умозаключении, и если во всяком умозаключении последующее согласуется с предыдущим и согласование относится к наличным вещам, то по необходимости знак и обозначаемое будут существовать совместно в одно и то же мгновение и ни одно из них
==202
не будет показателем другого, но оба они станут неизвестны на основании их самих. Далее, знак раскрывает обозначаемое, а обозначаемое раскрывается соответственно знаку. Это принадлежит не абсолютным, а относительным [предметам]. Ведь раскрываемое мыслится в своем отношении к раскрывающему, и раскрывающее мыслится в отношении к раскрываемому. Если же то и другое, будучи относительным, существует одновременно, то оба они существуют совместно. Если же они существуют совместно, то каждое воспринимаемое само по себе и ни одно из них [не воспринимаемо] из другого. Следует сказать и то, что, каков бы ни был знак, он или [сам] имеет свойство для обнаруживания и выявления неявного, или [только] мы помним о раскрытых им предметах. Но он не имеет свойства показывать неявное, поскольку неявное должно было бы тогда открываться одинаково всем. Стало быть, в меру обладания памятью мы [сами] заключаем относительно сущности вещей. Но если знак не есть ни чувственное, как мы доказали, ни мысленное, как мы установили, а кроме этого нет ничего третьего, то надо сказать, что знак [вообще] не существует. Догматики умолкают перед каждым из этих умозаключений, но, выступая против этого [в целом], они заявляют, что «человек отличается от бессловесных животных не членораздельной речью (ибо ворона, попугаи и сороки произносят членораздельные звуки), но внутренней и не простым только представлением (поскольку и животные имеют представления), но переменным и сложным». Вследствие этого, имея мысль о последовательности, человек тотчас улавливает и понятие о знаке (ввиду свойственной ему последовательности), потому что самый знак состоит в следующем: «Если это, то это». Следовательно, и существование знака соответствует природе и устроению человека. Соглашаются также, что доказательство по своему роду есть знак. Ведь оно выявляет заключение, и объединение его посредством посылок является знаком существования заключения. Например, при таком соединении суждений: «Если существует движение, то существует пустота. Движение существует. Следовательно, существует пустота», получается нижеследующее
==203
умозаключение, соединяемое из посылок: «Есть движение, а если есть движение, есть пустота», которое тут же является знаком заключения: «Пустота существует». Итак, говорят они, или доказательны речи апоретиков против знака, или недоказательны. Если они недоказательны, они недостоверны, поскольку уже и доказательные едва ли достоверны. Если же они доказательны, ясно, что существует какой-то знак, потому что доказательство есть знак по роду. Если же ничто не бывает знаком чего-нибудь, то или что-либо значат произносимые против знака слова, или ничего не значат. И если они ничего не значат, то они и не устранят реальности знака. Ведь разве можно, чтобы ничего не значащие слова удостоверяли нереальность знака? Если же они что-либо значат, то напрасно стараются скен280 тики, на словах изгоняя знак, а на деле его принимая. Да ведь и наука, если не имеет никакой свойственной ей теоремы, ничем не будет отличаться от невежества. Если же есть свойственная ей теорема, то последняя или явна, или неочевидна. Но явной она не может быть, потому что явления являются всем одинаково без научения. Если же она неочевидна, она будет рас смотрена посредством знака. Если же есть нечто рассматриваемое посредством знака, то должен существовать и знак. Некоторые же составляют такое рассуждение: «Если есть какой-то знак, то знак существует. Если не есть знак, то существует знак. Однако или нет никакого знака, или он есть. Следовательно, он существует». Таково рассуждение. Первая посылка его, как они говорят, правильна, потому что она есть удвоение [первоначального понятия]: за суждением «Есть знак» следует суждение «Знак существует» и, поскольку есть первое, будет и второе, ничем не отличающееся от первого. Правильна и вторая лемма: «Если не есть знак, существует знак». Ведь говорящий, что нет знака, говорит тем самым, что существует какой-то знак, потому что если нет никакого знака, то некоторый знак должен быть признаком этого несуществования знака. И в самом деле. Утверждающий, что нет никакого знака, утверждает это при помощи простого высказывания или при помощи доказательства. Утверждающий это при помощи высказывания получит [в ответ], говорят они, противоположное заявление. Тот же, кто пользуется
==204
доказательством истинности своего высказывания через рассуждение, доказывающее, что нот никакого знака, обозначит, что нет никакого знака, и делая это, признает [тем самым], что какой-то знак существует. Поэтому обе первые посылки, говорят они, правильны. Правильна и третья. Ведь это есть разделительное суждение, составленное из противоположных суждений («признак есть» и «признака нет»). Но поскольку всякое такое разделительное [суждение] истинно тогда, когда одно из его суждений истинно, а одно из противоположений рассматривается как истинное, то следует сказать, что эта составная посылка по справедливости истинна. Поэтому из признанных за истинные посылки получится и заключение: «Следовательно, существует». Можно, говорят они, идти еще и таким путем. В данном рассуждении два умозаключения и одно разделительное суждение. Из них оба умозаключения заверяют, что за предшествующей посылкой в них идет последующая, а разделительное суждение имеет одну из своих частей истинную, потому что если обе части будут истинны или обе ложны, то и целое будет ложно. При таком значении посылок, предположивши, что одна из частей разделительного суждения истинна, мы увидим, как получается вывод. И прежде всего предположим истинным суждение «Некий признак существует». Тогда, поскольку это суждение оказывается предшествующим в первом умозаключении, из него будет вытекать последующее в этом умозаключении. Последующим же является «Знак существует», что тождественно с выводом. Значит, вывод получается, если предположить, что в разделительном суждении истинно то, что знак существует. Предположим, наоборот, что истинно другое суждение: «Знака нет». Тогда поскольку это суждение является предшествующим в нашем втором умозаключении, то из него будет вытекать последующее в этом умозаключении. А следует за ним суждение «Некоторый знак существует», которое и является выводом. Следовательно, вывод получается и по такому способу. Так [разглагольствуют] догматики. Сейчас же необходимо по порядку возразить против первого довода по которому на основании устройства человека выводится существование знака, поскольку они желают узнать менее трудное из того, что еще более трудно.
==205
Ведь с тем, что знак существует, во всяком случае согласны все догматики, хотя этому суждению и противоречат многие, например скептики. Однако многие из них разногласят насчет промыслительного устроения человека. Но слишком грубо было бы стремиться из более спорного выводить то, что менее {спорно]. Так, Гераклит определенно говорит, что «человек неразумен, владеет же разумом окружающее». А Эмпедокл еще парадоксальнее считал, что все разумно, не только живые существа, но и растения как он определенно пишет:
Знай же, что все обладает умом и долею мысли.
Кроме того, правдоподобен довод, что бессловесные животные вовсе не лишены разума; если есть у них внешне произносимая речь, то необходимо должна быть и внутренняя, поскольку без этой последней не имела бы для себя базы внешняя речь. Но если мы и признаем, что человек отличается от других животных разумом, дискурсивным представлением и понятием последовательности, то мы во всяком случае не можем допустить, что он таков в неочевидном и в том, что подвержено нерешенным разногласиям, но [мы допустим лишь], что в области явлений он обладает той или иной внимательной последовательностью, согласно которой он помнит, что с чем он рассматривал, что раньше чего и что после чего, и [вообще] возобновляет в памяти остальное на основании прежнего. Однако, говорят они, если признать, что доказательство по роду своему есть знак, то необходимо прийти к выводу, что если нет доказательств, то рассуждения, направленные против знака, тоже становятся недостоверными; если же доказательства есть, то есть и некий знак. Мы же еще раньше сказали, что мы возражаем не против воспоминательного, а против показательного знака; мы можем согласиться, что направленные против знака речи нечто обозначают, но только уже не показательно, а воспоминательно. Ведь мы же от них полу чаем раздражение и воспринимаем памятью то, что может быть сказано против показательного знака. То же надо сказать и об их следующем утверждении, когда они спрашивали, означают ли что-нибудь произносимые против знака слова, или они ничего не значат.
==206
Ведь если мы устранили всякий знак, то по необходимости надо будет или чтобы ничего не значили звуки, произносимые нами против знака, или при их значимости было дано, что какой-то именно знак существует. Теперь же, поскольку, пользуясь различением, мы один знак устраняем, а другой принимаем, и существование показательного знака не допускается даже в том случае когда направленные против показательного знака звуки что-нибудь обозначают. Далее, говорилось, что, если у науки есть своя теорема, она не должна быть очевидной, но неочевидной, воспринимаемою через знак. [Но говорившие это] забывали, что если в теоретическом знании прочих предметов нет ровно никакой теоремы, как мы это покажем дальше, то в науке, имеющей дело с явлениями, существует своя собственная теорема. Ведь путем многократных наблюдений или исследований она устанавливает свои правила, а то, что было многократно наблюдено или исследовано, становится частной особенностью наблюдавших это неоднократно, но не является общим для всех. Выставленное ими в конце умозаключение по такому способу: «Если первое есть, то первое есть; если первого нет, то первое есть; или первое есть, или первого нет; следовательно, первое есть», - кажется очень плохо по излишеству, которым отличаются здесь посылки, и, по-видимому, неоспоримо тяготит их самих. Надо сказать по порядку о первом, т. е. об излишестве. Именно, если разделительное суждение в этом умозаключении истинно, оно должно иметь одну часть истинною, как и они сами говорили раньше. Но если оно имеет одну часть истинной, то вторую посылку из участвующих в выводе оно уличает как лишнюю. Например, если из принятых посылок предполагается истинным суждение «Знак существует», то для вывода заключения необходимым становится удвоенное умозаключение «Если существует какой-нибудь знак, то знак существует», а второе умозаключение «Если нет знака, то знак существует» становится лишним. Если же истинным будет здесь суждение «Нет никакого знака», то удвоенное умозаключение окажется лишним для построения доказательства. И станет необходимым вывод «Если нет знака, то знак есть». Итак, умозаключение это плохо по своему балласту.
==207
Но для того чтобы теперь нам не сходиться с противниками в мелочах, можно построить другое умозаключение, придерживаясь такого способа. Если говорящий, что нет никакого знака, обращается к тому, чтобы говорить, что знак существует, то и говорящий, что есть знак, обращается к тому, чтобы говорить, что нет никакого знака. Говорящий скептически, что нет никакого знака, по их мнению, обратился к тому, чтобы говорить, будто есть некоторый знак; стало быть, говорящий догматически, что есть какой-нибудь знак, обратился к тому, чтобы говорить, будто нет никакого знака, - как это мы покажем. Вот, например, если для говорящего, что есть какой-нибудь знак, понадобится удостоверить свое утверждение знаком, а существование какого-нибудь знака не подтверждено всеобщим согласием, как он воспользуется знаком для удостоверения того, что знак есть? Не будучи в состоянии доказать при помощи знака существование какого-нибудь знака, он должен обратиться к признанию, что знака- не существует. Но пусть даже будет допущен в порядке излишества только тот один знак, который показывал бы, что вообще нет никакого знака. Какая же тут будет для них польза, если они не могут назвать знака ни для какого своего учения? Такая позиция поэтому для них бесполезна - я имею в виду общее признание, что есть какой-нибудь знак. Пожалуй, им необходимо заменить неопределенное «Есть знак» определенным выражением «Есть этот знак». Но этого им нельзя делать. Ведь всякий знак, равно как и обозначаемое, зависит от мнения и подлежит неразрешимому разногласию. Поэтому, например, как «Кто-то плывет через скалу» ложно, поскольку нельзя подставить вместо него определенное истинное: «Такой-то плывет через скалу»; таким же образом поскольку вместо неопределенного «Существует какой-нибудь знак» мы не можем подставить определенное истинное выражение «Существует этот знак», постольку ложно становится, стало быть, выражение «Существует какой-нибудь знак» и истинным - противоположное ему: «Нет знака». Впрочем, пусть все их доводы останутся в силе, однако остаются неопровергнутыми и речи скептиков. Что же остается при равновесии доводов на той и другой стороне, кроме как воздерживаться от суждения и не определять искомого предмета, не высказывая, что
==208
есть какой-нибудь знак, и не высказывая, что его нет, но безопасно утверждая, что он не больше есть, чем не есть? Но так как доказательство оказывается по своему роду знаком, который на основании признания посылок раскрывает неочевидный вывод, то не нужно ли в вопросе о знаках заняться исследованием и этого доказательства?
[IV. О ДОКАЗАТЕЛЬСТВЕ]
О том, ради чего в настоящий момент мы исследуем вопрос о доказательстве, было сказано раньше, когда мы рассматривали, вопрос о критерии и о знаке. Для того чтобы наше изложение не вышло неметодичным, но увереннее выступило и воздержание от суждения, и возражение против догматиков, надо объяснить самое понятие доказательства. Итак, доказательство по своему роду есть рассуждение. Оно ведь, очевидно, не есть чувственный предмет, но некоторое движение мысли и признание с ее стороны, что, собственно, и относится к рассуждению. Рассуждение же, проще говоря, есть то, что составлено из посылок и вывода. Посылками мы называем не какие-либо положения, на которых мы настаиваем, но те, которые собеседующий допускает и воспринимает ввиду их очевидности. Вывод же есть то, что строится из этих посылок. Например, умозаключением является такая цельная система: «Если сейчас день, то свет есть. Но сейчас день. Следовательно, свет есть». Посылки же его - «Если сейчас день, свет есть» и «Но день есть», а вывод - «Следовательно, сейчас свет». Из рассуждений одни - выводные другие - невыводные. Выводные те, в которых при допущении наличия, посылок в силу этого допущения за посылками следует вывод, как это было сказано у нас немного раньше. Именно, вследствие того что [выводное рассуждение] состоит из умозаключения «Если сейчас день, свет есть», которое обещает, что при истинности в нем первой [части] истинной будет и вторая находящаяся в нем [часть], и еще из суждения «Сейчас день», которое в умозаключении является предыдущим, я утверждаю, что если умозаключение дано как истинное, так что за находящимся в нем предыдущим идет его последующее, и если дано действительно, что «Сейчас день», то по необходимости при наличии этого будет выведена и вторая часть этого, т. е. «Свет есть», а это и есть вывод.
==209
Таковы по характеру выводные рассуждения. А не выводные построены не так. Из выводных одни выводят нечто явное, другие - неявное. Примером выводящих явное служит вышеприведенное умозаключение, построенное так: «Если сейчас день, свет есть. Но сейчас день. Следовательно, свет есть». Ведь суждение «Свет есть» одинаково явно с суждением «Сейчас день». И еще такое: «Если Дион гуляет, Дион движется. Дион гуляет. Следовательно, Дион движется». Ведь суждение «Дион движется» является в данном случае выводом самоочевидным. Неявным вывод делает, например, такое рас суждение: «Если пот выступает через поверхность кожи, то в теле существуют невидимые поры. Но есть первое. Следовательно, есть второе». Ведь существование мыслимых пор в теле принадлежит к числу неявных предметов. И в свою очередь: «То, с отделением чего от тела люди умирают, есть душа. Люди умирают с отделением от тела крови. Следовательно, душа есть кровь». В самом же деле то, что существование души заключается в крови, неочевидно. Из этих рассуждений, выводящих неявное, одни при водят нас от посылок к заключению только самим процессом вывода, другие же - процессом вывода и вместе зове тем путем некоторого раскрытия. Из делающих вы воды только на основании процесса вывода [можно от метить те], которые, по-видимому, вытекают из доверия и памяти, как, например, такое рассуждение: «Если кто-нибудь из богов сказал тебе, что такой-то разбогатеет, то такой-то разбогатеет. Но некий бог (допустим, что я указываю на Зевса) сказал тебе, что такой-то разбогатеет. Следовательно, такой-то разбогатеет». Ведь здесь мы получаем вывод о том, что такой то разбогатеет, построенный не на основании смысла предложенного рассуждения, а на доверии к изречению бога. Путем как процесса вывода, так и в целях раскрытия ведет нас от посылок к выводу, например, умозаключение о мысленных порах. Ведь суждение «Если пот выступает через поверхность кожи, то в теле есть невидимые поры» и факт выступания пота через поверхность кожи дают нам попять на основании свойства пота то, что существуют мыслимые проходы в теле, по такому рассуждению: «Через плотное и непористое тело не может проходить влага. Однако через тело проступает пот. Значит, тело не плотно, но пористо».
К оглавлению
==210
При таком положении дела доказательство, очевидно, прежде всего должно быть рассуждением, затем выводным [рассуждением], в-третьих, истинным, в-четвертых, имеющим неясное заключение, в-пятых, раскрывающим его на основании смысла посылок. Поэтому такое рассуждение при наличии дня: «Если сейчас ночь, то существует мрак. Но сейчас ночь. Следовательно, существует мрак» - хотя и является выводным (поскольку вы вод в нем происходит из данных посылок), но во всяком случае не истинным, поскольку оно содержит в себе ложную посылку «Сейчас ночь». Поэтому оно недоказательно. В свою очередь рассуждение «Если сейчас день, то свет есть. Сейчас день. Следовательно, свет есть» кроме того, что оно выводное, оно еще и истинно, так как при данности его посылок делается и вывод и при помощи истинного показывает нечто истинное. Но, будучи таковым, опять-таки оно не есть доказательство, потому что оно имеет явный вывод «Свет есть», а не неявный. На этом же основании и такое рассуждение: «Если кто-либо из богов сказал тебе, что такой-то разбогатеет, то такой-то разбогатеет. Этот бог сказал тебе, что такой-то разбогатеет. Следовательно, такой-то разбогатеет» - имеет неявное заключение, что такой-то раз богатеет, но не есть доказательство, потому что заключение получается не на основании смысла посылок, но получается из принятия доверия к богу. Поэтому при стечении всех этих обстоятельств, т. е. когда рассуждение и выводное, и истинное, и раскрывает неявное, тогда налицо доказательство. Отсюда и определяют его [стоики] следующим образом: «Доказательство есть рас суждение, вскрывающее неявный вывод на основании заключения из признанных посылок», как, например, такое: «Если существует движение, существует пустота. Но движение существует. Следовательно, пустота существует». Ведь существование пустоты не явно и раскрывается на основании заключения из истинных посылок, а именно из суждения «Если существует движение, существует пустота» и из суждения «Движение существует». Вот что подобало выставить о понятии рассматриваемого предмета. Теперь по порядку следует изъяснить также и то, из какого материала он состоит.
==211
[V. ИЗ КАКОГО МАТЕРИАЛА СОСТОИТ ДОКАЗАТЕЛЬСТВО]
Из предметов, как мы часто говорили выше, одни считаются явными, другие - неявными. Явные - не вольно воспринимаемые из их представления и аффекции, как, например, в данный момент: «Сейчас день», «Это - человек» и любое тому подобное. Неявные же не таковы. Из неявных, как говорят некоторые в целях разделения, одни неявны по природе, другие же, имеющие то же самое название, не явны по роду. Неявны по природе те, которые ни прежде не были восприняты, ни теперь не воспринимаются, ни потом не будут восприняты, вечно пребывая в неизвестности, как, например, четное или нечетное число звезд. Таким образом, они называются неявными по природе не потому, что они имеют неявную природу сами по себе, так как это спорный вопрос (т. е. мы говорим, что не знаем их, и вместе с тем признаем, что они имеют какую-то природу), но потому, что они неявны для нашей природы. Неявными же по роду при одном и том же наименовании называются те, которые по собственной сущности скрыты, но узнаются при посредстве признаков или доказательств, например что элементы, носящиеся в беспредельной пустоте, неделимы. Ввиду же такого различия в предметах мы говорим, что [понятие] доказательства ни явно (потому что оно не познается само из себя и в результате принуждения со стороны аффекции), ни неявно по природе (потому что не безнадежно его восприятие), но, поскольку остается существовать указанное различие в неявных [предметах], имеющих скрытую и темную для нас природу, оно воспринимается, по-видимому, философским рассуждением. Это мы говорим не твердо, так как было бы смешно, допустив заранее существование [доказательства], после этого вести исследование его же, но мы лишь говорим, что по своему понятию доказательство таково. Ведь на основании именно такого понятия и антиципации и возникает рассуждение о его существовании. Поэтому следующим образом надо рассуждать о том, что доказательство по своему понятию относится к предметам неявным и что оно не может быть познано через самого себя.
Явное и очевидное везде явно и очевидно, всеми признается и не допускает никакого колебания. Неявное
==212
же возбуждает разногласие и заставляет колебаться. И это справедливо. Ведь всякое рассуждение оценивается как истинное или ложное по его отношению к предмету, о котором оно произносится. В самом деле, если оно находится в соответствии с предметом, о котором оно произнесено, оно считается истинным, а если оно разноречит [с этим предметом], оно ложно. Пусть, например, кто-нибудь заявляет, что сейчас день. Тогда, отнеся сказанное к предмету и узнав, что его наличие подтверждает высказывание, мы утверждаем, что сказанное истинно. Поэтому, когда очевиден и явен предмет о котором произносится суждение, мы, без труда отнеся к нему сказанное, говорим тогда, что суждение или истинно, если оно засвидетельствовано предметом, или ложно, если суждение ему противоречит. Когда же налицо предмет неявный и скрытый для нас, тогда, поскольку отнесение суждения к этому предмету не может быть произведено с уверенностью, остается пользоваться верой и принуждать мысль к соглашению на основании [только] вероятных предположений. Но так как каждый по-разному соображает и убеждается, то происходит разногласие, поскольку ни неудачливый не знает, что он потерпел неудачу, ни удачливый не знает, что решил вопрос удачно. В этом отношении скептики очень остроумно сравнивают тех, кто возится с вопросом о неявных предметах, со стреляющими во мраке в какую-нибудь цель. Ведь как можно предположить, что кто-нибудь из стрелков промахнется, а кто-нибудь и попадет? Но кто попал и кто промахнулся, остается неизвестным, так приблизительно и многочисленные рассуждения направляются в глубокой тьме скрытой истины на ее поиски; но, какое из них соответствует истине и какое противоречит ей, нельзя узнать, так как искомое далеко от ясности. Это прежде всех высказал Ксенофан.
Ясного муж не один не узнал; и никто не возможет Знающим стать о богах и о том, что о всем возвещают Даже когда и случится кому совершенное молвить, Сам не ведает он, и всем лишь мненье доступно.
Поэтому если явное оказывается по вышеупомянутой причине общепризнанным, а неявное спорным, то необходимо, чтобы и спорное доказательство было неявным. А то, что оно спорно на самом деле, - это не требует
==213
Для нас многих слов, но лишь некоторого краткого и легкого упоминания, потому что догматические философы и логики-врачи устанавливают его, эмпирики же устраняют и, пожалуй, также Демокрит, поскольку он сильно возражает против доказательства своими «Канонами», а скептики воздерживаются от суждения о нем, пользуясь ответом «не более». Среди устанавливающих его есть также достаточное разногласие, как мы покажем в дальнейшем изложении. Итак, доказательство есть нечто неявное. Действительно, если всякое доказательство, содержащее в своих посылках какое-нибудь мнение, есть тем самым и мнение, а всякое мнение противоречиво, то по необходимости и всякое доказательство противоречиво и при надлежит к числу [только еще] искомых предметов. На пример, Эпикур считает, что он дал такое сильнейшее доказательство существования пустоты: «Если существует движение, существует пустота. Но движение существует. Следовательно, пустота существует». Если бы относительно посылок этого доказательства были все согласны, то по необходимости оно имело бы и вывод, следующий за посылками и допускаемый всеми. При настоящем же положении дел некоторые восстают против этого, т. е. против того, что этот вывод не вытекает из посылок; и это не потому, что он не следует за ними, но потому, что самые посылки ложны и противоречивы. Для того чтобы не входить в рассмотрение многих суждений об умозаключении, скажем, что истинно само по себе то умозаключение, которое не таково, чтобы начинаться с истинного и оканчиваться ложным. Умозаключение «Если существует движение, то существует пустота», по Эпикуру, как начинающееся с истинного «Существует движение» и оканчивающееся истинным, будет истинным; по учению перипатетиков, как начинающееся с истинного «Существует движение» и оканчивающееся ложным «Существует пустота», будет ложным; по Диодору, как начинающееся с ложного «Существует движение» и оканчивающееся ложным «Существует пустота», само будет истинным, но прибавку «Существует движение» он опровергает как ложную. По учению скептиков, [это рассуждение], как оканчивающееся неявным, неявно. Ведь «Существует пустота», по их мнению, относится к неизвестному. Из этого видно, что посылки доказательства противоречивы,
==214
разногласны и неявны, поэтому доказательство на основании их совершенно неявно. Далее, доказательство принадлежит к числу относительных предметов: оно проявляется не само по себе, но видится в отношении к доказываемому предмету. Однако еще вопрос, существуют ли относительные предметы. И многие говорят, что они не существуют. Однако что возбуждает колебания, неявно. Итак, и по этой причине доказательство неявно. Кроме того, доказательство состоит или из звука, как сказано эпикурейцами, или из бестелесных словесных обозначений, как говорят стоики. Однако, из чего бы оно ни состояло, оно возбуждает большой вопрос. Ведь еще вопрос, существуют ли словесные обозначения; и об этом немало рассуждают. Сомнительно также, обозначают ли что-нибудь звуки. Если же спрашивается, из какого материала состоит доказательство, а искомое неявно, то и доказательство совершенно неявно. Пусть это будет как бы элементом [нашего] будущего опровержения. Мы же, переходя по порядку, рассмотрим вопрос относительно того, существует ли само доказательство.
[VI. СУЩЕСТВУЕТ ЛИ ДОКАЗАТЕЛЬСТВО?]
Изложив, из какого материала состоит доказательство, попытаемся последовательно принять во внимание и те рассуждения, которые ставят его под сомнение, рассматривая, следует ли за его понятием и антиципацией ^ также его реальность, или нет. Впрочем, некоторые, а особенно сторонники эпикурейского учения, обыкновенно грубовато восстают против нас, говоря: или вы мыслите, что такое доказательство, или не мыслите; и если мыслите и имеете о нем понятие, то доказательство существует; если же не мыслите, то каким образом вы исследуете то, что вами совсем не мыслится? Говорящие это сами скоро запутываются, поскольку бесспорно, что предварительно надо иметь антиципацию и понятие всякого искомого предмета. Ведь каким же образом можно было бы исследовать предмет, не имея о нем никакого понятия? Ни удачник не узнает, что ему удалось, ни промахнувшийся - что он промахнулся. Поэтому мы такую точку зрения допускаем; и мы во всяком случае настолько далеки от утверждения, будто мы совсем не имеем понятия об искомом предмете, так
==215
что, наоборот, мы считаем, что имеем много понятий и антиципаций искомого, и [только] из-за невозможности их распознать и найти самую вескую из них антиципацию мы остаемся при воздержании от суждения и в нерешительности. Если бы мы имели одну антиципацию искомого предмета, то, следуя за нею, проверили бы, что он существует таким, каким мы нашли его по этому одному пониманию. При настоящем же положении дела, поскольку мы имеем много понятий об одном предмете, и притом разносторонних и спорных и одинаково верных вследствие их собственного вероятия и вследствие нашего доверия к защищающим их людям, мы, не будучи в состоянии ни верить всем вследствие их спорности, ни всем им не доверять, потому что не найдется понятия более заслуживающего доверия, ни верить одному, а другому не доверять ввиду их равноправия, - мы по необходимости пришли к воздержанию от суждения. Но мы имеем антиципации предметов по указанному выше способу. И вследствие этого если бы антиципация была постижением, то мы, пожалуй, согласились бы: в том факте, что мы имеем антиципацию предмета, уже содержится и постижение предмета. Но при настоящем положении дела, поскольку антиципация и понятие предмета не есть его реальное существование, мы
утверждаем, что хотя мы и мыслим этот последний, но ни в коем случае мы его не постигаем по вышесказанным причинам, так как если антиципации суть уже постижения, то мы должны взаимно осведомиться у них, имеет или не имеет Эпикур антиципацию и понятие четырех элементов и если не имеет, то как он постигнет искомый предмет и как он будет исследовать его, поскольку он даже не имеет о нем понятия. Если же он это имеет, то
как он мог не постичь того, что существует четыре элемента? Я думаю, что в свою защиту они скажут, что Эпикур мыслит четыре элемента, но не воспринял их вполне. Ведь мысль, [скажут они], есть простое движение рассудка; и, держась за нее, он противится существованию четырех стихий. Однако мы тоже имеем понятие о доказательстве и, исходя из него, тоже исследуем, существует или не существует доказательство. Однако, хотя это понятие мы и имеем, мы не должны будем соглашаться на то, что имеем тем самым [уже само] постижение.
==216
Но против них речь еще пойдет ниже. Поскольку же возражения следует делать методически, то надо исследовать, против какого по преимуществу доказательства необходимо возражать. Именно, если мы пожелаем возражать против доказательств отдельных и свойственных каждой науке, наше возражение будет не методично, поскольку таких доказательств бесконечное количество. Если же мы устраним доказательство за» как род, которое, как известно, объемлет все видовые доказательства, то ясно, что в нем мы устраним их все. В самом деле, как при отсутствии живого существа нет и человека, а при отсутствии человека нет и Сократа (поскольку виды устраняются совместно с родами)- так при отсутствии родового доказательства исчезает и всякое видовое доказательство. В виде совершенно не устраняется род, например в Сократе - человек; в роде же, как я выше сказал, уничтожается и вид. Поэтому необходимо и для тех, кто ставит под сомнение доказательства, устранять не иное какое-нибудь доказательство, как только родовое, за которым придется последовать и остальным. Итак, раз доказательство неясно, как мы это рассмотрели, то оно само нуждается в доказательстве - потому что всякое неясное, воспринимаемое бездоказательно, недостоверно. Существование же доказательства может быть установлено или родовым доказательством, или видовым. Но видовым оно не может быть установлено никоим образом. Ведь никакое видовое доказательство не устанавливается без признания родового. Как, например, если не ясен факт существования живого существа, то не становится известным и факт существования лошади; так же в случае непризнания факта родового доказательства ни одно отдельных доказательств не будет достоверно, вместе с чем мы попадаем в троп взаимодоказуемости. Ведь чтобы упрочилось родовое доказательство, мы должны иметь достоверным видовое, а для того, чтобы признано было видовое, иметь прочным родовое, так что не может существовать ни то раньше этого, ни это раньше того. Следовательно, видовым доказательством не может быть доказано родовое. Так же и родовым не может быть доказано видовое. Ведь оно само есть искомое; а, будучи неявным искомым, оно не может утвердиться само по себе и во всяком случае нуждается в том, чем было бы вскрыто оно само.
==217
Оно является устанавливающим что-нибудь не иначе как если только брать его в силу гипотезы. Но если что-либо, раз принятое по гипотезе, становится достоверным, то какая же еще необходимость его доказывать, если мы можем принять его само по себе и без всякого доказательства считать его достоверным в силу именно принятой нами гипотезы? Кроме того, если родовое доказательство может утвердить родовое доказательство, оно само одновременно должно оказаться и явным, и неявным; именно, поскольку оно доказывает - явным; поскольку же оно доказывается - неявным. Оно будет также достоверным и недостоверным: достоверным - потому что оно нечто раскрывает, недостоверным - потому что оно само раскрывается. Однако совершенно бессмысленно одно и то же называть явным и неявным, достоверным и недостоверным. Поэтому и считать родовое доказательство само себя утверждающим нелепо. Однако и по другому методу можно заключить, что не только доказательство, но и ничто другое из сущего не может быть установлено при помощи родового доказательства. Ведь родовое доказательство или имеет такие-то посылки и такой-то вывод, или не имеет. Имеющее такие-то посылки и такой-то вывод становится одним из видовых доказательств. Если же оно не имеет посылок и вывода, то поскольку без посылок и вывода доказательство не дает заключения, то не дает заключения и родовое доказательство. А не давая ни какого заключения, оно не выведет и того, что оно само существует. Поэтому, если признано, что первое доказательство должно быть доказано, но само оно не может быть доказано ни на основании родового, ни на основании видового доказательства, то ясно, что, не находя ни какого другого [средства], кроме этих, мы обязаны воз держаться от суждения по вопросу о доказательстве. Действительно, если первое доказательство доказывается, то оно доказывается или при помощи искомого доказательства, или при помощи неискомого. Оно не может доказываться при помощи неискомого, поскольку всякое доказательство, раз уже первое подверглось сомнению, является предметом искания. Не может оно доказываться и при помощи искомого, потому что опять таки, если оно ищется, оно должно быть установлено
==218
другим доказательством, а третье - четвертым, а четвертое - пятым; и так до бесконечности. Поэтому доказательство не может иметь твердого существования. Димитрий Лакейский, один из знаменитых последователей Эпикура, считал, что легко опровергнуть такого рода возражение. Именно, оно говорит: «Установив одно из видовых доказательств, например выводящее, что элементы есть атомы или что пустота существует, и признавши его прочным, мы тем самым будем иметь в нем и достоверное родовое доказательство. Ведь где есть вид какого-либо рода, там вполне находится и род, к которому относится вид», как мы упомянули выше. Хотя этот [ход мыслей] и кажется вероятным, но он невозможен. Именно, прежде всего никто не допустит, чтобы Димитрий установил видовое доказательство, если раньше не было установлено родовое. И, как он сам думает, что вместе с видовым доказательством он имеет тотчас же и родовое, так и скептики будут думать, что прежде надо доказать его род, чтобы [потом уже] был удостоверен вид. Впрочем, даже если бы они ему это позволили (я имею в виду установление видового доказательства для упрочения родового доказательства), то все равно не успокоятся последователи родственных [ему же самому] учений. Но какое бы доказательство он ни принял за достоверное, они все равно его ниспровергнут; и окажется множество таких людей, которые не позволят полагать его [видовое доказательство как достоверное]. Например, если взять доказательство относительно атомов, они в бесчисленном количестве будут ему возражать; и если взять доказательство о пустоте, то очень многие против него восстанут; и если доказательство о малых обликах - точно так же. И если бы даже скептики максимально сошлись со школой Димитрия, все равно он не будет в состоянии удостоверить хотя бы одно из отдельных доказательств ввиду спора самих же догматиков [по этому предмету]. С другой стороны, каким прочным видовым доказательством он, по его словам, будет обладать? Это будет или то, которое само по себе нравится ему из всех, или какое бы то ни было любое, или доказываемое. Но принятие угодного ему из всех произвольно и скорее походит на выбор по жребию. Если же любое, то он должен принять всякие доказательства - и эпикурейцев, и стоиков, и еще перипатетиков, что бессмысленно. Если
==219
же доказываемое, то оно не есть доказательство. Ведь если оно доказывается, то оно только еще ищется, а искомое не будет достоверным, но нуждающимся в том, что его упрочило бы. Следовательно, невозможно одно из отдельных доказательств считать достоверным. Да и посылки доказательства, о котором говорит Димитрий, или сомнительны, или несомнительны и достоверны. Однако если они сомнительны и недостоверны, то и со стоящее из них доказательство будет совершенно недостоверно для установления чего бы то ни было. А то, что будто бы они достоверны и несомненны, есть скорее благое пожелание, чем истина. Ведь если все сущее или чувственно, или мысленно, то и посылки доказательства должны быть или чувственными, или мысленными. Но чувственны они или мысленны, об этом идет спор. Чувственные или таковы, какими они являются, или они обманы чувств и создания мысли, или одни из них вместе с являемостью существуют, другие же только являются, но отнюдь не существуют. Действительно, можно найти известных лиц, возглавляющих каждую такую
школу. Так, Демокрит колебал всякое чувственное бытие, Эпикур всякое чувственное считал устойчивым, а стоик Зенон про водил [здесь] различие, так что если посылки чувственны, то они разноречивы. Но ведь то же случается и если посылки мысленны. Ведь, поскольку всем нравится разное, относительно этих [вопросов] и в жизни, и в философии можно быть свидетелем больших споров. Затем, кроме сказанного, если всякое восприятие мыслимого предмета имеет начало и источник прочности в чувственном, а предметы, познаваемые при помощи чувственного восприятия, как мы. рассмотрели, противоречивы, то необходимо, чтобы такими же были и мыс ленные предметы, так что посылки доказательства, какого бы рода они ни были, недостоверны и непрочны. А поэтому и доказательство недостоверно. Говоря же более общо, посылки суть явления; а относительно явлений [как раз] ищется, существуют ли они; искомое же само по себе не есть посылки, но должно быть чем-нибудь подтверждено.
Но посредством чего же мы можем установить то, что явление таково, каким оно является? Или посредством совершенно неявного предмета, или посредством явного. Но выяснение через неясное - нелепость, так
К оглавлению
==220
как неясное настолько далеко от возможности что-либо раскрыть, что, наоборот, само нуждается в подтверждающем. Выяснение же через явление еще нелепее, поскольку оно само является искомым, а никакое искомое не утверждает само себя. Следовательно, невозможно устанавливать явления, чтобы этим способом получить и достоверность доказательства. Однако, говорят догматики, явления совершенно необходимо утверждать, во-первых, потому, что мы не имеем ничего достовернее их; затем потому, что колеблющее их рассуждение само уничтожает себя. Ведь для устранения их оно пользуется или только голым высказыванием, или явным, или неявным. Но тот, кто пользуется простым высказыванием, лишен достоверности, ибо нетрудно выставить и противоположное высказывание. Если же - неявным, то опять лишен достоверности тот, кто хочет опровергнуть явление при помощи неявного. Если же рассуждение колеблет явления самими же явлениями, то они должны во всяком случае быть достоверными, и, таким образом, явления окажутся достоверными сами на основании себя. Поэтому и данное рассуждение выступает против них. Однако мы выше рассмотрели, что явления, будь они чувственные или мысленные, возбуждают большой спор и среди философов, и в жизни. Теперь же надо сказать то, что относится к выставленной дилемме, а именно: мы не колеблем явлений ни путем голого высказывания, ни через то, что не является, но мы сравниваем их с ними же самими: если чувственные явления находятся в согласии с чувственными и мысленные - с мыс ленными и наоборот, то мы, пожалуй, допускаем, что они таковы в действительности, какими кажутся. Теперь же, находя, что в этом сравнении не решен спор, а в силу этого спора одно опровергается другим, когда нельзя ни установить всего - вследствие такого спора, ни чего-нибудь одного - вследствие равновесия аргументов, ни все отвергнуть - вследствие того, что нет ничего достовернее явлений, - теперь, [при таком положении дела], мы пришли к воздержанию от суждения.
Рассуждение, однако, получающее достоверность на основании явлений, тем самым, что оно их колеблет, отвергает и само себя. Это было возражением тех, которые старались предвосхитить искомый предмет
==221
В самом деле, не рассуждение упрочивается па основании явлений, но явления укрепляются на основании рассуждения. И справедливо: ведь если есть относительно них разногласие, когда одни признают их существование, другие отрицают, то они должны устанавливаться на основании рассуждения. Свидетельствует об этом не кто иной, как инакомыслящие, не вполне признающие явления, но желающие доказать рассуждением, что явления истинны. И на основании чего еще другого можно утверждать, что явлениям надо доверять? Следовательно, не явления устойчивее рассуждения, но рассуждение устойчивее явлений, поскольку оно удостоверяет и самого себя, и явления.
Если посылки доказательства неявны, то, очевидно, неявен и вывод, а поскольку состоящее из неявного неявно, то и доказательство неявно и требует того, что доставит ему достоверность. А это невозможно для доказательства. Однако, говорят [стоики], не нужно добиваться доказательств всего, надо принимать некоторые из вещей и на основании гипотез, поскольку рассуждение не сможет у нас продвинуться, если не будет дано того, что само по себе достоверно. Но во-первых, мы скажем, что их учению и незачем куда-либо продвигаться, поскольку оно просто выдумано. Затем, в каком направлении они продвинутся? Поскольку наличные явления устанавливают только то, что они явствуют, не будучи в силах убедить нас в своем реальном существовании, мы можем допустить, что как посылки доказательства явствуют, так и вывод. По этому способу искомое не будет выведено и не будет достигнута истина, если мы останемся с простым высказыванием и собственной аффекцией. А желать представить, что явления не только явствуют, но и существуют, есть дело людей, не удовлетворяющихся для нужды необходимым, но старающихся урвать и возможное. зв8 Поскольку вообще догматики признают, что не только доказательство преуспевает на основании гипотезы, но и почти вся философия, мы попытаемся по возможности кратко изложить наши возражения против тех, кто принимает что-либо на основании гипотезы. Если то, что они принимают, по их словам, на основании гипотезы, достоверно, постольку поскольку оно принято на основании гипотезы, то окажется достоверным и противоположное этому, если оно будет принято
==222
на основании гипотезы, и таким образом, мы утвердим то что само себе противоречит. Если же гипотеза бессильна для удостоверения этого (я имею в виду названные противоположности), то она окажется бес сильной и для того, так что мы опять не установим ни того ни другого.
То, что кто-либо предполагает, или истинно и таково, как оно предполагается, или ложно. Если оно истинно, то предполагающий это несправедлив в отношении себя, так как, имея возможность не доискиваться его, но взять его самого по себе как истинное, прибегает к действию, весьма подозрительному, к гипотезе, отыскивая то, что само по себе истинно. Если же оно ложно, то пользующийся гипотезой поступает несправедливо уже не в отношении себя, но в отношении при роды вещей, требуя, чтобы не-сущее было признано само по себе как сущее, и принуждая принимать ложь за истину. Однако, если кто-либо считает верным все следующее за принятым на основании гипотезы, он уничтожает все философское изыскание. Именно, пред положим сейчас, что три равняется четырем, и выведем как следствие, что шесть равняется восьми. Это будет истинно (что шесть равняется восьми).
Если же нам возразят, что это бессмысленно (т. е. предположенное по гипотезе должно быть верным, для того чтобы можно было допустить последующее за ним), то и от нас они услышат, что не следует стремиться принимать что-либо на основании его самого, но все полагаемое полагать точно.
Кроме того, если предполагаемое, поскольку оно предполагается, верно и безошибочно, то пусть философствующие догматически берут в качестве предположений не то, из чего они выводят неявное, но само не явное, т. е. не посылки доказательства, но вывод. Однако, хотя бы они делали и бесчисленное количество предположений, предполагаемое не станет достоверным ввиду своей неявности и возникающего относительно него вопроса. Отсюда очевидно, что, даже когда они отыскивают посылки доказательства без доказательства, они не достигают никакой достоверности вследствие того, что и посылки принадлежат к числу сомнительного. Клянусь Зевсом, но возражатели обыкновенно говорят, что достоверность укрепления гипотезы
==223
заключается в том, что получающееся в качестве вывода из того, что допущено на основании гипотезы, оказывается истинным; ведь если вытекающее из нее верно, то те посылки, из которых оно вытекает, тоже истинны и неоспоримы. Но чем, позволительно спросить, можем мы доказать, что вытекающее из принятого по гипотезе истинно? На основании ли его самого или посылок, из которых оно следует? Но на основании его самого [истинность его] не будет доказана, поскольку оно само не явно. Но может быть, на основании посылок? И этого не может быть, так как об этом как раз и идет спор и сначала нужно еще это установить. Впрочем, пусть вытекающее из принятого на основе гипотезы будет истинно; из-за этого само то, что принято на основании гипотезы, еще не станет истинным. Ведь если бы они считали, что только за истинным следует истинное, то рассуждение продвинулось бы вперед, так что из истинности вытекающего из принятого на основании гипотезы становилось бы истинным и само принятое на основании гипотезы. Но при настоящем положении дела, поскольку они говорят, что и за ложным следует ложное и за ложным истинное, то не необходимо, если последующее истинно, чтобы и предыдущее было истинным, но при истинности последующего предыдущее может быть ложным.
Итак, вот что пусть будет сказано, как говорится, с пути свернув и в виде отступления о том, что не следует доказательству начинаться с гипотез. А далее надо показать, что доказательство [и само по себе] впадает во взаимодоказуемость, что составляет еще большие трудности. Именно, мы установили, что доказательство относится к числу неявных предметов и все неявное нуждается в разрешении, а нуждающееся в разрешении требует критерия, который выявлял бы, правильно ли оно или неправильно. Как измерение не может производиться без меры и все выпрямляемое выпрямляется не без отвеса, так и оцениваемое разбирается не без критерия. Поэтому поскольку под вопросом и существование критерия (при этом одни говорят, что его нет, другие - что он есть, а третьи воздерживаются от всякого суждения), то существование критерия нуждается еще в доказательстве каким-либо доказательством. Но для того чтобы мы имели достоверное доказательство, очевидно, надо обратиться к критерию.
==224
И таким образом, не имея ни достоверного доказательства ранее критерия, ни твердого критерия ранее доказательства, надо относительно обоих признать необходимым воздержание от суждения. Вместе со сказанным можно будет поколебать доказательство, также исходя из его понятия. Правда, даже если бы его можно было помыслить, оно не существовало бы в совершенном смысле, поскольку, как я сказал, есть много такого, что мыслится, но что не имеет никакой реальности. Теперь же когда обнаруживается, что и само понятие доказательства невозможно, то, бесспорно, отсекается и надежда на его реальность. При существовании двух доказательств, родового и видового, родовое мы само по себе найдем немыслимым. Ведь никто из нас не знает родового доказательства, и никогда через него ничего не удавалось установить. С другой стороны, нужно спросить, имеет ли такое доказательство посылки и вывод или не имеет. И если не имеет, как оно еще может мыслиться доказательством, если понятие никакого доказательства не может составиться без посылки и вывода? Если же оно имеет и то и другое, т. е. посылки и вывод, то оно есть [уже] видовое, [а не родовое] доказательство. Ведь если все доказуемое и все доказующее относится к предметам частным, то необходимо, чтобы и доказательство было одним из видовых предметов. У нас, однако, было рассуждение как раз не о видовом, а о родовом доказательстве. Следовательно, родовое доказательство невозможно помыслить [в понятии]. Но также не мыслится и видовое. В самом деле, у догматиков доказательством называется рассуждение, раскрывающее неясный предмет на основании вывода при посредстве некоторых явных предметов. Итак, или весь состав, т. е. то, что мыслится как состоящее из посылок и вывода, есть доказательство, или только посылки суть доказательство, а вывод есть доказуемое. Что бы, однако, из этого ни назвали доказательством, все равно понятие доказательства колеблется. Действительно, если доказательство составляется из посылок и вывода, то необходимо, чтобы доказательство, содержащее что-нибудь неявное, сейчас же само оказывалось неявным и чтобы, ставши таким, само нуждалось в каком-нибудь доказательстве, что нелепо.
8 Секст Эмпирпк, т. 1
==225
Поэтому составленное из посылок и вывода не может быть доказательством, раз мы не мыслим доказательство ни как неявное, ни как нуждающееся в доказательстве. Далее, доказательство принадлежит к предметам относительным. Ведь оно ориентируется не само на себя и мыслится не как изолированное, но имеет нечто, чего именно оно является доказательством. Поэтому если в него включается вывод, а всякий относительный предмет находится вне того, в отношении чего он зовется относительным, то доказательство мыслится не относящимся ни к чему, поскольку вывод уже заключен в нем самом. Однако хотя бы мы подставили извне и другой вывод, в отношении к которому мыслилось бы наше доказательство, то окажется два вывода относительно данного места: один - заключенный в доказательстве, другой же - находящийся вне его, к которому мысль и относит доказательство. Но нелепо во всяком случае, чтобы одно доказательство имело два вывода. Следовательно, доказательство не состоит из посылок и вы вода. Поэтому остается говорить, что доказательство состоит только из посылок. Но это глупо. Ведь это вообще не есть рассуждение, но предмет неполный и бессмысленный, поскольку никто из находящихся в здравом уме не говорит, что речение: «Если существует движение, то существует пустота, но движение существует» - есть рассуждение или имеет смысл. Итак, если доказательство мыслится или не состоящим из посылок и вывода, или состоящим только из посылок, оно не мыслимо [вообще]. Далее, доказательство, когда оно [что-нибудь] доказывает, оно или, будучи явным, есть доказательство явного, или, будучи неявным, есть доказательство явного, или, будучи неявным, есть доказательство неявного, или, будучи неявным, - явного, или, будучи явным, - неявного. Но, как мы обнаружим, оно не есть ни одно из этих доказательств. Следовательно, доказательство [вообще] не есть что-либо. Действительно, доказательство не может быть явным доказательством явного, потому что явное не нуждается в доказательстве, но оно понятно само из себя. Доказательство не будет также неявным доказательством неявного, поскольку оно, будучи неявным, само будет иметь нужду в подтверждающем его и не может
==226
стать подтверждающим что-либо другое. Также доказательство не может быть и неявным доказательством явного. Здесь сойдутся обе апории: доказываемое не будет нуждаться ни в каком доказательстве, будучи явно, а доказательство будет иметь нужду в устанавливающем его, будучи неявно. Поэтому [доказательство] не может стать и неявным доказательством явного. Остается говорить, что доказательство есть явное доказательство неявного. Но и это сомнительно. Ведь если доказательство не самостоятельно и не абсолютно, но относительно, а относительное, как мы показали в рассуждении о признаке, воспринимается совместно, воспринимаемое же совместно не раскрывается одно из другого, но ясно само на основании себя, то Доказательство не будет явным доказательством неявного, потому что неявное, воспринимаемое совместно с ним, обнаруживается само через себя. И вот, если доказательство не есть ни явное доказательство явного, ни неявное - неявного, ни неявное - явного, ни явное - неявного, а кроме этого нет ничего, то надо сказать, что доказательства совсем нет. Затем, поскольку стоики думают, что они всех точнее установили доказательные тропы, мы выскажем немногое против них, показавши, что если иметь в виду их гипотезы, то все является, может быть, непостижимым, и в особенности доказательство. В самом деле, как можно у них слышать, постижение есть одобрение постигающего представления. Оно, кажется, заключает в себе два момента: один, содержащий в себе нечто непроизвольное, а другой - произвольное, зависящее от нашего решения. Именно возникновение представления получается не произвольно и происходит не от претерпевающего его, но от того, что возбудило в нем такое представление, как, например, ощущение белого при встрече с белым цветом или сладкого, когда попадает на вкус сладкое. Однако одобрение этого впечатления зависит от того, кто получает это представление. Поэтому постижение имеет предваряющее его постигающее представление, которое и одобряется. Постигающее же представление имеет предварительно представление [вообще], видом которого оно является. При отсутствии этого представления нет и постигающего представления, поскольку при отсутствии рода нет и