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