Сочинения в двух томах. Том 1

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

239

Но если относительные предметы нереальны, то и доказательство, будучи в числе относительных предметов, будет совершенно нереальным. Но доказано, что относительные предметы нереальны; следовательно, и доказательство будет принадлежать к числу нереальных предметов.

Это сказано относительно нереальности доказательства; рассмотрим также и противоположное рассуждение. Именно, догматические философы полагают, что считающий доказательство несуществующим сам себя опровергает и укрепляет его теми доводами, которыми сам же его устраняет. Поэтому противники скептиков и утверждают: "Говорящий, что доказательства не существует, или говорит это, пользуясь простым и бездоказательным утверждением, или доказывает это рассуждением. И если он применяет простое утверждение, никто из принимающих доказательство не поверит ему, поскольку он пользуется простым утверждением, и в свою очередь примет противоположное утверждение, говорящее, что доказательства не существует. Если же он доказывает, что доказательства не существует (таковы их слова), он само собою признает существование доказательства. Ведь рассуждение, доказывающее, что не существует доказательства, само есть доказательство того, что доказательство существует.

И вообще рассуждение, направленное против доказательства, есть или доказательство, или недоказательство; если оно недоказательство, то оно не достоверно; если же оно доказательство, то доказательство существует.

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

240

первой посылкой, следует и утверждение факта доказательства. Само рассуждение, доказывающее, что нет доказательства, будучи доказательным, только подтверждает положение, что доказательство есть. И разделительное суждение "Либо есть доказательство, либо нет доказательства", составленное из противоположных утверждений о существовании или несуществовании доказательства, должно иметь один член истинный и поэтому само должно быть истинным. Поэтому при истинности посылок возникает и вывод.

Можно еще иначе показать то, что вывод следует из посылок. Именно, если разделительное суждение истинно, имея в себе один член истинный, то вывод должен получиться, какой бы из членов мы ни предположили истинным. Пусть будет предположен истинным первый член, т.е. что доказательство есть. Это значит, что, поскольку данное суждение оказывается большей посылкой в умозаключении, за ним последует и окончание в первом утверждении. Это окончание - "Доказательство существует", что и есть вывод. Следовательно, если допустить, что в разделительном суждении суждение о существовании доказательства истинно, то за ним последует вывод данного рассуждения. Тот же самый способ аргументации и при остающемся постулате - о несуществовании доказательства. Предшествует оно и во втором умозаключении, и за ним следует вывод умозаключения.