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