Итак, говорят они, или доказательны речи апоретиков против знака, или недоказательны. Если они недоказательны, они недостоверны, поскольку уже и доказательные едва ли достоверны. Если же они доказательны, ясно, что существует какой-то знак, потому что доказательство есть знак по роду. Если же ничто не бывает знаком чего-нибудь, то или что-либо значат произносимые против знака слова, или ничего не значат. И если они ничего не значат, то они и не устранят реальности знака. Ведь разве можно, чтобы ничего не значащие слова удостоверяли нереальность знака? Если же они что-либо значат, то напрасно стараются скептики, на словах изгоняя знак, а на деле его принимая. Да ведь и наука, если не имеет никакой свойственной ей теоремы, ничем не будет отличаться от невежества. Если же есть свойственная ей теорема, то последняя или явна, или неочевидна. Но явной она не может быть, потому что явления являются всем одинаково без научения. Если же она неочевидна, она будет рассмотрена посредством знака. Если же есть нечто рассматриваемое посредством знака, то должен существовать и знак.
Некоторые же составляют такое рассуждение: "Если есть какой-то знак, то знак существует. Если не есть знак, то существует знак. Однако или нет никакого знака, или он есть. Следовательно, он существует". Таково рассуждение. Первая посылка его, как они говорят, правильна, потому что она есть удвоение [первоначального понятия]: за суждением "Есть знак" следует суждение "Знак существует" и, поскольку есть первое, будет и второе, ничем не отличающееся от первого. Правильна и вторая лемма: "Если не есть знак, существует знак". Ведь говорящий, что нет знака, говорит тем самым, что существует какой-то знак, потому что если нет никакого знака, то некоторый знак должен быть признаком этого несуществования знака. И в самом деле. Утверждающий, что нет никакого знака, утверждает это при помощи простого высказывания или при помощи доказательства. Утверждающий это при помощи высказывания получит [в ответ], говорят они, противоположное заявление. Тот же, кто пользуется доказа
204
тельством истинности своего высказывания через рассуждение, доказывающее, что нет никакого знака, обозначит, что нет никакого знака, и делая это, признает [тем самым], что какой-то знак существует. Поэтому обе первые посылки, говорят они, правильны. Правильна и третья. Ведь это есть разделительное суждение, составленное из противоположных суждений ("признак есть" и "признака нет"). Но поскольку всякое такое разделительное [суждение] истинно тогда, когда одно из его суждений истинно, а одно из противоположений рассматривается как истинное, то следует сказать, что эта составная посылка по справедливости истинна. Поэтому из признанных за истинные посылки получится и заключение: "Следовательно, существует".
Можно, говорят они, идти еще и таким путем. В данном рассуждении два умозаключения и одно разделительное суждение. Из них оба умозаключения заверяют, что за предшествующей посылкой в них идет последующая, а разделительное суждение имеет одну из своих частей истинную, потому что если обе части будут истинны или обе ложны, то и целое будет ложно. При таком значении посылок, предположивши, что одна из частей разделительного суждения истинна, мы увидим, как получается вывод. И прежде всего предположим истинным суждение "Некий признак существует". Тогда, поскольку это суждение оказывается предшествующим в первом умозаключении, из него будет вытекать последующее в этом умозаключении. Последующим же является "Знак существует", что тождественно с выводом. Значит, вывод получается, если предположить, что в разделительном суждении истинно то, что знак существует. Предположим, наоборот, что истинно другое суждение: "Знака нет". Тогда поскольку это суждение является предшествующим в нашем втором умозаключении, то из него будет вытекать последующее в этом умозаключении. А следует за ним суждение "Некоторый знак существует", которое и является выводом. Следовательно, вывод получается и по такому способу.
Так [разглагольствуют] догматики. Сейчас же необходимо по порядку возразить против первого довода, по которому на основании устройства человека выводится существование знака, поскольку они желают узнать менее трудное из того, что еще более трудно.
205
Ведь с тем, что знак существует, во всяком случае согласны все догматики, хотя этому суждению и противоречат многие, например скептики. Однако многие из них разногласят насчет промыслительного устроения человека. Но слишком грубо было бы стремиться из более спорного выводить то, что менее [спорно]. Так, Гераклит определенно говорит, что "человек неразумен, владеет же разумом окружающее" [57]. А Эмпедокл еще парадоксальнее считал, что все разумно, не только живые существа, но и растения, как он определенно пишет:
Знай же, что все обладает умом и долею мысли [58].