Кроме этого нужно знать, что из бездоказательных суждений одни простые, другие непростые. Простые - те, которые сами по себе обладают ясным фактом заключающегося в них вывода, т.е. тем, в чем заключение [ясно] сходится с их посылками. Таковы суждения, предложенные выше. Действительно, когда мы для первого суждения условимся, что истинно суждение "Если сейчас день, то свет есть" (я подразумеваю, что "Свет есть" следует за суждением "Сейчас день") и когда предположим, что истинна первая часть суждения - "Сейчас день" (а это есть большая посылка данного умозаключения), то по необходимости последует и суждение "Свет есть", которое есть вывод рассуждения. Непростые суждения те, которые сплетены из простых и к тому же нуждающиеся в анализе, чтобы узнать о заключающемся в них выводе. Из этих непростых одни состоят из однородных суждений, другие - из неоднородных. Состоящие из однородных [суждений] как бы сплетены из двух первых бездоказательных или из двух вторых бездоказательных заключений. Состоящие из неоднородных как бы составлены из первого и третьего или из второго и третьего бездоказательных [заключений] и вообще сходны с ними. Из однородных [бездоказательных суждений] состоит, например, такое заключение: "Если сейчас день, свет есть. Но сейчас день. Стало быть, свет есть". Действительно, оно сплетено из двух первых бездоказательных суждений, как мы узнаем в результате его анализа.
194
Надо знать, что диалектическая теорема, прилагаемая к анализу силлогизмов, такова: "Когда мы имеем соединенные посылки какого-либо заключения, мы потенциально имеем в них и это заключение, хотя оно открыто и не высказывается". Поэтому, когда мы имеем две посылки, т.е. [одну] в виде умозаключения "Если сейчас день, то свет есть", которое начинается с простого утверждения "Сейчас день", а приходит к непростому умозаключению "Если сейчас день, то свет есть", и далее [в качестве второй] предыдущее в нем: "Сейчас день", то у нас из первого бездоказательного получится вывод в виде последующего такого: "Стало быть, если сейчас день, то свет есть". Это получается у нас по смыслу в качестве вывода из нашего рассуждения. Если же мы присоединим это пропущенное с точки зрения выставленного рассуждения выражение к посылке указанного суждения "Сейчас день", то мы будем иметь суждение "Свет есть" в качестве вывода из первого бездоказательного рассуждения, которое было заключением выставленного рассуждения. Поэтому возникают два первых бездоказательных умозаключения: одно - "Если сейчас день, то свет есть", а другое - "Если сейчас день, то свет есть. Но сейчас день, следовательно, свет есть".
Таков характер рассуждений, возникающих из сплетения однородных суждений. Остается рассуждение из неоднородных суждений, примером чего может служить рассуждение, приводимое Энесидемом по вопросу о знаке и построенное так: "Если явления сходно являются всем находящимся в одинаковом состоянии, знаки суть явления, то знаки сходно являются всем находящимся в одинаковом состоянии. Но знаки во всяком случае не являются сходно всем находящимся в одинаковом состоянии. А явления являются сходно всем находящимся в одинаковом состоянии, следовательно, знаки не суть явления". Это рассуждение состоит из второго и третьего бездоказательных, как это можно узнать из анализа. Последний станет гораздо яснее, когда мы укажем способ рассуждения, имеющий такой вид: "Если есть первое и второе, то есть третье; третьего нет, но есть первое; следовательно, второго нет". Именно, поскольку мы имеем умозаключение, в котором предыдущим является соединенные первое и второе, а последующим служит третье, а также имеем противоположное последующему, "не третье", то у нас будет выведено из второго бездоказательного противоположное предыдущему: "Стало быть, нет ни первого, ни второго". Но это самое находится в данном рассуждении по смыслу, поскольку мы имеем его посылки соединенными для вывода, а в произношении
195
оно пропускается. Приведя это в порядок при помощи второй посылки, мы получим заключение "Стало быть, нет второго" в качестве вывода из третьего бездоказательного. Поэтому имеется налицо два бездоказательных суждения: одно - "Если есть первое и второе, то есть третье; третьего нет; следовательно, нет первого и второго" (это второе бездоказательное), другое же (третье бездоказательное) такое - "Не [может быть одновременно] ни первого, ни второго. Но первое есть; следовательно, второго нет".
Таков анализ в отношении данного тропа. Аналогичен он и при рассуждении. Именно пропускается третье суждение: "Явления не являются сходно всем находящимся в одинаковом состоянии, а знаки суть явления", что вместе с суждением "Явления являются сходно всем находящимся в одинаковом состоянии" доказывает [вывод] выраженного [довода] "Стало быть, знаки не суть явления" при помощи третьего бездоказательного. Поэтому вторым бездоказательным становится суждение: "Если явления сходно являются всем находящимся в одинаковом состоянии и знаки суть явления, то знаки сходно являются всем находящимся в одинаковом состоянии; но знаки не сходно являются всем находящимся в одинаковом состоянии, стало быть, знаки не явления".
Третье бездоказательное суждение таково: "Неверно, что явления сходно являются всем находящимся в одинаковом состоянии и знаки суть явления. Но явления сходно являются всем находящимся в одинаковом состоянии, следовательно, знаки не суть явления".
В смысле того же самого вывода может быть выставлено и какое-нибудь такое суждение: "Если явления одинаково являются всем и явления суть знаки неочевидного, то [неочевидное] является всем одинаково. Но неочевидные предметы не являются всем одинаково, хотя явления и являются всем одинаково. Следовательно, явления не суть знаки неочевидного".
Анализ этого рассуждения, ясно, таков же, по которому второе бездоказательное рассуждение присоединяется к третьему, а доказательность посылок очевидна. Что явления одинаково являются тем, кто обладает беспрепятственными чувственными восприятиями, очевидно. Ведь не по-разному является разным людям белое и черное; не различно чувствуют люди сладкое,
196
но на всех эти явления производят одинаковое действие. Если же они являются всем одинаково и имеют силу указывать неявные предметы, то необходимо, чтобы и неявные предметы одинаково были предметами для всех, так, как будто бы их причины были бы теми же самыми и как будто бы одинаковое вещество служило их основанием. Но во всяком случае этого нет. Ведь не все одинаково познают неявные предметы, хотя они одинаково сталкиваются с чувственными предметами, потому что одни не приходят к их познанию, другие же хотя и приходят, но впадают в пестроту и в многообразные противоречивые отрицания. Стало быть, отсюда вывод, что не следует называть знаки чувственными, чтобы из этого не получилось для нас бессмыслицы.
Заключив в краткое изложение все вышесказанное, можно будет предположить примерно такое рассуждение. Если явления явны всем, а знаки не явны всем, то знаки не явления. Однако первое истинно, следовательно, верно и второе. И в свою очередь если явления, поскольку они явны, не нуждаются в том, чтобы им обучались, а знаки, поскольку они знаки, требуют научения, то знаки не явления. Однако первое верно; следовательно, верно и второе.
Вот какие затруднения выставлены у нас против тех, кто утверждает, что знак есть нечто чувственное. Рассмотрим теперь противоположное этому положение - я говорю о тех, кто предполагает его мысленным.
Одинаковым образом нужно в кратких чертах сказать об их положении, согласно которому они желают считать знак постулатом и вследствие этого мысленным.
Итак, они [53] в своих описаниях говорят, что знак есть посылка, которая является управляющей в правильном умозаключении, открывая тем самым следствие. Они говорят, что есть и много других определений правильного умозаключения, но из всех реально одно, притом небесспорное, а именно то, которое будет предложено. Ведь всякое умозаключение или начинается с истинного и кончается истинным, или начинается с ложного и кончается ложным, или начинается с истинного и кончается ложным, или начинается с ложного и кончается истинным.