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