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

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

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

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

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

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