Секст Эмпирик - Сочинения в двух томах (Том 1)

То, что кто-либо предполагает, или истинно и таково, как оно предполагается, или ложно. Если оно истинно, то предполагающий это несправедлив в отношении себя, так как, имея возможность не доискиваться его, но взять его самого по себе как истинное, прибегает к действию, весьма подозрительному, к гипотезе, отыскивая то, что само по себе истинно. Если же оно ложно, то пользующийся гипотезой поступает несправедливо уже не в отношении себя, но в отношении природы вещей, требуя, чтобы не сущее было признано само по себе как сущее, и принуждая принимать ложь за истину. Однако, если кто-либо считает верным все следующее за принятым на основании гипотезы, он уничтожает все философское изыскание. Именно, предположим сейчас, что три равняется четырем, и выведем как следствие, что шесть равняется восьми. Это будет истинно (что шесть равняется восьми).

Если же нам возразят, что это бессмысленно (т.е. предположенное по гипотезе должно быть верным, для того чтобы можно было допустить последующее за ним), то и от нас они услышат, что не следует стремиться принимать что-либо на основании его самого, но все полагаемое полагать точно.

Кроме того, если предполагаемое, поскольку оно предполагается, верно и безошибочно, то пусть философствующие догматически берут в качестве предположений не то, из чего они выводят неявное, но само неявное, т.е. не посылки доказательства, но вывод. Однако, хотя бы они делали и бесчисленное количество предположений, предполагаемое не станет достоверным ввиду своей неявности и возникающего относительно него вопроса. Отсюда очевидно, что, даже когда они отыскивают посылки доказательства без доказательства, они не достигают никакой достоверности вследствие того, что и посылки принадлежат к числу сомнительного.

223

Клянусь Зевсом, но возражатели обыкновенно говорят, что достоверность укрепления гипотезы заключается в том, что получающееся в качестве вывода из того, что допущено на основании гипотезы, оказывается истинным; ведь если вытекающее из нее верно, то те посылки, из которых оно вытекает, тоже истинны и неоспоримы. Но чем, позволительно спросить, можем мы доказать, что вытекающее из принятого по гипотезе истинно? На основании ли его самого или посылок, из которых оно следует? Но на основании его самого [истинность его] не будет доказана, поскольку оно само не явно. Но может быть, на основании посылок? И этого не может быть, так как об этом как раз и идет спор и сначала нужно еще это установить.

Впрочем, пусть вытекающее из принятого на основе гипотезы будет истинно; из-за этого само то, что принято на основании гипотезы, еще не станет истинным. Ведь если бы они считали, что только за истинным следует истинное, то рассуждение продвинулось бы вперед, так что из истинности вытекающего из принятого на основании гипотезы становилось бы истинным и само принятое на основании гипотезы. Но при настоящем положении дела, поскольку они говорят, что и за ложным следует ложное и за ложным истинное, то не необходимо, если последующее истинно, чтобы и предыдущее было истинным, но при истинности последующего предыдущее может быть ложным.

Итак, вот что пусть будет сказано, как говорится, с пути свернув [76] и в виде отступления о том, что не следует доказательству начинаться с гипотез.

А далее надо показать, что доказательство [и само по себе] впадает во взаимодоказуемость, что составляет еще большие трудности. Именно, мы установили, что доказательство относится к числу неявных предметов и все неявное нуждается в разрешении, а нуждающееся в разрешении требует критерия, который выявлял бы, правильно ли оно или неправильно. Как измерение не может производиться без меры и все выпрямляемое выпрямляется не без отвеса, так и оцениваемое разбирается не без критерия. Поэтому поскольку под вопросом и существование критерия (при этом одни говорят, что его нет, другие - что он есть, а третьи воздерживаются от всякого суждения), то существование критерия нуждается еще в доказательстве каким-либо доказательством. Но для того чтобы мы имели достоверное доказательство, очевидно, надо обратиться к критерию.

224

И таким образом, не имея ни достоверного доказательства ранее критерия, ни твердого критерия ранее доказательства, надо относительно обоих признать необходимым воздержание от суждения.

Вместе со сказанным можно будет поколебать доказательство, также исходя из его понятия. Правда, даже если бы его можно было помыслить, оно не существовало бы в совершенном смысле, поскольку, как я сказал [77], есть много такого, что мыслится, но что не имеет никакой реальности. Теперь же когда обнаруживается, что и само понятие доказательства невозможно, то, бесспорно, отсекается и надежда на его реальность. При существовании двух доказательств, родового и видового, родовое мы само по себе найдем немыслимым. Ведь никто из нас не знает родового доказательства, и никогда через него ничего не удавалось установить. С другой стороны, нужно спросить, имеет ли такое доказательство посылки и вывод или не имеет. И если не имеет, как оно еще может мыслиться доказательством, если понятие никакого доказательства не может составиться без посылки и вывода? Если же оно имеет и то и другое, т.е. посылки и вывод, то оно есть [уже] видовое, [а не родовое] доказательство. Ведь если все доказуемое и все доказующее относится к предметам частным, то необходимо, чтобы и доказательство было одним из видовых предметов. У нас, однако, было рассуждение как раз не о видовом, а о родовом доказательстве. Следовательно, родовое доказательство невозможно помыслить [в понятии]. Но также не мыслится и видовое.

В самом деле, у догматиков доказательством называется рассуждение, раскрывающее неясный предмет на основании вывода при посредстве некоторых явных предметов. Итак, или весь состав, т.е. то, что мыслится как состоящее из посылок и вывода, есть доказательство, или только посылки суть доказательство, а вывод есть доказуемое. Что бы, однако, из этого ни назвали доказательством, все равно понятие доказательства колеблется.

Действительно, если доказательство составляется из посылок и вывода, то необходимо, чтобы доказательство, содержащее что-нибудь неявное, сейчас же само оказывалось неявным и чтобы, ставши таким, само нуждалось в каком-нибудь доказательстве, что нелепо.

225

Поэтому составленное из посылок и вывода не может быть доказательством, раз мы не мыслим доказательство ни как неявное, ни как нуждающееся в доказательстве.

Далее, доказательство принадлежит к предметам относительным. Ведь оно ориентируется не само на себя и мыслится не как изолированное, но имеет нечто, чего именно оно является доказательством. Поэтому если в него включается вывод, а всякий относительный предмет находится вне того, в отношении чего он зовется относительным, то доказательство мыслится не относящимся ни к чему, поскольку вывод уже заключен в нем самом. Однако хотя бы мы подставили извне и другой вывод, в отношении к которому мыслилось бы наше доказательство, то окажется два вывода относительно данного места: один - заключенный в доказательстве, другой же - находящийся вне его, к которому мысль и относит доказательство. Но нелепо во всяком случае, чтобы одно доказательство имело два вывода. Следовательно, доказательство не состоит из посылок и вывода. Поэтому остается говорить, что доказательство состоит только из посылок. Но это глупо. Ведь это вообще не есть рассуждение, но предмет неполный и бессмысленный, поскольку никто из находящихся в здравом уме не говорит, что речение: "Если существует движение, то существует пустота, но движение существует" - есть рассуждение или имеет смысл. Итак, если доказательство мыслится пли не состоящим из посылок и вывода, или состоящим только из посылок, оно не мыслимо [вообще].