Секст Эмпирик - Сочинения в двух томах (Том 1)

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

171

рыми, потому что они стоят после союза "если только". Таков, говоря вкратце, состав умозаключения. В этом утверждении устанавливается, по-видимому, что вторая часть его следует за первою в нем и если есть управляющее, то есть и последующее. Отсюда при соблюдении этого установленного [порядка] и при следовании конечного за управляющим истинным становится также имплицитное [утверждение]. При несоблюдении этого требования оно ложно. Поэтому, начавши теперь же с умозаключения, мы рассмотрим, существует ли имплицитная истина и при соблюдении вышеназванного установления.

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

172

прекращении моей беседы кончиться ложным "Я беседую". Таким образом, оказывается возможным, что, начинаясь с истинного, оно окончится ложным "Я беседую". Ведь действительно, прежде чем я начал беседовать, оно начиналось с истинного "Сейчас день" и оканчивалось ложным "Я беседую". В свою очередь такое умозаключение: "Если сейчас ночь, то я беседую" - при наличии дня и при факте моего молчания, по Филону, одинаково истинно, поскольку оно, начинаясь с ложного, и оканчивается ложным, а по Диодору, оно ложно, потому что оно, начинаясь с истинного, может окончиться ложным с наступлением ночи, но при моем молчании, а не беседе. Однако, очевидно, и умозаключение: "Если сейчас ночь, то сейчас день" - при наличии дня, по Филону, истинно, потому что, начинаясь с ложного "Сейчас ночь", оно оканчивается истинным "Сейчас день", а по Диодору, оно ложно, потому что с наступлением ночи, начинаясь с истинного "Сейчас ночь", оно может окончиться ложным "Сейчас день".

Как видно из примеров, при существовании такого противоречия в критериях имплицитного утверждения становится затруднительным распознание верной импликации. Для этой цели надо прежде всего решить разногласия диалектиков о верности импликации. Поскольку оно неразрешимо, и здесь придется воздержаться от окончательного суждения. И это справедливо. В самом деле, мы примкнем или ко всем критериям диалектиков, или к какому-нибудь одному из них. Но ко всем нельзя примкнуть, раз они взаимно оспариваются, как я показал на примере двух вышеназванных лиц. А спорные положения не могут быть одинаково достоверными. Если же мы примкнем к одному какому-либо из них, мы примкнем к нему или бездоказательно и без рассуждения, или с рассуждением, показывающим, что этот их критерий верен. И если мы согласимся на какой-либо их критерий без рассуждений и бездоказательно, то почему мы должны согласиться на один критерий больше, чем на другой? Это равносильно тому, чтобы по причине спорности их не соглашаться ни на один из них. Если же мы согласимся с рассуждением, показывающим, что принимаемый нами критерий импликации верен, то это рассуждение или не содержит никакого вывода и безрезультатно, или содержит вывод и дает результат.

173

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

От этих видов утверждений можно перейти к сложным, разделительным и прочим видам непростых утверждений. Сложное утверждение должно состоять из простых, или из непростых, или из смешанных утверждений, и все это ведет к апориям, если уже и простое утверждение привело к апории.