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