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