Если же он неявен, то истинным будет не одно только явное, но и неявное. Ибо если мы принимаем неявное за то, что берется в целях удостоверения явного, то нечто неявное должно быть истинным. Ведь истинное, как известно, во всяком случае не судится по ложному. Если же нечто неявное истинно, то истинно не одно только явное, как было предположено вначале.
154
Затем, откуда следует, что это неявное истинно? Если из самого себя, то и все неявные вещи будут также истинными сами через себя. Если же сказано это доказательство, то, конечно, или из неявного, или из очевидного должна быть доказана его истинность. И если из неявного, то оно в свою очередь должно иметь своим критерием какое-либо другое, а третье - какое-либо четвертое неявное, и так до бесконечности. Если же из явного, то мы попадаем в троп взаимодоказуемости [12], так что мы будем удостоверять явное неявным и, наоборот, неявное опять явным.
Но если не истинны ни все явное, ни нечто, то вообще ничто явное не истинно. Так же и неявное не есть истинное. В самом деле, опять-таки если неявное истинно, то или все неявное истинно, или не все. Но, как мы покажем, ни все неявное не истинно, ни нечто. Стало быть, и неявное не есть что-нибудь истинное. В самом деле, если все неявное истинно, то прежде всего незачем было спорить догматикам, как, например, по поводу того, что одни признают один элемент, другие - два, притом одни считают [число] их счис-лимым, другие же - бесконечным, и выдавать мнения друг друга за ложные.
При истинности всякого неявного противоборствующие мнения окажутся истинными, как, например, четность или нечетность [числа] звезд: ведь это одинаково неявно, а все неявное истинно. Однако из противоборствующих не всякое может быть истинным. Следовательно, все неявное не может быть истинным. Но и нечто неявное не может быть истинным.
Признание одного неявного истинным, а другого ложным бывает или на основании его самого и без критерия, или с критерием. Если это говорится без рассуждения, то мы не сможем ничего сказать и против того, кто называет истинным и противоположное этому. Если же с критерием, то, конечно, этот критерий или явен, или неявен. И если он явен, то ложным окажется первоначальное предположение, что только неявное истинно. Затем, и само то, при помощи чего мы судим о явном, на основании чего может быть признано истинным? Если на основании его самого, то и сказанное на основании себя самого, что оно не истинно, будет достоверно. Если же такое заключение выведено из явного, то и это явное будет приниматься на основании Другого явного, и так до бесконечности. Если же [критерий утверждается] на основании неявного, то получится троп взаимодоказуемости, поскольку мы не будем в состоянии считать достоверным ни явное без неявного, ни неявное надежным вне явного. Поэтому и неявное не может быть истинным.
155
Остается, следовательно, сказать, что истинное есть то, что является в одном отношении как очевидное, а в другом как неявное... [что невозможно]... Если мы предположим истинным явное и потому, что оно явно, то мы сделаем такое предположение или вследствие того, что все явное истинно, или потому, что не все. И если неявное предполагается истинным на основании того, что оно неявно, то такое предположение сделано или потому, что все неявное истинно, или потому, что не все. И опять мы сталкиваемся с теми же затруднениями.
Отсюда вытекает такое следствие: если не истинно ни явное, ни неявное, ни то, что в одном отношении явно, а в другом неявно, а ничего другого сверх этого не существует, то по необходимости ничего истинного не существует.
Некоторые же выводят затруднение из самого общего понятия существующего [13]. Это родовое понятие восходит выше всего, само же ничему другому не подчиняется. Оно или истинно, или ложно, или одновременно истинно и ложно, или не истинно и не ложно. Если оно истинно, то все виды, сколько их ни есть у него, будут истинны. Как если родовое понятие людей есть "человек", то отдельные представители его - люди; и как при родовом понятии "разумного" отдельные человеки разумны, и как при родовом понятии смертного отдельные человеки называются смертными, так, если родовое понятие всего истинно, то по необходимости и все сущее истинно. Если же все существующее истинно, то ничего не будет ложного. И если ничего не будет ложного, то ничего не окажется и истинного, как мы упомянули выше, доказывая оба эти положения как мыслимые на основании взаимного сличения. С другой стороны, если все сущее истинно, мы должны считать всякое противоборствующее истинным. А это нелепо. Поэтому наиобщее родовое понятие не истинно. Однако оно и не ложно ввиду подобных же затруднений. Ведь если оно ложно, то будет ложно и все ему причастное. Но ведь ему причастно все: и тела, и бестелесное. Следовательно, все станет ложным. Но если все ложно, то последуют аналогичные же затруднения.
156
Итак, остается предположить, что наиболее родовое понятие одновременно и истинно, и ложно или что оно одновременно не истинно и не ложно. А это хуже предположенного раньше, потому что из этого воспоследует, что все взятое порознь будет одновременно истинно и ложно или не истинно и не ложно, что бессмысленно. Следовательно, ничего истинного не существует.
Но истинное, скажут, тоже может принадлежать или к независимому и существующему в природе, или к относительному. Но, как мы сейчас докажем, истиное есть ничто из этого. Следовательно, истинное не существует. Независимо и в природе не существует истинного постольку, поскольку существующее независимо и в природе приводит в движение всех находящихся в равном положении, как, например, теплое не является теплым по отношению к одному и холодным по отношению к другому, но для всех находящихся в равном положении одинаково является теплым. Истина же не одинаково действует на всех, но одно и то же одному кажется истинным, а другому - ложным. Следовательно, истина не принадлежит тому, что существует независимо или в природе. Если же она принадлежит относительному, то, поскольку относительное только мыслится, но не существует реально, постольку и истинное будет только вообще предметом мысли, но не будет существовать реально. С другой стороны, если истина относительна, то одно и то же будет одновременно и истинным, и ложным. Именно, как одно и то же является и правым, и левым, по отношению к одному правым, а по отношению к другому левым, и как одно и то же считается и верхним, и нижним, верхним по отношению к лежащему внизу и нижним по отношению к находящемуся вверху, точно так же мы назовем одно и то же и истиной, и ложью. В таком случае оно, не будучи истиной более, чем ложью, разумеется, не есть истинное.
В этом смысле сходного характера затруднения выставляет по этому вопросу и Энесидем. Именно, если существует, [говорит он], что-либо истинное, то оно или чувственно, или мысленно, или же и мысленно и чувственно, или ни чувственно, ни мысленно, или ни то ни другое одновременно, как будет доказано. Стало быть, нет ничего истинного.
157
К выводу, что истинное не есть чувственное, мы придем следующим образом. Существуют роды и виды чувственного. Притом, роды - это общности, находящиеся в отдельных вещах. Например, "человек" - это то, что проявилось в отдельных людях, а "лошадь" - это то, что проявилось в отдельных лошадях. Виды же суть особенные свойства, принадлежащие каждому в отдельности, например Диону, Феону и др.
Итак, если истинное чувственно, то это истинное, конечно, будет или общим для многих, или таким чувственным, которое находится в пределах частного свойства. Но истинное и не есть общее, и не находится частном. Поэтому чувственное неистинно. Еще: как зримое постигается зрением, слышимое познается слухом, а обоняемое - обонянием, так и чувственное вообще познается ощущением. Но истинное не познается вообще ощущением, потому что ощущение неразумно, а истинное не познается неразумно. Поэтому истинное не есть чувственное. Но ведь истинное и не есть мысленное, раз ничто чувственное не истинно. Здесь снова получится бессмыслица. Ведь мысленное или общее всем, или некоторым в частности. Но истинное не может быть предметом мысли ни для всех вообще, ни для некоторых в отдельности. Быть мысленным для всех невозможно, а быть мысленным частным образом для кого-либо одного или многих недостоверно и спорно. Следовательно, истинное не есть и мысленное. Но истинное не есть также и чувственное, и мысленное одновременно. Именно, или все чувственное и все мысленное истинно, или нечто чувственное и нечто мысленное. Но утверждать же, что все чувственное и все мысленное истинно, невозможно. Ведь чувственное борется с чувственным и мысленное с мысленным и попеременно чувственное с мысленным и мысленное с чувственным, так что если считать все истинным, то одно и то же должно и не быть, а также оставаться истинным и ложным. А считать истинным нечто чувственное или мысленное - это снова вызывает недоумение. Ведь требует разъяснения это "нечто".