Однако, говорят они, если признать, что доказательство по роду своему есть знак, то необходимо прийти к выводу, что если нет доказательств, то рассуждения, направленные против знака, тоже становятся недостоверными; если же доказательства есть, то есть и некий знак. Мы же еще раньше [59] сказали, что мы возражаем не против воспоминательного, а против показательного знака; мы можем согласиться, что направленные против знака речи нечто обозначают, но только уже не показательно, а воспоминательно. Ведь мы же от них получаем раздражение и воспринимаем памятью то, что может быть сказано против показательного знака.
То же надо сказать и об их следующем утверждении, когда они спрашивали, означают ли что-нибудь произносимые против знака слова, или они ничего не значат.
206
Ведь если мы устранили всякий знак, то по необходимости надо будет или чтобы ничего не значили звуки, произносимые нами против знака, или при их значимости было дано, что какой-то именно знак существует. Теперь же, поскольку, пользуясь различением, мы один знак устраняем, а другой принимаем, и существование показательного знака не допускается даже в том случае, когда направленные против показательного знака звуки что-нибудь обозначают.
Далее, говорилось, что, если у науки есть своя теорема, она не должна быть очевидной, но неочевидной, воспринимаемою через знак. [Но говорившие это] забывали, что если в теоретическом знании прочих предметов нет ровно никакой теоремы, как мы это покажем дальше, то в науке, имеющей дело с явлениями, существует своя собственная теорема. Ведь путем многократных наблюдений или исследований она устанавливает свои правила, а то, что было многократно наблюдено или исследовано, становится частной особенностью наблюдавших это неоднократно, но не является общим для всех.
Выставленное ими в конце умозаключение по такому способу: "Если первое есть, то первое есть; если первого нет, то первое есть; или первое есть, или первого нет; следовательно, первое есть", - кажется очень плохо по излишеству, которым отличаются здесь посылки, и, по-видимому, неоспоримо тяготит их самих.
Надо сказать по порядку о первом, т.е. об излишестве. Именно, если разделительное суждение в этом умозаключении истинно, оно должно иметь одну часть истинною, как и они сами говорили раньше. Но если оно имеет одну часть истинной, то вторую посылку из участвующих в выводе оно уличает как лишнюю. Например, если из принятых посылок предполагается истинным суждение "Знак существует", то для вывода заключения необходимым становится удвоенное умозаключение "Если существует какой-нибудь знак, то знак существует", а второе умозаключение "Если нет знака, то знак существует" становится лишним. Если же истинным будет здесь суждение "Нет никакого знака", то удвоенное умозаключение окажется лишним для построения доказательства. И станет необходимым вывод "Если нет знака, то знак есть". Итак, умозаключение это плохо по своему балласту.
