Сочинения в двух томах. Том 1

Второе бездоказательное суждение состоит из умозаключения и из противоположного последующему в этом умозаключении и имеет в качестве вывода противоположное предыдущему. Другими словами, когда рассуждение, также состоящее из двух посылок, из которых одна является умозаключением, а другая состоит из противоположного последующему в умозаключении, а с другой стороны, оно имеет в качестве вывода противоположное предыдущему, тогда такое рассуждение становится вторым бездоказательным, как, например, рассуждение: "Если сейчас день, свет есть. Света нет; следовательно, сейчас нет дня". Ведь суждение "Если сейчас день, то свет есть", будучи одной из двух посылок данного рассуждения, является умозаключением. Суждение же "Света нет", будучи второй посылкой этого рассуждения, противоположно последующему в умозаключении. Наконец, вывод "Следовательно, дня нет" противоположен предыдущему.

Третье бездоказательное суждение, состоящее из отрицательного соединения и из одного суждения, находящегося в соединении, имеет заключение, противоположное второму члену соединения. Например, "Не [бывает так, что] и день есть, и ночь есть". "День есть, стало быть, нет ночи". Именно, суждение "Не [бывает так, что] и день есть, и ночь есть" есть отрицательное для сложного суждения "И день есть, и ночь есть". Суждение же "День есть" одно из находящихся в соединении. А суждение "Следовательно, нет ночи" противоположно второму члену из находящихся в соединении.

193

Рассуждения примерно таковы, а тропы их и, так сказать, схемы, по которым строятся эти рассуждения, следующие. Схема первого бездоказательного рассуждения: если есть первое, то есть и второе; первое есть, стало быть, есть второе. Схема второго: если есть первое, есть и второе; второго нет, стало быть, нет первого. Схема третьего: не бывает первого и второго; первое есть, стало быть, второго нет.

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

194

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