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