То, что кто-либо предполагает, или истинно и таково, как оно предполагается, или ложно. Если оно истинно, то предполагающий это несправедлив в отношении себя, так как, имея возможность не доискиваться его, но взять его самого по себе как истинное, прибегает к действию, весьма подозрительному, к гипотезе, отыскивая то, что само по себе истинно. Если же оно ложно, то пользующийся гипотезой поступает несправедливо уже не в отношении себя, но в отношении природы вещей, требуя, чтобы не сущее было признано само по себе как сущее, и принуждая принимать ложь за истину. Однако, если кто-либо считает верным все следующее за принятым на основании гипотезы, он уничтожает все философское изыскание. Именно, предположим сейчас, что три равняется четырем, и выведем как следствие, что шесть равняется восьми. Это будет истинно (что шесть равняется восьми).
Если же нам возразят, что это бессмысленно (т.е. предположенное по гипотезе должно быть верным, для того чтобы можно было допустить последующее за ним), то и от нас они услышат, что не следует стремиться принимать что-либо на основании его самого, но все полагаемое полагать точно.
Кроме того, если предполагаемое, поскольку оно предполагается, верно и безошибочно, то пусть философствующие догматически берут в качестве предположений не то, из чего они выводят неявное, но само неявное, т.е. не посылки доказательства, но вывод. Однако, хотя бы они делали и бесчисленное количество предположений, предполагаемое не станет достоверным ввиду своей неявности и возникающего относительно него вопроса. Отсюда очевидно, что, даже когда они отыскивают посылки доказательства без доказательства, они не достигают никакой достоверности вследствие того, что и посылки принадлежат к числу сомнительного.
Клянусь Зевсом, но возражатели обыкновенно говорят, что достоверность укрепления гипотезы заключается в том, что получающееся в качестве вывода из того, что допущено на основании гипотезы, оказывается истинным; ведь если вытекающее из нее верно, то те посылки, из которых оно вытекает, тоже истинны и неоспоримы. Но чем, позволительно спросить, можем мы доказать, что вытекающее из принятого по гипотезе истинно? На основании ли его самого или посылок, из которых оно следует? Но на основании его самого [истинность его] не будет доказана, поскольку оно само не явно. Но может быть, на основании посылок? И этого не может быть, так как об этом как раз и идет спор и сначала нужно еще это установить.
Впрочем, пусть вытекающее из принятого на основе гипотезы будет истинно; из-за этого само то, что принято на основании гипотезы, еще не станет истинным. Ведь если бы они считали, что только за истинным следует истинное, то рассуждение продвинулось бы вперед, так что из истинности вытекающего из принятого на основании гипотезы становилось бы истинным и само принятое на основании гипотезы. Но при настоящем положении дела, поскольку они говорят, что и за ложным следует ложное и за ложным истинное, то не необходимо, если последующее истинно, чтобы и предыдущее было истинным, но при истинности последующего предыдущее может быть ложным.
Итак, вот что пусть будет сказано, как говорится, с пути свернув [201]
и в виде отступления о том, что не следует доказательству начинаться с гипотез.А далее надо показать, что доказательство [и само по себе] впадает во взаимодоказуемость, что составляет еще большие трудности. Именно, мы установили, что доказательство относится к числу неявных предметов и все неявное нуждается в разрешении, а нуждающееся в разрешении требует критерия, который выявлял бы, правильно ли оно или неправильно. Как измерение не может производиться без меры и все выпрямляемое выпрямляется не без отвеса, так и оцениваемое разбирается не без критерия. Поэтому поскольку под вопросом и существование критерия (при этом одни говорят, что его нет, другие — что он есть, а третьи воздерживаются от всякого суждения), то существование критерия нуждается еще в доказательстве каким-либо доказательством. Но для того чтобы мы имели достоверное доказательство, очевидно, надо обратиться к критерию.
И таким образом, не имея ни достоверного доказательства ранее критерия, ни твердого критерия ранее доказательства, надо относительно обоих признать необходимым воздержание от суждения.