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