Текст книги "Сочинения в двух томах. Том 1"
Автор книги: Секст Эмпирик
сообщить о нарушении
Текущая страница: 16 (всего у книги 28 страниц)
221
Рассуждение, однако, получающее достоверность на основании явлений, тем самым, что оно их колеблет, отвергает и само себя. Это было возражением тех, которые старались предвосхитить искомый предмет [74]. В самом деле, не рассуждение упрочивается на основании явлений, но явления укрепляются на основании рассуждения. И справедливо: ведь если есть относительно них разногласие, когда одни признают их существование, другие отрицают, то они должны устанавливаться на основании рассуждения. Свидетельствует об этом не кто иной, как инакомыслящие, не вполне признающие явления, но желающие доказать рассуждением, что явления истинны. И на основании чего еще другого можно утверждать, что явлениям надо доверять?
Следовательно, не явления устойчивее рассуждения, но рассуждение устойчивее явлений, поскольку оно удостоверяет и самого себя, и явления.
Если посылки доказательства неявны, то, очевидно, неявен и вывод, а поскольку состоящее из неявного неявно, то и доказательство неявно и требует того, что доставит ему достоверность. А это невозможно для доказательства. Однако, говорят [стоики] [75], не нужно добиваться доказательств всего, надо принимать некоторые из вещей и на основании гипотез, поскольку рассуждение не сможет у нас продвинуться, если не будет дано того, что само по себе достоверно. Но во-первых, мы скажем, что их учению и незачем куда-либо продвигаться, поскольку оно просто выдумано. Затем, в каком направлении они продвинутся? Поскольку наличные явления устанавливают только то, что они явствуют, не будучи в силах убедить нас в своем реальном существовании, мы можем допустить, что как посылки доказательства явствуют, так и вывод. По этому способу искомое не будет выведено и не будет достигнута истина, если мы останемся с простым высказыванием и собственной аффекцией. А желать представить, что явления не только явствуют, но и существуют, есть дело людей, не удовлетворяющихся для нужды необходимым, но старающихся урвать и возможное.
Поскольку вообще догматики признают, что не только доказательство преуспевает на основании гипотезы, но и почти вся философия, мы попытаемся по возможности кратко изложить наши возражения против тех, кто принимает что-либо на основании гипотезы.
222
Если то, что они принимают, по их словам, на основании гипотезы, достоверно, постольку поскольку оно принято на основании гипотезы, то окажется достоверным и противоположное этому, если оно будет принято на основании гипотезы, и таким образом, мы утвердим то, что само себе противоречит. Если же гипотеза бессильна для удостоверения этого (я имею в виду названные противоположности), то она окажется бессильной и для того, так что мы опять не установим ни того ни другого.
То, что кто-либо предполагает, или истинно и таково, как оно предполагается, или ложно. Если оно истинно, то предполагающий это несправедлив в отношении себя, так как, имея возможность не доискиваться его, но взять его самого по себе как истинное, прибегает к действию, весьма подозрительному, к гипотезе, отыскивая то, что само по себе истинно. Если же оно ложно, то пользующийся гипотезой поступает несправедливо уже не в отношении себя, но в отношении природы вещей, требуя, чтобы не сущее было признано само по себе как сущее, и принуждая принимать ложь за истину. Однако, если кто-либо считает верным все следующее за принятым на основании гипотезы, он уничтожает все философское изыскание. Именно, предположим сейчас, что три равняется четырем, и выведем как следствие, что шесть равняется восьми. Это будет истинно (что шесть равняется восьми).
Если же нам возразят, что это бессмысленно (т.е. предположенное по гипотезе должно быть верным, для того чтобы можно было допустить последующее за ним), то и от нас они услышат, что не следует стремиться принимать что-либо на основании его самого, но все полагаемое полагать точно.
Кроме того, если предполагаемое, поскольку оно предполагается, верно и безошибочно, то пусть философствующие догматически берут в качестве предположений не то, из чего они выводят неявное, но само неявное, т.е. не посылки доказательства, но вывод. Однако, хотя бы они делали и бесчисленное количество предположений, предполагаемое не станет достоверным ввиду своей неявности и возникающего относительно него вопроса. Отсюда очевидно, что, даже когда они отыскивают посылки доказательства без доказательства, они не достигают никакой достоверности вследствие того, что и посылки принадлежат к числу сомнительного.
223
Клянусь Зевсом, но возражатели обыкновенно говорят, что достоверность укрепления гипотезы заключается в том, что получающееся в качестве вывода из того, что допущено на основании гипотезы, оказывается истинным; ведь если вытекающее из нее верно, то те посылки, из которых оно вытекает, тоже истинны и неоспоримы. Но чем, позволительно спросить, можем мы доказать, что вытекающее из принятого по гипотезе истинно? На основании ли его самого или посылок, из которых оно следует? Но на основании его самого [истинность его] не будет доказана, поскольку оно само не явно. Но может быть, на основании посылок? И этого не может быть, так как об этом как раз и идет спор и сначала нужно еще это установить.
Впрочем, пусть вытекающее из принятого на основе гипотезы будет истинно; из-за этого само то, что принято на основании гипотезы, еще не станет истинным. Ведь если бы они считали, что только за истинным следует истинное, то рассуждение продвинулось бы вперед, так что из истинности вытекающего из принятого на основании гипотезы становилось бы истинным и само принятое на основании гипотезы. Но при настоящем положении дела, поскольку они говорят, что и за ложным следует ложное и за ложным истинное, то не необходимо, если последующее истинно, чтобы и предыдущее было истинным, но при истинности последующего предыдущее может быть ложным.
Итак, вот что пусть будет сказано, как говорится, с пути свернув [76] и в виде отступления о том, что не следует доказательству начинаться с гипотез.
А далее надо показать, что доказательство [и само по себе] впадает во взаимодоказуемость, что составляет еще большие трудности. Именно, мы установили, что доказательство относится к числу неявных предметов и все неявное нуждается в разрешении, а нуждающееся в разрешении требует критерия, который выявлял бы, правильно ли оно или неправильно. Как измерение не может производиться без меры и все выпрямляемое выпрямляется не без отвеса, так и оцениваемое разбирается не без критерия. Поэтому поскольку под вопросом и существование критерия (при этом одни говорят, что его нет, другие – что он есть, а третьи воздерживаются от всякого суждения), то существование критерия нуждается еще в доказательстве каким-либо доказательством. Но для того чтобы мы имели достоверное доказательство, очевидно, надо обратиться к критерию.
224
И таким образом, не имея ни достоверного доказательства ранее критерия, ни твердого критерия ранее доказательства, надо относительно обоих признать необходимым воздержание от суждения.
Вместе со сказанным можно будет поколебать доказательство, также исходя из его понятия. Правда, даже если бы его можно было помыслить, оно не существовало бы в совершенном смысле, поскольку, как я сказал [77], есть много такого, что мыслится, но что не имеет никакой реальности. Теперь же когда обнаруживается, что и само понятие доказательства невозможно, то, бесспорно, отсекается и надежда на его реальность. При существовании двух доказательств, родового и видового, родовое мы само по себе найдем немыслимым. Ведь никто из нас не знает родового доказательства, и никогда через него ничего не удавалось установить. С другой стороны, нужно спросить, имеет ли такое доказательство посылки и вывод или не имеет. И если не имеет, как оно еще может мыслиться доказательством, если понятие никакого доказательства не может составиться без посылки и вывода? Если же оно имеет и то и другое, т.е. посылки и вывод, то оно есть [уже] видовое, [а не родовое] доказательство. Ведь если все доказуемое и все доказующее относится к предметам частным, то необходимо, чтобы и доказательство было одним из видовых предметов. У нас, однако, было рассуждение как раз не о видовом, а о родовом доказательстве. Следовательно, родовое доказательство невозможно помыслить [в понятии]. Но также не мыслится и видовое.
В самом деле, у догматиков доказательством называется рассуждение, раскрывающее неясный предмет на основании вывода при посредстве некоторых явных предметов. Итак, или весь состав, т.е. то, что мыслится как состоящее из посылок и вывода, есть доказательство, или только посылки суть доказательство, а вывод есть доказуемое. Что бы, однако, из этого ни назвали доказательством, все равно понятие доказательства колеблется.
Действительно, если доказательство составляется из посылок и вывода, то необходимо, чтобы доказательство, содержащее что-нибудь неявное, сейчас же само оказывалось неявным и чтобы, ставши таким, само нуждалось в каком-нибудь доказательстве, что нелепо.
225
Поэтому составленное из посылок и вывода не может быть доказательством, раз мы не мыслим доказательство ни как неявное, ни как нуждающееся в доказательстве.
Далее, доказательство принадлежит к предметам относительным. Ведь оно ориентируется не само на себя и мыслится не как изолированное, но имеет нечто, чего именно оно является доказательством. Поэтому если в него включается вывод, а всякий относительный предмет находится вне того, в отношении чего он зовется относительным, то доказательство мыслится не относящимся ни к чему, поскольку вывод уже заключен в нем самом. Однако хотя бы мы подставили извне и другой вывод, в отношении к которому мыслилось бы наше доказательство, то окажется два вывода относительно данного места: один – заключенный в доказательстве, другой же – находящийся вне его, к которому мысль и относит доказательство. Но нелепо во всяком случае, чтобы одно доказательство имело два вывода. Следовательно, доказательство не состоит из посылок и вывода. Поэтому остается говорить, что доказательство состоит только из посылок. Но это глупо. Ведь это вообще не есть рассуждение, но предмет неполный и бессмысленный, поскольку никто из находящихся в здравом уме не говорит, что речение: "Если существует движение, то существует пустота, но движение существует" – есть рассуждение или имеет смысл. Итак, если доказательство мыслится пли не состоящим из посылок и вывода, или состоящим только из посылок, оно не мыслимо [вообще].
Далее, доказательство, когда оно [что-нибудь] доказывает, оно или, будучи явным, есть доказательство явного, или, будучи неявным, есть доказательство явного, или, будучи неявным, есть доказательство неявного, или, будучи неявным, – явного, или, будучи явным, – неявного. Но, как мы обнаружим, оно не есть ни одно из этих доказательств. Следовательно, доказательство [вообще] не есть что-либо.
226
Действительно, доказательство не может быть явным доказательством явного, потому что явное не нуждается в доказательстве, но оно понятно само из себя. Доказательство не будет также неявным доказательством неявного, поскольку оно, будучи неявным, само будет иметь нужду в подтверждающем его и не может стать подтверждающим что-либо другое. Также доказательство не может быть и неявным доказательством явного. Здесь сойдутся обе апории: доказываемое не будет нуждаться ни в каком доказательстве, будучи явно, а доказательство будет иметь нужду в устанавливающем его, будучи неявно. Поэтому [доказательство] не может стать и неявным доказательством явного. Остается говорить, что доказательство есть явное доказательство неявного. Но и это сомнительно. Ведь если доказательство не самостоятельно и не абсолютно, но относительно, а относительное, как мы показали в рассуждении о признаке [78], воспринимается совместно, воспринимаемое же совместно не раскрывается одно из другого, но ясно само на основании себя, то доказательство не будет явным доказательством неявного, потому что неявное, воспринимаемое совместно с ним, обнаруживается само через себя. И вот, если доказательство не есть ни явное доказательство явного, ни неявное неявного, ни неявное – явного, ни явное – неявного, а кроме этого нет ничего, то надо сказать, что доказательства совсем нет.
Затем, поскольку стоики думают [79], что они всех точнее установили доказательные тропы, мы выскажем немногое против них, показавши, что если иметь в виду их гипотезы, то все является, может быть, непостижимым, и в особенности доказательство.
В самом деле, как можно у них слышать, постижение есть одобрение постигающего представления. Оно, кажется, заключает в себе два момента: один, содержащий в себе нечто непроизвольное, а другой – произвольное, зависящее от нашего решения. Именно возникновение представления получается не произвольно и происходит не от претерпевающего его, но от того, что возбудило в нем такое представление, как, например, ощущение белого при встрече с белым цветом или сладкого, когда попадает на вкус сладкое. Однако одобрение этого впечатления зависит от того, кто получает это представление.
Поэтому постижение имеет предваряющее его постигающее представление, которое и одобряется. Постигающее же представление имеет предварительно представление [вообще], видом которого оно является. При отсутствии этого представления нет и постигающего представления, поскольку при отсутствии рода нет и вида. При отсутствии постигающего представления нет и принадлежащего ему одобрения. С устранением же одобрения в постигающем представлении устраняется и само постижение.
227
Отсюда если бы было показано, что, по учению стоиков, не может возникнуть уже и само представление для доказательства, то будет ясно, что не установится никакого и постигающего представления для доказательства, а при его отсутствии не будет и принадлежащего ему одобрения. А последнее как раз и было постижением.
Что, по учению стоиков, не существует представления для доказательства, это обнаруживается прежде всего из того, что среди них вообще существуют разногласия в вопросе о том, что такое представление. Ведь хотя они и согласились называть представление отпечатлением в ведущем [начале], они все равно не согласны относительно самого этого отпечатления, при этом Клеанф [80] понимает его в собственном смысле – с углублениями и выпуклостями, а Хрисипп [81] – в более переносном смысле, а именно вместо [просто] "изменения". Если же и в их собственном мнении это отпечатление до настоящего времени не находит для себя общего признания, то необходимо, чтобы и относительно представления, о котором до сих пор спорят, мы хранили воздержание [от суждения], равно как и относительно зависящего от него доказательства.
Затем, допустим даже, что существует представление, какое они хотят, будет ли оно отпечатлением в собственном смысле с углублением и выпуклостью или просто некоторым изменением, – все равно его [отношение] к доказательству сказывается сомнительнейшим вопросом. Ведь ясно, что предмет представления должен действовать, а принимающее представления ведущее должно страдать, чтобы последнее могло запечатлеться, а первое запечатлять. Иначе ведь нельзя и признать, что возникает представление. Поэтому относительно ведущего, может быть, кто-нибудь и согласится, что оно в состоянии страдать (хотя допустить это невозможно). Но как можно признать, что доказательство действует?
228
Ведь, по их мнению, или оно есть тело, или оно бестелесно. Но оно не есть тело, поскольку оно состоит из бестелесных словесных обозначений. Если же оно бестелесно, то, поскольку бестелесное, по их мнению, не может по своей природе ни действовать, ни страдать, тогда и доказательство, будучи бестелесным, никак не будет в состоянии действовать. Но, ничего не создавая, оно не произведет и отпечатка на ведущем; а не произведя на нем отпечатка, оно не создаст в нем и представления о себе; а если так, то не создаст оно и постигающего представления. При отсутствии постигающего представления о нем в ведущем не будет и самого постижения доказательства. Следовательно, по наукоучению стоиков, доказательство непостигаемо.
Но также нельзя говорить и того, что бестелесные предметы ничего не создают и не вызывают в нас представлений, а мы-де сами есть то, что создает о них представления. Ведь если признать, что никакой результат действия во всяком случае не получается без действующего и страдающего, то и представление, будучи результатом доказательства, должно мыслиться не без действующего и страдающего. Стоические философы допустили, что ведущее является страдающим. Однако надо еще узнать, что именно, по их мнению, является отпечатлевающим и действующим. Ведь или доказательство производит отпечаток на ведущем и вызывает соответствующее себе представление, или ведущее само себя отпечатляет и наделяет представлениями. Но доказательство не может производить отпечатки на ведущем, потому что оно бестелесно, а бестелесное, по их мнению, ничего не создает и никак не страдает. Если же ведущее само себя отпечатляет, то или, каков [здесь] отпечаток, таково и отпечатлевающее, или одно дело – отпечаток и другое дело – не похожее на него отпечатлевающее. Если оно не похоже, то от разных предметов будут и представления разные. А это опять приводит стоиков к невоспринимаемости всего. Если же отпечаток подобен отпечатлевающему, то, поскольку ведущее производит отпечаток на самом себе, оно получит представление не о доказательстве, но о самом себе. А это опять нелепо.
Но они, [стоики], пытаются навязать свое мнение, прибегая к посредству примеров [82]. Как учитель гимнастики и военного искусства, говорят они, взявши иной раз мальчика за руки, ритмически движет и учит его, какие производить движения, а иногда, стоя в отдалении и сам двигаясь ритмически, представляет ему самого себя для подражания, так и из предметов представления некоторые производят в нем впечатление как бы путем дотрагивания и прикосновения к ведущему (таково белое, черное и вообще тело), а некоторые имеют такое свойство, что предоставляют себя подражанию, как бы стоя в отдалении, когда ведущее создает представление при них, но не от них, каковы бестелесные
229
словесные обозначения. Говоря так, они пользуются убедительным примером, но они не решают вопроса. Учитель гимнастики и военного искусства есть тело, и поэтому он мог внушить мальчику то или иное представление. А доказательство бестелесно и поэтому является еще вопросом, может ли оно производить отпечатки на ведущем в виде представлений. Поэтому первоначальное искомое остается у них непоказанным.
После этого изложения рассмотрим, может ли и по диалектической теории осуществиться у них обещание, содержащееся в доказательстве. Итак, они, [стоики], полагают [83], что существуют три рассуждения, сопряженные друг с другом: выводное, истинное и доказательное. Из них доказательное всегда истинно и является выводным, и истинное всегда выводное, но по необходимости оно еще не есть доказательство, а выводное ни всегда истинно, ни всегда доказательно.
Действительно, днем умозаключение "Если сейчас ночь, то темно. Но сейчас ночь, следовательно, темно" хотя и делает вывод, поскольку оно построено по правильной схеме, но оно не истинно, потому что вторая посылка содержит ложь, [т.е.] прибавку "сейчас ночь". Днем такое умозаключение: "Если сейчас день, то светло. Но сейчас день. Следовательно, светло" является одновременно выводным и истинным, потому что и построено по правильной схеме, и при помощи истинных посылок выводит истинное. Выводное умозаключение, говорят они, считается выводным, когда заключение следует за [простым] соединением его посылок. Например, такое умозаключение при наличии дня: "Если сейчас ночь, то темно. Но сейчас ночь. Следовательно, темно", хотя оно не истинно, потому что приводит к ложному, мы все же называем выводным. Ведь если соединить посылки так: "Сейчас ночь. Если же сейчас ночь, то темно", мы построим тогда имплицитный силлогизм, который начинается с указанного соединения, а оканчивается таким выводом: "Темно". Это умозаключение истинно, поскольку, ни разу не начавшись с истинного,
230
оно в любом случае не оканчивается ложным. Ведь при наличии дня оно начинается с ложного: "Сейчас ночь, и если сейчас ночь, то темно" – и окончится ложным: "Темно"; и таким образом, оно должно было бы быть истинным. При наличии же ночи оно начинается с истинного и оканчивается истинным, и оно будет по этому самому [тоже] истинным. Следовательно, выводное рассуждение будет правильно тогда, когда после объединения нами посылок и построения умозаключения, начинающегося с соединения при помощи посылок и оканчивающегося выводом, само это умозаключение будет найдено истинным.
Что же касается истинного рассуждения, то оно считается истинным не только на основании одного того, что умозаключение, которое начинается с соединения при помощи посылок и оканчивается заключением, истинно, но и на основании того, что само соединенное при помощи посылок правильно, так что если одна из посылок оказалась ложной, то и само рассуждение по необходимости оказывается ложным. Такое, например, умозаключение: "Если сейчас день, то светло. Но сейчас день. Следовательно, светло" – оказывается при наличии ночи ложным, поскольку оно содержит ложную посылку "Сейчас день", Однако соединенное из посылок, имея одну из посылок ложную: "Сейчас день", ложно; но умозаключение, которое начинается с соединения посылок и оканчивается заключением, само по себе истинно. Ведь оно никогда, начавшись с истинного, не оканчивается ложным; но при наличии ночи соединение начинается с ложного, а при наличии дня как начинается с истинного, так и оканчивается истинним. Но опять-таки умозаключение "Если сейчас день, то светло. Но сейчас светло. Следовательно, сейчас день" ложно, потому что при наличии истинных посылок может привести нас к ложному.
Очевидно, однако если мы будем исследовать [это с разных сторон], то соединенное при помощи посылок может быть истинным при наличии дня, как, например, такое: "Свет есть, и если сейчас день, то свет есть". А умозаключение, начинающееся с соединения при помощи посылок и оканчивающееся заключением, может быть ложно, как, например, такое: "Если свет есть и если сейчас день, то свет есть". Ведь это умозаключение при наличии ночи может начинаться с истинного соединения и оканчиваться ложным "Сейчас день" и поэтому быть ложным. Следовательно, истинным становится рассуждение не тогда, когда только соединенное истинно [по существу], и не тогда, когда умозаключение [по форме] истинно, но когда истинны то и другое.
231
Доказательное рассуждение отличается от истинного потому, что истинное может иметь явным все (я имею в виду посылки и вывод), доказательное же рассуждение желает содержать еще нечто кроме того, а именно чтобы вывод, который [сам по себе] неявен, раскрывался при помощи посылок. На этом основании такое рассуждение: "Если сейчас день, то есть свет. Но сейчас день. Следовательно, есть свет", имеющее явными посылки и вывод, истинно, но не доказательно. А такое рассуждение: "Если такая-то имеет в груди молоко, то такая-то забеременела. Но такая-то имеет в груди молоко. Следовательно, такая-то забеременела" – одновременно и истинно, и доказательно, потому что, имея неявное заключение: "Следовательно, такая-то забеременела", раскрывает его при помощи посылок.
Итак, при трех видах рассуждения, выводном, истинном и доказательном, если какое-нибудь рассуждение доказательно, то оно гораздо раньше того является истинным и выводным. Если же оно истинно, оно не обязательно доказательно, но оно во всяком случае выводное; и так же если какое-нибудь рассуждение выводное, то оно не всегда и истинное, как и не всегда доказательное. И вот, поскольку вообще всем этим видам рассуждения свойственно качество выводимости, постольку мы, выявив, что у стоиков вообще оказалось ненайденным выводное рассуждение, установим и то, что у них не может считаться найденным ни истинное, ни доказательное.
Что не существует никакого выводного рассуждения, понять нетрудно. В самом деле, если они называют рассуждение выводным тогда, когда есть истинное умозаключение, начинающееся с соединения при помощи посылок и оканчивающееся выводом, то должно быть раньше того определено истинное умозаключение и уже после этого твердо принято зависящее от него выводное рассуждение.
232
Но правильное умозаключение, по крайней мере до сих пор, не определено. Следовательно, не может стать понятным и выводное рассуждение. Ведь как при отсутствии устойчивой меры пли же в присутствии каждый раз все иной и иной меры оказывается неустойчивым и измеряемое, так же точно, поскольку правильное умозаключение является как бы мерилом при получении вывода в умозаключении, за неразъясненностью умозаключения последует и неясность самого рассуждения. А что правильное умозаключение не определено, показывают "Введения" самих стоиков [84], в которых они выставили много разноречивых и до сих пор не решенных суждений по этому вопросу. Отсюда если таковым оказывается выводное рассуждение, то надо совершенно воздержаться и от суждения относительно истинного рассуждения, а тем самым и относительно доказательного.
Но даже если мы, миновав это препятствие, перейдем к их техническому учению о том, что дает твердые выводы и что их не дает, то все равно невозможным окажется построение доказательного рассуждения.
Об рассуждениях, содержащих определенный вывод, нет необходимости теперь говорить ввиду наличия многих точных изысканий [по этому вопросу]. Но следует несколько высказаться относительно неопределенных рассуждений. Стоики говорят [85], что неопределенное рассуждение строится четырьмя способами: при помощи "отсутствия связи", или при помощи "избытка", или при помощи "построения по негодной схеме", или при помощи "недостатка".
Именно, рассуждение бывает неопределенным благодаря отсутствию связи тогда, когда его посылки не имеют ничего общего и никакой связи как между собою, так и с выводом, как, например, в таком рассуждении: "Если сейчас день, то есть свет. Но на рынке продается пшеница. Следовательно, есть свет". Действительно, мы видим, что в нем ни посылка "Если сейчас день" не имеет никакого соответствия и связи с посылкой "На рынке продается пшеница", ни оба они – с выводом: "Следовательно есть свет", но все они взаимно разделены.
Рассуждение становится неопределенным в силу избытка тогда, когда к посылкам излишне присоединяется что-либо извне, например, в таком случае: "Если сейчас день, то есть свет. Но день есть, и добродетель полезна. Следовательно, есть свет". Действительно, суждение, что добродетель полезна, прибавлено к другим посылкам излишне, потому что по устранении этого суждения при помощи остальных посылок: "Если сейчас день, то есть свет" и "Сейчас день" – может быть получен [совершенно правильный] вывод: "Следовательно, есть свет".
233
Рассуждение становится неопределенным в силу "построения по негодной схеме, когда оно построено по какой-либо схеме из числа не соответствующих правильным схемам. Например, при существовании такой правильной схемы: "Если первое, то второе, но первое есть; следовательно, второе", а также такой: "Если первое, то второе, но второго нет; следовательно, нет первого" – мы говорим, что умозаключение, построенное по такой схеме: "Если первое, то второе, но первого нет; следовательно, нет и второго", неопределенно не потому, что невозможно построить по такой схеме умозаключение, которое из истинного выводит истинное (поскольку возможно, например, такое умозаключение: "Если три равняется четырем, то шесть равно восьми; но три не равно четырем; следовательно, шесть не равно восьми"), но оно неопределенно вследствие того, что в этом умозаключении могут занять место те или иные негодные суждения вроде, например, такого: "Если сейчас день, то есть свет, но сейчас не день; следовательно, нет и света".
Наконец, рассуждение становится неопределенным по "недостатку" тогда, когда в данных посылках чего-нибудь недостает. Например: "Богатство есть или зло, или благо, но богатство не есть зло; следовательно, богатство есть благо". Именно, в первом разделительном суждении здесь не хватает того, что богатство может быть безразличным, так что правильное рассуждение имело бы скорее такой вид: "Богатство есть или благо, или зло, или безразлично, но богатство не есть ни благо, ни зло; следовательно, оно безразлично".
При таком наукоучении стоиков, если следовать только ему, никакое рассуждение не может быть сочтено неопределенным. Возьмем хотя бы даже рассуждение, построенное через отсутствие связи и имеющее такую форму: "Если сейчас день, свет есть, но на рынке продается пшеница; следовательно, свет есть". В самом деле, то, что посылки здесь лишены связи и не имеют ничего общего ни одна с другой, ни обе с выводом, это они утверждают или путем голого высказывания при
234
помощи какого-либо научного и школьного приёма. Если они утверждают это путем бездоказательного высказывания, то легко выставить в суждение, противоположное этому, сказав, что всякое рассуждение, неопределенное в смысле "отсутствия связи", ведет к определенности. Если они могут рассчитывать на доверие ввиду одного только голого высказывания, то и утверждающие противное этому обретут доверие, поскольку они произносят равносильное высказывание. Если же стоики говорят это, пользуясь тем или иным методом, исследуем, что это за метод.
Именно, если они скажут, что признаком рассуждения, построенного в смысле "отсутствия связи", является то, что его вывод совершенно не следует за соединением через посылки и что неправильно то умозаключение, которое начинается с соединения через посылки и оканчивается заключением, – мы скажем, что они впадают в первоначальное затруднение. Ведь если для определения рассуждения, построенного в смысле "отсутствия связи", надо иметь критерий правильного умозаключения, а такого критерия мы до сих пор не имели, то мы совершенно не можем распознать рассуждения, неопределенного в смысле "отсутствия связи".
Но есть и второй способ построения неопределенных рассуждений – путем "избытка", когда к посылкам прибавляется нечто излишнее для построения вывода [86]. Что касается этого, то необходимо будет, чтобы неопределенным в смысле избытка было и рассуждение, составленное по первому способу, поскольку в нем избыток того, что является специфическим [для этого первого типа]. Мы узнаем это, сравнив рассуждения. Именно, они называют неопределенным такое рассуждение: "Если сейчас день, то есть свет. Но сейчас день, и добродетель полезна. Следовательно, свет есть". В этом рассуждении посылка "Добродетель полезна" является для построения вывода лишней и из оставшихся двух посылок может получиться вывод без всякого ущерба. В ответ скептики скажут, что если неопределенно рассуждение, построенное "с избытком" и дающее вывод по отнятии некоторой посылки из оставшихся посылок, то надо сказать, что неопределенно уже и то, которое построено по первому способу, имеющее такой вид: "Если сейчас день, то есть свет. Но сейчас день. Следовательно, свет есть", поскольку суждение "Если сейчас день, [то светло]" для построения заключения избыточно и заключение "Следовательно, есть свет" может быть выведено из одного только "Сейчас день".