Но для того чтобы теперь нам не сходиться с противниками в мелочах, можно построить другое умозаключение, придерживаясь такого способа. Если говорящий, что нет никакого знака, обращается к тому, чтобы говорить, что знак существует, то и говорящий, что есть знак, обращается к тому, чтобы говорить, что нет никакого знака. Говорящий скептически, что нет никакого знака, по их мнению, обратился к тому, чтобы говорить, будто есть некоторый знак; стало быть, говорящий догматически, что есть какой-нибудь знак, обратился к тому, чтобы говорить, будто нет никакого знака, - как это мы покажем. Вот, например, если для говорящего, что есть какой-нибудь знак, понадобится удостоверить свое утверждение знаком, а существование какого-нибудь знака не подтверждено всеобщим согласием, как он воспользуется знаком для удостоверения того, что знак есть? Не будучи в состоянии доказать при помощи знака существование какого-нибудь знака, он должен обратиться к признанию, что знака не существует. Но пусть даже будет допущен в порядке излишества только тот один знак, который показывал бы, что вообще нет никакого знака. Какая же тут будет для них польза, если они не могут назвать знака ни для какого своего учения? Такая позиция поэтому для них бесполезна - я имею в виду общее признание, что есть какой-нибудь знак. Пожалуй, им необходимо заменить неопределенное "Есть знак" определенным выражением "Есть этот знак". Но этого им нельзя делать. Ведь всякий знак, равно как и обозначаемое, зависит от мнения и подлежит неразрешимому разногласию. Поэтому, например, как "Кто-то плывет через скалу" ложно, поскольку нельзя подставить вместо него определенное истинное: "Такой-то плывет через скалу"; таким же образом поскольку вместо неопределенного "Существует какой-нибудь знак" мы не можем подставить определенное истинное выражение "Существует этот знак", постольку ложно становится, стало быть, выражение "Существует какой-нибудь знак" и истинным - противоположное ему: "Нет знака".
208
Впрочем, пусть все их доводы останутся в силе, однако остаются неопровергпутыми и речи скептиков. Что же остается при равновесии доводов на той и другой стороне, кроме как воздерживаться от суждения и не определять искомого предмета, не высказывая, что есть какой-нибудь знак, и не высказывая, что его нет, но безопасно утверждая, что он не больше есть, чем не есть? Но так как доказательство оказывается по своему роду знаком, который на основании признания посылок раскрывает неочевидный вывод, то не нужно ли в вопросе о знаках заняться исследованием и этого доказательства?
[IV. О ДОКАЗАТЕЛЬСТВЕ]
О том, ради чего в настоящий момент мы исследуем зоо вопрос о доказательстве, было сказано раньше, когда мы рассматривали вопрос о критерии и о знаке [60]. Для того чтобы наше изложение не вышло неметодичным, но увереннее выступило и воздержание от суждения [61], и возражение против догматиков, надо объяснить самое понятие доказательства.
Итак, доказательство по своему роду есть рассуждение. Оно ведь, очевидно, не есть чувственный предмет, но некоторое движение мысли и признание с ее стороны, что, собственно, и относится к рассуждению. Рассуждение же, проще говоря, есть то, что составлено из посылок и вывода. Посылками мы называем не какие-либо положения, на которых мы настаиваем, но те, которые собеседующий допускает и воспринимает ввиду их очевидности. Вывод же есть то, что строится из этих посылок. Например, умозаключением является такая цельная система: "Если сейчас день, то свет есть. Но сейчас день. Следовательно, свет есть". Посылки же его - "Если сейчас день, свет есть" и "Но день есть", а вывод - "Следовательно, сейчас свет". Из рассуждений одни - выводные (###), другие - невыводные. Выводные те, в которых при допущении наличия посылок в силу этого допущения за посылками следует вывод, как это было сказано у нас немного раньше. Именно, вследствие того что [выводное рассуждение] состоит из умозаключения "Если сейчас день, свет есть", которое обещает, что при истинности в нем первой [части] истинной будет и вторая находящаяся в нем [часть], и еще из суждения "Сейчас день", которое в умозаключении является предыдущим, я утверждаю, что если умозаключение дано как истинное, так что за находящимся в нем предыдущим идет его последующее, и если дано действительно, что "Сейчас день", то по необходимости при наличии этого будет выведена и вторая часть этого, т.е. "Свет есть", а это и есть вывод.
209