Впрочем, пусть вытекающее из принятого на основе гипотезы будет истинно; из-за этого само то, что принято на основании гипотезы, еще не станет истинным. Ведь если бы они считали, что только за истинным следует истинное, то рассуждение продвинулось бы вперед, так что из истинности вытекающего из принятого на основании гипотезы становилось бы истинным и само принятое на основании гипотезы. Но при настоящем положении дела, поскольку они говорят, что и за ложным следует ложное и за ложным истинное, то не необходимо, если последующее истинно, чтобы и предыдущее было истинным, но при истинности последующего предыдущее может быть ложным.
Итак, вот что пусть будет сказано, как говорится, с пути свернув [76] и в виде отступления о том, что не следует доказательству начинаться с гипотез.
А далее надо показать, что доказательство [и само по себе] впадает во взаимодоказуемость, что составляет еще большие трудности. Именно, мы установили, что доказательство относится к числу неявных предметов и все неявное нуждается в разрешении, а нуждающееся в разрешении требует критерия, который выявлял бы, правильно ли оно или неправильно. Как измерение не может производиться без меры и все выпрямляемое выпрямляется не без отвеса, так и оцениваемое разбирается не без критерия. Поэтому поскольку под вопросом и существование критерия (при этом одни говорят, что его нет, другие - что он есть, а третьи воздерживаются от всякого суждения), то существование критерия нуждается еще в доказательстве каким-либо доказательством. Но для того чтобы мы имели достоверное доказательство, очевидно, надо обратиться к критерию.
224
И таким образом, не имея ни достоверного доказательства ранее критерия, ни твердого критерия ранее доказательства, надо относительно обоих признать необходимым воздержание от суждения.
Вместе со сказанным можно будет поколебать доказательство, также исходя из его понятия. Правда, даже если бы его можно было помыслить, оно не существовало бы в совершенном смысле, поскольку, как я сказал [77], есть много такого, что мыслится, но что не имеет никакой реальности. Теперь же когда обнаруживается, что и само понятие доказательства невозможно, то, бесспорно, отсекается и надежда на его реальность. При существовании двух доказательств, родового и видового, родовое мы само по себе найдем немыслимым. Ведь никто из нас не знает родового доказательства, и никогда через него ничего не удавалось установить. С другой стороны, нужно спросить, имеет ли такое доказательство посылки и вывод или не имеет. И если не имеет, как оно еще может мыслиться доказательством, если понятие никакого доказательства не может составиться без посылки и вывода? Если же оно имеет и то и другое, т.е. посылки и вывод, то оно есть [уже] видовое, [а не родовое] доказательство. Ведь если все доказуемое и все доказующее относится к предметам частным, то необходимо, чтобы и доказательство было одним из видовых предметов. У нас, однако, было рассуждение как раз не о видовом, а о родовом доказательстве. Следовательно, родовое доказательство невозможно помыслить [в понятии]. Но также не мыслится и видовое.
В самом деле, у догматиков доказательством называется рассуждение, раскрывающее неясный предмет на основании вывода при посредстве некоторых явных предметов. Итак, или весь состав, т.е. то, что мыслится как состоящее из посылок и вывода, есть доказательство, или только посылки суть доказательство, а вывод есть доказуемое. Что бы, однако, из этого ни назвали доказательством, все равно понятие доказательства колеблется.
Действительно, если доказательство составляется из посылок и вывода, то необходимо, чтобы доказательство, содержащее что-нибудь неявное, сейчас же само оказывалось неявным и чтобы, ставши таким, само нуждалось в каком-нибудь доказательстве, что нелепо.
225
Поэтому составленное из посылок и вывода не может быть доказательством, раз мы не мыслим доказательство ни как неявное, ни как нуждающееся в доказательстве.
Далее, доказательство принадлежит к предметам относительным. Ведь оно ориентируется не само на себя и мыслится не как изолированное, но имеет нечто, чего именно оно является доказательством. Поэтому если в него включается вывод, а всякий относительный предмет находится вне того, в отношении чего он зовется относительным, то доказательство мыслится не относящимся ни к чему, поскольку вывод уже заключен в нем самом. Однако хотя бы мы подставили извне и другой вывод, в отношении к которому мыслилось бы наше доказательство, то окажется два вывода относительно данного места: один - заключенный в доказательстве, другой же - находящийся вне его, к которому мысль и относит доказательство. Но нелепо во всяком случае, чтобы одно доказательство имело два вывода. Следовательно, доказательство не состоит из посылок и вывода. Поэтому остается говорить, что доказательство состоит только из посылок. Но это глупо. Ведь это вообще не есть рассуждение, но предмет неполный и бессмысленный, поскольку никто из находящихся в здравом уме не говорит, что речение: "Если существует движение, то существует пустота, но движение существует" - есть рассуждение или имеет смысл. Итак, если доказательство мыслится пли не состоящим из посылок и вывода, или состоящим только из посылок, оно не мыслимо [вообще].
Далее, доказательство, когда оно [что-нибудь] доказывает, оно или, будучи явным, есть доказательство явного, или, будучи неявным, есть доказательство явного, или, будучи неявным, есть доказательство неявного, или, будучи неявным, - явного, или, будучи явным, - неявного. Но, как мы обнаружим, оно не есть ни одно из этих доказательств. Следовательно, доказательство [вообще] не есть что-либо.
226
Действительно, доказательство не может быть явным доказательством явного, потому что явное не нуждается в доказательстве, но оно понятно само из себя. Доказательство не будет также неявным доказательством неявного, поскольку оно, будучи неявным, само будет иметь нужду в подтверждающем его и не может стать подтверждающим что-либо другое. Также доказательство не может быть и неявным доказательством явного. Здесь сойдутся обе апории: доказываемое не будет нуждаться ни в каком доказательстве, будучи явно, а доказательство будет иметь нужду в устанавливающем его, будучи неявно. Поэтому [доказательство] не может стать и неявным доказательством явного. Остается говорить, что доказательство есть явное доказательство неявного. Но и это сомнительно. Ведь если доказательство не самостоятельно и не абсолютно, но относительно, а относительное, как мы показали в рассуждении о признаке [78], воспринимается совместно, воспринимаемое же совместно не раскрывается одно из другого, но ясно само на основании себя, то доказательство не будет явным доказательством неявного, потому что неявное, воспринимаемое совместно с ним, обнаруживается само через себя. И вот, если доказательство не есть ни явное доказательство явного, ни неявное неявного, ни неявное - явного, ни явное - неявного, а кроме этого нет ничего, то надо сказать, что доказательства совсем нет.
Затем, поскольку стоики думают [79], что они всех точнее установили доказательные тропы, мы выскажем немногое против них, показавши, что если иметь в виду их гипотезы, то все является, может быть, непостижимым, и в особенности доказательство.
В самом деле, как можно у них слышать, постижение есть одобрение постигающего представления. Оно, кажется, заключает в себе два момента: один, содержащий в себе нечто непроизвольное, а другой - произвольное, зависящее от нашего решения. Именно возникновение представления получается не произвольно и происходит не от претерпевающего его, но от того, что возбудило в нем такое представление, как, например, ощущение белого при встрече с белым цветом или сладкого, когда попадает на вкус сладкое. Однако одобрение этого впечатления зависит от того, кто получает это представление.
Поэтому постижение имеет предваряющее его постигающее представление, которое и одобряется. Постигающее же представление имеет предварительно представление [вообще], видом которого оно является. При отсутствии этого представления нет и постигающего представления, поскольку при отсутствии рода нет и вида. При отсутствии постигающего представления нет и принадлежащего ему одобрения. С устранением же одобрения в постигающем представлении устраняется и само постижение.