Итак, сама собою доказывается истинность данного рассуждения. А то, что оно является также и бездоказательным, и силлогистичным, - это станет ясным из его анализа. Именно, возвращаясь к сказанному немного выше, мы сейчас же заметим, что бездоказательными являются два рода [рассуждений]: одни недоказуемые, другие - не нуждающиеся в доказательстве, поскольку факт вывода в них ясен сам по себе. Мы неоднократно доказывали, что этого названия во втором смысле удостаиваются те силлогизмы, которые установлены у Хрисиппа в начале "Введения в силлогизмы" [52].
192
Теперь, поскольку мы с этим согласились, необходимо еще знать, что первый бездоказательный модус состоит из умозаключения и предыдущего, вывод же он имеет в виде последующего в умозаключении. Другими словами, когда рассуждение содержит две посылки, из которых одна есть умозаключение, а другая - предыдущее в умозаключении, а, с другой стороны, это рассуждение содержит в качестве вывода последующее в том самом умозаключении, то такое рассуждение называется "первым бездоказательным", как, например, такое: "Если сейчас день, то есть свет; но сейчас день; стало быть, свет есть". Это рассуждение имеет одной посылкой умозаключение "Если сейчас день, то свет есть", второй - предыдущее в умозаключении "но сейчас день" и третьей вывод, последующее умозаключение "Следовательно, свет есть".
Второе бездоказательное суждение состоит из умозаключения и из противоположного последующему в этом умозаключении и имеет в качестве вывода противоположное предыдущему. Другими словами, когда рассуждение, также состоящее из двух посылок, из которых одна является умозаключением, а другая состоит из противоположного последующему в умозаключении, а с другой стороны, оно имеет в качестве вывода противоположное предыдущему, тогда такое рассуждение становится вторым бездоказательным, как, например, рассуждение: "Если сейчас день, свет есть. Света нет; следовательно, сейчас нет дня". Ведь суждение "Если сейчас день, то свет есть", будучи одной из двух посылок данного рассуждения, является умозаключением. Суждение же "Света нет", будучи второй посылкой этого рассуждения, противоположно последующему в умозаключении. Наконец, вывод "Следовательно, дня нет" противоположен предыдущему.
Третье бездоказательное суждение, состоящее из отрицательного соединения и из одного суждения, находящегося в соединении, имеет заключение, противоположное второму члену соединения. Например, "Не [бывает так, что] и день есть, и ночь есть". "День есть, стало быть, нет ночи". Именно, суждение "Не [бывает так, что] и день есть, и ночь есть" есть отрицательное для сложного суждения "И день есть, и ночь есть". Суждение же "День есть" одно из находящихся в соединении. А суждение "Следовательно, нет ночи" противоположно второму члену из находящихся в соединении.
