Несуществование доказательства возможно показать еще из следующего. Если существует доказательство, то оно обнаруживает либо явление, будучи явлением, либо неочевидное, будучи неочевидным, либо явление, будучи неочевидным, либо неочевидное, будучи явлением. Но оно не может быть мыслимо обнаруживающим что-либо из этого; следовательно, оно немыслимо. В самом деле, если оно, будучи явлением, обнаруживает явление, то обнаруживаемое будет одновременно и явлением, и неочевидным: явлением - потому, что мы таковым его предположили, неочевидным - потому, что оно нуждается в обнаруживающем в будущем и не представляется нам ясным само по себе. Если же, будучи неочевидным, оно обнаруживает неочевидное, то оно само будет нуждаться в обнаруживающем его в будущем и не будет обнаруживать другого, а это далеко от понятия доказательства. Вследствие этого же оно не может, будучи неочевидным, быть доказательством вполне очевидного, а равно и неочевидного, будучи вполне очевидным, ибо, раз оно существует по отношению к чему-нибудь (а то, что существует по отношению к чему-нибудь, воспринимается друг с другом вместе), в таком случае то, про что говорят, что оно доказательство, воспринимаемое вместе с вполне очевидным доказательством, будет вполне очевидным, так что рассуждение опрокидывается, и то, что доказывает неочевидное, не оказывается вполне очевидным. Если, таким образом, нет доказательства ни явления явлением, ни неочевидного неочевидным, ни неочевидного вполне очевидным, ни вполне очевидного неочевидным, а кроме того, как они говорят, нет ничего, то надо сказать, что доказательство есть ничто.
297
Сверх этого надо сказать и следующее. О доказательстве существует разногласие: одни говорят, что оно не существует (а именно те, которые утверждают, что вообще ничего не существует [37]), другие же - что существует (к этим последним относится большинство догматиков). Мы же говорим, что оно не более существует, чем не существует. Кроме того, доказательство непременно содержит в себе учение ([догму]), о каждой же догме существует разногласие, так что и о каждом доказательстве по необходимости существует разногласие. Ибо, как только, например, будет признано доказательство существования пустоты [38], тем самым признается и существование пустоты; отсюда ясно, что сомневающиеся в существовании пустоты будут сомневаться и в доказательстве ее; и о других догмах, к которым относятся доказательства, рассуждение то же. Таким образом, каждое доказательство подвержено сомнению и разногласию. Если поэтому доказательство неочевидно вследствие разногласия о нем (ибо находящееся в разногласии, поскольку оно состоит в разногласии, неочевидно), то оно неочевидно само из себя, но должно проистекать для нас из доказательства. Доказательство же, на котором основывается доказательство, не будет общепризнанным и очевидным (мы ведь исследуем сейчас, есть ли вообще доказательство); будучи же подверженным разногласию и неочевидным, оно будет нуждаться в другом доказательстве, а другое - в третьем, и так до бесконечности. Доказать же бесконечное невозможно; поэтому невозможно установить, что существует доказательство. Но оно не может быть обнаружено и знаком. Так как еще исследуется, есть ли знак, а доказательство нуждается в знаке для собственного существования, то получается троп взаимодоказуемости: доказательство будет нуждаться в знаке, а знак - опять-таки в доказательстве, а это бессмысленно. Вследствие этого же невозможно рассудить разногласие о доказательстве, так как суждение нуждается в критерии, а вопрос, есть ли критерий, еще составляет предмет искания, как мы установили; вследствие этого критерий нуждается в доказательстве, указывающем, что есть критерий, и снова получаются троп взаимодоказуемости и затруднения. Если же ни доказательством, ни знаком, ни критерием нельзя установить, что есть доказательство, и оно не является, с другой стороны, вполне очевидным само из себя, как мы указали, то вопрос о существовании доказательства будет невоспринят. Вследствие же этого доказательство будет и несуществующим, ибо оно было мыслимо вместе с доказыванием, а невоспринимаемое оно не могло бы доказывать. Поэтому и не будет доказательства.
298
Этого будет достаточно, чтобы в общем очерке сказать против доказательства. Догматики же, устанавливая противоположное, говорят, что приведенные для доказательства рассуждения бывают либо доказывающими, либо не доказывающими. Если они не доказывающие, то они не могут доказать, что нет доказательства; если же они доказывающие, то они сами вводят существование доказательства путем поворота рассуждения. Вследствие этого они выводят и такое рассуждение: "если есть доказательство, то есть доказательство; если нет доказательства, то есть доказательство; либо есть доказательство, либо нет доказательства; значит, есть доказательство". Из этого свойства они выводят и такое рассуждение: "следующее из противоположного не только истинно, но и необходимо; противоположными же друг другу являются такие: "есть доказательство - пет доказательства"; из каждого здесь следует, что есть доказательство; значит, есть доказательство". Против этого можно возразить, например, следующее: так как мы не считаем, что какое-нибудь рассуждение бывает доказывающим, то мы никогда не называем доказывающими и те рассуждения, которые направлены против доказательства, но говорим, что они кажутся нам вероятными; вероятные же не непременно являются доказывающими. Если же они и доказывающие, чего мы не утверждаем, то они непременно также истинны. Истинны же те рассуждения, которые выводят истинное из истинного, значит, их заключение истинно. А оно было следующее: "значит, нет доказательства"; значит, вследствие поворота [рассуждения] истинно то, что "нет доказательства". Но как очистительные лекарства выгоняют сами себя вместе с находящейся в теле материей, точно так же и эти рассуждения опровергают сами себя вместе с остальными рассуждениями, которые считаются доказывающими. И это не будет нелепым, так как и выражение "нет ничего истинного" не только уничтожает каждое из остального, но вместе с ними опрокидывает и само себя. Точно так же может быть указана непоследовательность такого рассуждения: "если есть доказательство, то есть доказательство; если нет доказательства, то есть доказательство; либо оно есть,
299
либо нет; значит, оно есть", - и притом очень многими доказательствами, но сейчас достаточно следующего умозаключения (###). Если правильна такая связь: "если есть доказательство, то есть доказательство", - то противоположное ее конечному, т.е. "нет доказательства", непременно будет противоречить тому, что "есть доказательство", ибо это последнее является предыдущим в связи. А по мнению догматиков, невозможно, чтобы была правильной связь, состоящая из противоречащих суждений. Ибо связь обещает, что если есть ее предыдущее, то непременно будет и заключение; противоречивое же, наоборот, и невозможно, чтобы при наличии какой-нибудь одной из его частей не существовало остального. Если, таким образом, правильной является такая связь: "если есть доказательство, то есть доказательство", - то не может быть правильной такая связь: "если нет доказательства, то есть доказательство". Опять-таки если мы предположительно признаем правильной такую связь: "если нет доказательства, то есть доказательство", - то положение "если есть доказательство" может сосуществовать с положением "нет доказательства". Если же оно может сосуществовать с ним, то не противоречит ему. Поэтому в первой связи: "если есть доказательство, то есть доказательство" - противоположное ее конечному не противоречит ее предыдущему, так что опять-таки эта связь не будет правильной, если только мы путем уступки признаем правильной вторую связь, и [мысль] "нет доказательства" не будет противоречить тому, что "есть доказательство". Точно так же не будет правильным разделенное: "либо есть доказательство, либо нет доказательства", - ибо правильное разделение обещает, что правильна одна из его частей, а остальная или остальные ложна или ложны и в противоречии [с первой]. Или если правильно разделенное, то опять-таки окажется негодной связь: "если нет доказательства, есть доказательство" - как состоящая из противоречивых частей. Таким образом, посылки в предыдущем рассуждении и не согласуются друг с другом, и уничтожаются взаимно, поэтому рассуждение не будет правильно. Но они не могут доказать и того, что следует что-нибудь из противоположного, потому что у них нет критерия следования, как мы это вывели.