191
      чувственных, каковы белое или сладкое. Поэтому данное умозаключение [здесь] правильно. Истинна и вторая посылка: "Знаки не являются сходно всем находящимся в одинаковом состоянии". Ведь краснота [лица] у больных лихорадкой, напряженное состояние, влажность кожи, повышенная температура, учащенный пульс и прочие знаки для находящихся в одинаковом состоянии в смысле чувственных восприятий и прочей конституции являются знаками не одного и того же и, таким образом, не являются для всех одинаково. Но Герофилу, например, они кажутся просто знаками хорошей крови, Эрасистрату знаками перехода крови из вен в артерии, а Асклепиаду - знаком образования мозговых бугров в мозговых впадинах [51]. Поэтому и вторая посылка Энесидема правильна. Правильна, очевидно, и третья посылка: "Явления сходно являются всем находящимся в одинаковом состоянии". Действительно, белый цвет при случае представляется неодинаково имеющему затекшие кровью глаза и человеку, находящемуся в нормальном состоянии (ведь они находятся в разном состоянии, по каковой причине одному этот цвет кажется желтым, другому - красноватым, а третьему - белым), людям же, находящимся в одном и том же состоянии, т.е. здоровым, он является только белым. Поэтому верности посылок соответствует и [окончательное] заключение: "Следовательно, знак не есть явление".
      Итак, сама собою доказывается истинность данного рассуждения. А то, что оно является также и бездоказательным, и силлогистичным, - это станет ясным из его анализа. Именно, возвращаясь к сказанному немного выше, мы сейчас же заметим, что бездоказательными являются два рода [рассуждений]: одни недоказуемые, другие - не нуждающиеся в доказательстве, поскольку факт вывода в них ясен сам по себе. Мы неоднократно доказывали, что этого названия во втором смысле удостаиваются те силлогизмы, которые установлены у Хрисиппа в начале "Введения в силлогизмы" [52].
      192
      Теперь, поскольку мы с этим согласились, необходимо еще знать, что первый бездоказательный модус состоит из умозаключения и предыдущего, вывод же он имеет в виде последующего в умозаключении. Другими словами, когда рассуждение содержит две посылки, из которых одна есть умозаключение, а другая - предыдущее в умозаключении, а, с другой стороны, это рассуждение содержит в качестве вывода последующее в том самом умозаключении, то такое рассуждение называется "первым бездоказательным", как, например, такое: "Если сейчас день, то есть свет; но сейчас день; стало быть, свет есть". Это рассуждение имеет одной посылкой умозаключение "Если сейчас день, то свет есть", второй - предыдущее в умозаключении "но сейчас день" и третьей вывод, последующее умозаключение "Следовательно, свет есть".
      Второе бездоказательное суждение состоит из умозаключения и из противоположного последующему в этом умозаключении и имеет в качестве вывода противоположное предыдущему. Другими словами, когда рассуждение, также состоящее из двух посылок, из которых одна является умозаключением, а другая состоит из противоположного последующему в умозаключении, а с другой стороны, оно имеет в качестве вывода противоположное предыдущему, тогда такое рассуждение становится вторым бездоказательным, как, например, рассуждение: "Если сейчас день, свет есть. Света нет; следовательно, сейчас нет дня". Ведь суждение "Если сейчас день, то свет есть", будучи одной из двух посылок данного рассуждения, является умозаключением. Суждение же "Света нет", будучи второй посылкой этого рассуждения, противоположно последующему в умозаключении. Наконец, вывод "Следовательно, дня нет" противоположен предыдущему.
      Третье бездоказательное суждение, состоящее из отрицательного соединения и из одного суждения, находящегося в соединении, имеет заключение, противоположное второму члену соединения. Например, "Не [бывает так, что] и день есть, и ночь есть". "День есть, стало быть, нет ночи". Именно, суждение "Не [бывает так, что] и день есть, и ночь есть" есть отрицательное для сложного суждения "И день есть, и ночь есть". Суждение же "День есть" одно из находящихся в соединении. А суждение "Следовательно, нет ночи" противоположно второму члену из находящихся в соединении.
      193
      Рассуждения примерно таковы, а тропы их и, так сказать, схемы, по которым строятся эти рассуждения, следующие. Схема первого бездоказательного рассуждения: если есть первое, то есть и второе; первое есть, стало быть, есть второе. Схема второго: если есть первое, есть и второе; второго нет, стало быть, нет первого. Схема третьего: не бывает первого и второго; первое есть, стало быть, второго нет.
      Кроме этого нужно знать, что из бездоказательных суждений одни простые, другие непростые. Простые - те, которые сами по себе обладают ясным фактом заключающегося в них вывода, т.е. тем, в чем заключение [ясно] сходится с их посылками. Таковы суждения, предложенные выше. Действительно, когда мы для первого суждения условимся, что истинно суждение "Если сейчас день, то свет есть" (я подразумеваю, что "Свет есть" следует за суждением "Сейчас день") и когда предположим, что истинна первая часть суждения - "Сейчас день" (а это есть большая посылка данного умозаключения), то по необходимости последует и суждение "Свет есть", которое есть вывод рассуждения. Непростые суждения те, которые сплетены из простых и к тому же нуждающиеся в анализе, чтобы узнать о заключающемся в них выводе. Из этих непростых одни состоят из однородных суждений, другие - из неоднородных. Состоящие из однородных [суждений] как бы сплетены из двух первых бездоказательных или из двух вторых бездоказательных заключений. Состоящие из неоднородных как бы составлены из первого и третьего или из второго и третьего бездоказательных [заключений] и вообще сходны с ними. Из однородных [бездоказательных суждений] состоит, например, такое заключение: "Если сейчас день, свет есть. Но сейчас день. Стало быть, свет есть". Действительно, оно сплетено из двух первых бездоказательных суждений, как мы узнаем в результате его анализа.
      194
      Надо знать, что диалектическая теорема, прилагаемая к анализу силлогизмов, такова: "Когда мы имеем соединенные посылки какого-либо заключения, мы потенциально имеем в них и это заключение, хотя оно открыто и не высказывается". Поэтому, когда мы имеем две посылки, т.е. [одну] в виде умозаключения "Если сейчас день, то свет есть", которое начинается с простого утверждения "Сейчас день", а приходит к непростому умозаключению "Если сейчас день, то свет есть", и далее [в качестве второй] предыдущее в нем: "Сейчас день", то у нас из первого бездоказательного получится вывод в виде последующего такого: "Стало быть, если сейчас день, то свет есть". Это получается у нас по смыслу в качестве вывода из нашего рассуждения. Если же мы присоединим это пропущенное с точки зрения выставленного рассуждения выражение к посылке указанного суждения "Сейчас день", то мы будем иметь суждение "Свет есть" в качестве вывода из первого бездоказательного рассуждения, которое было заключением выставленного рассуждения. Поэтому возникают два первых бездоказательных умозаключения: одно - "Если сейчас день, то свет есть", а другое - "Если сейчас день, то свет есть. Но сейчас день, следовательно, свет есть".
      Таков характер рассуждений, возникающих из сплетения однородных суждений. Остается рассуждение из неоднородных суждений, примером чего может служить рассуждение, приводимое Энесидемом по вопросу о знаке и построенное так: "Если явления сходно являются всем находящимся в одинаковом состоянии, знаки суть явления, то знаки сходно являются всем находящимся в одинаковом состоянии. Но знаки во всяком случае не являются сходно всем находящимся в одинаковом состоянии. А явления являются сходно всем находящимся в одинаковом состоянии, следовательно, знаки не суть явления". Это рассуждение состоит из второго и третьего бездоказательных, как это можно узнать из анализа. Последний станет гораздо яснее, когда мы укажем способ рассуждения, имеющий такой вид: "Если есть первое и второе, то есть третье; третьего нет, но есть первое; следовательно, второго нет". Именно, поскольку мы имеем умозаключение, в котором предыдущим является соединенные первое и второе, а последующим служит третье, а также имеем противоположное последующему, "не третье", то у нас будет выведено из второго бездоказательного противоположное предыдущему: "Стало быть, нет ни первого, ни второго". Но это самое находится в данном рассуждении по смыслу, поскольку мы имеем его посылки соединенными для вывода, а в произношении
      195
      оно пропускается. Приведя это в порядок при помощи второй посылки, мы получим заключение "Стало быть, нет второго" в качестве вывода из третьего бездоказательного. Поэтому имеется налицо два бездоказательных суждения: одно - "Если есть первое и второе, то есть третье; третьего нет; следовательно, нет первого и второго" (это второе бездоказательное), другое же (третье бездоказательное) такое - "Не [может быть одновременно] ни первого, ни второго. Но первое есть; следовательно, второго нет".
      Таков анализ в отношении данного тропа. Аналогичен он и при рассуждении. Именно пропускается третье суждение: "Явления не являются сходно всем находящимся в одинаковом состоянии, а знаки суть явления", что вместе с суждением "Явления являются сходно всем находящимся в одинаковом состоянии" доказывает [вывод] выраженного [довода] "Стало быть, знаки не суть явления" при помощи третьего бездоказательного. Поэтому вторым бездоказательным становится суждение: "Если явления сходно являются всем находящимся в одинаковом состоянии и знаки суть явления, то знаки сходно являются всем находящимся в одинаковом состоянии; но знаки не сходно являются всем находящимся в одинаковом состоянии, стало быть, знаки не явления".
      Третье бездоказательное суждение таково: "Неверно, что явления сходно являются всем находящимся в одинаковом состоянии и знаки суть явления. Но явления сходно являются всем находящимся в одинаковом состоянии, следовательно, знаки не суть явления".
      В смысле того же самого вывода может быть выставлено и какое-нибудь такое суждение: "Если явления одинаково являются всем и явления суть знаки неочевидного, то [неочевидное] является всем одинаково. Но неочевидные предметы не являются всем одинаково, хотя явления и являются всем одинаково. Следовательно, явления не суть знаки неочевидного".
      Анализ этого рассуждения, ясно, таков же, по которому второе бездоказательное рассуждение присоединяется к третьему, а доказательность посылок очевидна. Что явления одинаково являются тем, кто обладает беспрепятственными чувственными восприятиями, очевидно. Ведь не по-разному является разным людям белое и черное; не различно чувствуют люди сладкое,
      196
      но на всех эти явления производят одинаковое действие. Если же они являются всем одинаково и имеют силу указывать неявные предметы, то необходимо, чтобы и неявные предметы одинаково были предметами для всех, так, как будто бы их причины были бы теми же самыми и как будто бы одинаковое вещество служило их основанием. Но во всяком случае этого нет. Ведь не все одинаково познают неявные предметы, хотя они одинаково сталкиваются с чувственными предметами, потому что одни не приходят к их познанию, другие же хотя и приходят, но впадают в пестроту и в многообразные противоречивые отрицания. Стало быть, отсюда вывод, что не следует называть знаки чувственными, чтобы из этого не получилось для нас бессмыслицы.
      Заключив в краткое изложение все вышесказанное, можно будет предположить примерно такое рассуждение. Если явления явны всем, а знаки не явны всем, то знаки не явления. Однако первое истинно, следовательно, верно и второе. И в свою очередь если явления, поскольку они явны, не нуждаются в том, чтобы им обучались, а знаки, поскольку они знаки, требуют научения, то знаки не явления. Однако первое верно; следовательно, верно и второе.
      Вот какие затруднения выставлены у нас против тех, кто утверждает, что знак есть нечто чувственное. Рассмотрим теперь противоположное этому положение - я говорю о тех, кто предполагает его мысленным.
      Одинаковым образом нужно в кратких чертах сказать об их положении, согласно которому они желают считать знак постулатом и вследствие этого мысленным.
      Итак, они [53] в своих описаниях говорят, что знак есть посылка, которая является управляющей в правильном умозаключении, открывая тем самым следствие. Они говорят, что есть и много других определений правильного умозаключения, но из всех реально одно, притом небесспорное, а именно то, которое будет предложено. Ведь всякое умозаключение или начинается с истинного и кончается истинным, или начинается с ложного и кончается ложным, или начинается с истинного и кончается ложным, или начинается с ложного и кончается истинным.
      197
      Начинаясь с истинного, кончается истинным следующее умозаключение: "Если боги существуют, то мир управляется промыслом божьим"; начинаясь с ложного, кончается ложным: "Если земля летает, то земля имеет крылья"; начинаясь с ложного, кончается истинным: "Если земля летает, то она существует"; начинаясь с истинного, кончается ложным: "Если такой-то движется, то он гуляет", когда он не гуляет, а только движется.
      При наличии четырех структур умозаключения, когда последнее начинается с истинного и кончается истинным, или когда начинается с ложного и кончается ложным, или когда начинается с ложного и кончается истинным, или, наоборот, начинается с истинного и кончается ложным, они говорят, что умозаключение, составленное первыми тремя способами, истинно (когда, начинаясь с истинного, кончается истинным - оно истинно; когда начинается с ложного и кончается ложным - опять истинно; точно так же, когда начинается с ложного и кончается истинным) и становится ложным только по одному способу, когда, начинаясь с истинного, кончается ложным. При таком положении дела надо искать, говорят они, знак не в этом порочном умозаключении, а в безукоризненном, ибо знаком называется большая посылка в правильном умозаключении. Но так как правильное умозаключение не одно, но их три, а именно: от истинного к истинному, от ложного к ложному и от ложного к истинному, то следует рассмотреть, во всех ли правильных умозаключениях следует искать знак, или в некоторых, или в одном каком-либо из них.
      Следовательно, если знак должен быть истинным и указывать на истинное, он не будет находиться ни в умозаключении от ложного к ложному, ни от ложного к истинному. Остается, следовательно, ему находиться в умозаключении от истинного к истинному, так, как будто бы существовал в наличности он один и обозначенный им предмет. Поэтому когда говорят, что знак является утверждением в качестве предпосылки в правильном умозаключении, то это надо будет понимать так, что он есть предпосылка только в умозаключении от истинного к истинному.
      198
      Однако не все, что является предпосылкой в правильном умозаключении от истинного к истинному, есть знак. Например, умозаключение "Если сейчас день, то свет есть" начинается с истинного суждения "Сейчас день" и кончается истинным суждением "Свет есть", но оно не имеет в себе основной предпосылки в виде знака для заключения. Именно, суждение "Сейчас день" не раскрывает суждения "Свет есть", но дано само по себе, так же как и суждение "Свет есть" было воспринято только по своему собственному содержанию. Следовательно, знак не только должен быть исходным в правильном умозаключении, т.е. в умозаключении от истинного к истинному, но и иметь свойство раскрывать заключение, как, например, в следующих умозаключениях: "Если такая-то имеет в груди молоко, она забеременела" и "Если такой-то выплюнул сгусток крови, он имеет язву в легком". Ведь это умозаключение правильно, начинаясь с истинного суждения "Такой-то выплюнул сгусток крови" и кончаясь истинным суждением "Такой-то имеет язву в легком", причем второе раскрывается первым, ибо, прибавляя первое ко второму, мы воспринимаем второе.
      Еще они говорят, что знак должен быть наличным знаком наличного. Именно, некоторые, заблуждаясь, желают, чтобы наличное [явление] было знаком минувшего [явления], как, например, при суждении: "Если такой-то имеет шрам, то такой-то имел рану". В самом деле, "имеет шрам" есть наличность, потому что его можно видеть, а "имел рану" - минувшее, потому что раны уже нет. [Они желают также, чтобы] наличное [явление было знаком] будущего, как, например, минувшее в следующем умозаключении: "Если такой-то был ранен в сердце, он умирает". Они говорят, что рана сердца уже есть налицо, а смерть придет. Утверждающие это, очевидно, не понимают, что, хотя минувшее и будущее разнятся, тем не менее знак и обозначенное им в этих суждениях суть наличные для наличного. Ведь в первом умозаключении: "Если такой-то имеет шрам, то такой-то имел рану" - рана уже была и зажила, но теперешнее суждение "Он имел рану" находится налицо, будучи произносимо о бывшем. В умозаключении же "Если такой-то был ранен в сердце, то он умрет" смерть придет, но утверждение "Он умрет" производится в настоящем, будучи произносимым о будущем, вследствие чего и теперь оно истинно.
      199
      Вот почему знак есть предпосылка, являющаяся основной в правильном умозаключении от истинного к истинному, и он раскрывает заключение и постоянно оказывается наличным знаком для наличного.
      Доказавши это сообразно их собственному наукоучению, прежде всего нужно высказать против них следующее: если, по мнению одних, знак есть нечто чувственное, а по мнению других, нечто мысленное и разногласие в этом пункте до сих пор неразрешимо, то следует сказать, что знак еще не ясен. А будучи неясным, он нуждается в средствах раскрытия его и не должен сам служить для раскрытия других предметов. И действительно, если знак, по их мнению, имеет сущность в словесном обозначении (###), а есть ли словесные обозначения еще вопрос, то бессмысленно принимать за прочное вид, прежде чем не пришли к соглашению насчет рода. Мы видим, что некоторые упразднили реальность словесных обозначений, и не только инакомыслящие, как, например, эпикурейцы, но и стоики, как, например, последователи Василида [54], которые решили, что "не существует ничего бестелесного". Поэтому надо воздержаться [от суждения] о знаке. Но, доказавши сначала, говорят они, существование словесных обозначений, мы упрочим и реальность природы знаков. Следовательно, когда вы это докажете, скажет кто-нибудь, тогда и признавайте реальность знаков за достоверное; а до тех пор вы остаетесь при голом обещании, поэтому нам нужно пребывать в воздержании [от суждения об этом].
      Затем, как можно доказать реальность словесных обозначений? Этого можно достичь или посредством знака, или посредством доказательства. Но этого нельзя сделать ни через знак, ни через доказательство. Ведь и то и другое, будучи словесным обозначением, находится под вопросом, подобно другим словесным обозначениям. И то и другое настолько далеко от возможности установить что-либо прочно, что, наоборот, само нуждается в том, что их устанавливало бы. Сами стоики незаметно для себя впали в троп взаимодоказуемости: для того чтобы признать речения, нужны доказательство и знак, а для того чтобы заранее существовали доказательство и знак, необходимо удостовериться прежде в природе словесных обозначений. То, что подтверждает себя взаимно и ожидает удостоверения одно от другого, одинаково недостоверно.
      200
      Но пусть будет так, и пусть будет без надобности допущено, что словесные обозначения реально существуют, хотя спор о них не окончен. Следовательно, если словесные обозначения существуют, то, скажут стоики, они или телесны, или бестелесны. Телесными они их не назовут. Если же они бестелесны, то они, по их мнению, или создают что-нибудь, или ничего не создают. Но они не могут утверждать, что те что-нибудь создают. Ведь бестелесное, по их мнению, не может ни создавать что-либо, ни страдать от чего-нибудь. А то, что ничего не создает, не может показать и обнаружить то, знаком чего оно является. Ведь показывать что-либо и обнаруживать - значит что-нибудь создавать. Однако во всяком случае нелепо, чтобы знак ничего не показывал и не выяснял; стало быть знак не есть ни [что-нибудь] мысленное, ни [какое-нибудь] утверждение. С другой стороны, как мы часто показывали во многих случаях, одно обозначает, другое обозначается. Обозначают звуки, обозначаются словесные выражения, в числе коих находятся и утверждения. Но если утверждения обозначаются, но не обозначают, то знак не может быть утвержденным.
      Опять-таки допустим, что словесные обозначения имеют бестелесную природу. Однако, поскольку знак есть, как они говорят, большая посылка в правильном умозаключении, необходимо сначала определить и исследовать правильное умозаключение, таково ли оно, как полагает Филон, или таково, как Диодор, определяется ли оно по своей связанности или как-нибудь иначе. Так как относительно этого тоже много разногласий, то нельзя принять прочно знак, потому что разномыслие остается нерешенным.
      Еще, кроме сказанного, если даже мы допустим, что достигнуто соглашение относительно верного критерия и что он бесспорно такой, какого бы они только ни захотели, необходимо тем не менее признать, что предпосылка знака все же остается неопределенной. Ведь они желают, чтобы обозначаемое было заранее явным или неявным. Если оно явно, оно не будет обозначаемым и ничем не обозначится, но обнаружится само собою. Если же оно неявно, то должно быть совершенно непознаваемым, истинно ли оно или ложно, так как, если будет известно, чем из этого оно является, оно окажется заранее явным. Поэтому умозаключение, охватывающее знак и обозначаемое, поскольку оно оканчивается неяв
      201
      ным, по необходимости остается неопределенным. Понятно, что оно начинается с истинного, однако оно оканчивается неизвестным. Раньше всего для его определения нам нужно знать, чем оно оканчивается, чтобы, если оно оканчивается истинным, мы сочли его истинным, вследствие того что оно начинается с истинного и кончается истинным; а если оканчивается ложным, мы, наоборот, назовем его ложным, потому что оно начинается с истинного и кончается ложным. Итак, необходимо сказать, что знак не есть утверждение и не есть большая посылка в правильном умозаключении.
      К этому надо присовокупить, что представители этого мнения спорят с очевидностью. Ведь если знак есть утверждение и является большой посылкой в правильном умозаключении, то как совершенно не имеющие понятия об утверждении, так и не искушенные в диалектических тонкостях не должны пользоваться никаким обозначением. Но это во всяком случае не так. Ведь часто и неграмотные кормчие и земледельцы, несведущие в диалектических теоремах, нередко широко пользуются теми и другими знаками. Одни относительно моря, ветров и безветрия, бури, штиля; другие - относительно земледелия, а именно урожая и неурожая, засухи и ливней. Однако что же мы говорим о людях, когда некоторые из [стоиков] приписывают даже бессловесным животным знание знаков? [55] Ведь и собака, когда выслеживает зверя по следу, пользуется знаками. Но для этого она не пользуется суждением "Если это след, то зверь здесь". И конь от прикосновения слепня или удара бича прыгает и обращается в бегство, но не пользуется диалектически таким умозаключением: "Если протянут бич, то мне надо бежать". Следовательно, знак не есть утверждение, данное в качестве большей посылки в правильном умозаключении.
      Пусть это будет сказано в более частном смысле против тех, кто считает знак мысленным. Но можно возразить им в более общем смысле, повторив сказанное против утверждающих, что знак есть чувственное. Именно, если знак есть суждение, данное как большая посылка в правильном умозаключении, и если во всяком умозаключении последующее согласуется с предыдущим и согласование относится к наличным вещам, то по необходимости знак и обозначаемое будут существовать совместно в одно и то же мгновение и ни одно из них не будет показателем другого, но оба они станут неизвестны на основании их самих.
      202
      Далее, знак раскрывает обозначаемое, а обозначаемое раскрывается соответственно знаку. Это принадлежит не абсолютным, а относительным [предметам]. Ведь раскрываемое мыслится в своем отношении к раскрывающему, и раскрывающее мыслится в отношении к раскрываемому. Если же то и другое, будучи относительным, существует одновременно, то оба они существуют совместно. Если же они существуют совместно, то каждое воспринимаемое само по себе и ни одно из них [не воспринимаемо] из другого.
      Следует сказать и то, что, каков бы ни был знак, он или [сам] имеет свойство для обнаруживания и выявления неявного, или [только] мы помним о раскрытых им предметах. Но он не имеет свойства показывать неявное, поскольку неявное должно было бы тогда открываться одинаково всем. Стало быть, в меру обладания памятью мы [сами] заключаем относительно сущности вещей.
      Но если знак не есть ни чувственное, как мы доказали, ни мысленное, как мы установили, а кроме этого нет ничего третьего, то надо сказать, что знак [вообще] не существует. Догматики умолкают перед каждым из этих умозаключений, но, выступая против этого [в целом], они заявляют [56], что "человек отличается от бессловесных животных не членораздельной речью (ибо ворона, попугаи и сороки произносят членораздельные звуки), но внутренней и не простым только представлением (поскольку и животные имеют представления), но переменным и сложным".
      Вследствие этого, имея мысль о последовательности, человек тотчас улавливает и понятие о знаке (ввиду свойственной ему последовательности), потому что самый знак состоит в следующем: "Если это, то это". Следовательно, и существование знака соответствует природе и устроению человека.
      Соглашаются также, что доказательство по своему роду есть знак. Ведь оно выявляет заключение, и объединение его посредством посылок является знаком существования заключения. Например, при таком соединении суждений: "Если существует движение, то существует пустота. Движение существует. Следовательно, существует пустота", получается нижеследующее умозаключение, соединяемое из посылок: "Есть движение, а если есть движение, есть пустота", которое тут же является знаком заключения: "Пустота существует".
      203
      Итак, говорят они, или доказательны речи апоретиков против знака, или недоказательны. Если они недоказательны, они недостоверны, поскольку уже и доказательные едва ли достоверны. Если же они доказательны, ясно, что существует какой-то знак, потому что доказательство есть знак по роду. Если же ничто не бывает знаком чего-нибудь, то или что-либо значат произносимые против знака слова, или ничего не значат. И если они ничего не значат, то они и не устранят реальности знака. Ведь разве можно, чтобы ничего не значащие слова удостоверяли нереальность знака? Если же они что-либо значат, то напрасно стараются скептики, на словах изгоняя знак, а на деле его принимая. Да ведь и наука, если не имеет никакой свойственной ей теоремы, ничем не будет отличаться от невежества. Если же есть свойственная ей теорема, то последняя или явна, или неочевидна. Но явной она не может быть, потому что явления являются всем одинаково без научения. Если же она неочевидна, она будет рассмотрена посредством знака. Если же есть нечто рассматриваемое посредством знака, то должен существовать и знак.
      Некоторые же составляют такое рассуждение: "Если есть какой-то знак, то знак существует. Если не есть знак, то существует знак. Однако или нет никакого знака, или он есть. Следовательно, он существует". Таково рассуждение. Первая посылка его, как они говорят, правильна, потому что она есть удвоение [первоначального понятия]: за суждением "Есть знак" следует суждение "Знак существует" и, поскольку есть первое, будет и второе, ничем не отличающееся от первого. Правильна и вторая лемма: "Если не есть знак, существует знак". Ведь говорящий, что нет знака, говорит тем самым, что существует какой-то знак, потому что если нет никакого знака, то некоторый знак должен быть признаком этого несуществования знака. И в самом деле. Утверждающий, что нет никакого знака, утверждает это при помощи простого высказывания или при помощи доказательства. Утверждающий это при помощи высказывания получит [в ответ], говорят они, противоположное заявление. Тот же, кто пользуется доказа
      204
      тельством истинности своего высказывания через рассуждение, доказывающее, что нет никакого знака, обозначит, что нет никакого знака, и делая это, признает [тем самым], что какой-то знак существует. Поэтому обе первые посылки, говорят они, правильны. Правильна и третья. Ведь это есть разделительное суждение, составленное из противоположных суждений ("признак есть" и "признака нет"). Но поскольку всякое такое разделительное [суждение] истинно тогда, когда одно из его суждений истинно, а одно из противоположений рассматривается как истинное, то следует сказать, что эта составная посылка по справедливости истинна. Поэтому из признанных за истинные посылки получится и заключение: "Следовательно, существует".
      Можно, говорят они, идти еще и таким путем. В данном рассуждении два умозаключения и одно разделительное суждение. Из них оба умозаключения заверяют, что за предшествующей посылкой в них идет последующая, а разделительное суждение имеет одну из своих частей истинную, потому что если обе части будут истинны или обе ложны, то и целое будет ложно. При таком значении посылок, предположивши, что одна из частей разделительного суждения истинна, мы увидим, как получается вывод. И прежде всего предположим истинным суждение "Некий признак существует". Тогда, поскольку это суждение оказывается предшествующим в первом умозаключении, из него будет вытекать последующее в этом умозаключении. Последующим же является "Знак существует", что тождественно с выводом. Значит, вывод получается, если предположить, что в разделительном суждении истинно то, что знак существует. Предположим, наоборот, что истинно другое суждение: "Знака нет". Тогда поскольку это суждение является предшествующим в нашем втором умозаключении, то из него будет вытекать последующее в этом умозаключении. А следует за ним суждение "Некоторый знак существует", которое и является выводом. Следовательно, вывод получается и по такому способу.
      Так [разглагольствуют] догматики. Сейчас же необходимо по порядку возразить против первого довода, по которому на основании устройства человека выводится существование знака, поскольку они желают узнать менее трудное из того, что еще более трудно.