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