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

Эмпирик Секст

228

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

Но также нельзя говорить и того, что бестелесные

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

Но они, [стоики], пытаются навязать свое мнение, прибегая к посредству примеров [82]. Как учитель гимнастики и военного искусства, говорят они, взявши иной раз мальчика за руки, ритмически движет и учит его, какие производить движения, а иногда, стоя в отдалении и сам двигаясь ритмически, представляет ему самого себя для подражания, так и из предметов представления некоторые производят в нем впечатление как бы путем дотрагивания и прикосновения к ведущему (таково белое, черное и вообще тело), а некоторые имеют такое свойство, что предоставляют себя подражанию, как бы стоя в отдалении, когда ведущее создает представление при них, но не от них, каковы бестелесные

229

словесные обозначения. Говоря так, они пользуются убедительным примером, но они не решают вопроса. Учитель гимнастики и военного искусства есть тело, и поэтому он мог внушить мальчику то или иное представление. А доказательство бестелесно и поэтому является еще вопросом, может ли оно производить отпечатки на ведущем в виде представлений. Поэтому первоначальное искомое остается у них непоказанным.

После этого изложения рассмотрим, может ли и по диалектической теории осуществиться у них обещание, содержащееся в доказательстве. Итак, они, [стоики], полагают [83], что существуют три рассуждения, сопряженные друг с другом: выводное, истинное и доказательное. Из них доказательное всегда истинно и является выводным, и истинное всегда выводное, но по необходимости оно еще не есть доказательство, а выводное ни всегда истинно, ни всегда доказательно.

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

230

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

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

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

231

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

Итак, при трех видах рассуждения, выводном, истинном и доказательном, если какое-нибудь рассуждение доказательно, то оно гораздо раньше того является истинным и выводным. Если же оно истинно, оно не обязательно доказательно, но оно во всяком случае выводное; и так же если какое-нибудь рассуждение выводное, то оно не всегда и истинное, как и не всегда доказательное. И вот, поскольку вообще всем этим видам рассуждения свойственно качество выводимости, постольку мы, выявив, что у стоиков вообще оказалось ненайденным выводное рассуждение, установим и то, что у них не может считаться найденным ни истинное, ни доказательное.