На этих основаниях стоики построили логику, существенное отличие которой от аристотелевской логики состоит в том, что она трактует высказывание (простое или сложное) как неразложимую единицу и раскрывает специфические законы, управляющие логическими отношениями между такими единицами. Аристотелевская силлогистика была логикой терминов: высказывания, входящие в состав силлогизмов, харастеризуются различиями в определенных элементах их внутренней структуры - учитывается их качество (утвердительные или отрицательные) и количество (общие или частные); схематизация их осуществляется с помощью буквенных символов, обозначающих возможные для терминов места ("Р принадлежит всякому S" и т. д.). Логика стоиков - это логика высказываний: изучаемые ею законы выражают отношения между высказываниями, остающиеся неизменными, каковы бы ни были содержание и внутренняя структура этих высказываний; схематизация их осуществляется с помощью символов-сокращений (стоики говорят "первое", "второе"; мы сказали бы "
Главная часть логики стоиков - развернутая теория умозаключения (или доказательства: логоса в особом значении), т. е. системы высказываний, различающихся по выполняемой ими функции посылок или вывода. Стоики подвергли тщательному анализу различные свойства, которыми может обладать построенное по логическим канонам рассуждение: заключающий характер, или формальная правильность; истинность, присущая не всякому заключающему доказательству; демонстрируемость, или доказываемость, не являющаяся необходимым свойством всякого истинного умозаключения[4]
. Они разработали весьма строгую технику анализа доказательств, которая основана, с одной стороны, на пяти простых схемах аргументации, аксиоматически принимаемых за правильные ("недоказываемые" или, точнее, "не нуждающиеся в доказательстве") и, с другой стороны, на совокупности правил (themata/θέματα), позволяющих свести сложные доказательства к сочетаниям простых.Было бы жаль в этом слишком беглом обзоре обойти молчанием, как внимательно и тонко стоики изучали и проясняли многочисленные софизмы и парадоксы, оставленные им в наследство изобретательными диалектиками, - порой развлекательные, порой глубоко озадачивающие, а порой и то и другое вместе. Немногие из философских школ так хорошо иллюстрируют стимулирующее действие парадокса, побуждающего к интеллектуальному творчеству. Упомянем, по крайней мере, два парадокса, похоже, грозящие подорвать одну из основ стоической логики, - принцип, согласно которому всякое высказывание истинно либо ложно: "Сорит" и "Лжец". Название "сорит" происходит от "кучи" (sōros). "Одно хлебное зернышко составляет кучу? - Нет. - Два зернышка? - Нет... Двадцать зерен?" Очевидно, да; но трудно допустить, что прибавления одного зернышка достаточно, чтобы из не-кучи сделать кучу; если установить, начиная с какого по счету зернышка некоторое количество зерен составляет кучу, любое число будет произвольным; а если не устанавливать такого числа, тогда между ложными высказываниями в начале и истинными высказываниями в конце будут высказывания с неопределенным истинностным значением. Но принцип сорита легко применим ко всевозможным ситуациям: в обыденном языке у большинства противоположных предикатов (много и мало, большой и маленький и т. д., и т. п.) расплывчатые границы. Еще более известен парадокс "Лжец". Вот одна из его формулировок. "Я лгу" - истинно это или ложно? Если это истинно (если истинно, что я лгу), то это ложно (то, что я говорю, ложно); а если это ложно (если ложно, что я лгу), то это истинно (то, что я говорю, истинно). И, значит, если это должно быть либо истинно, либо ложно, тогда это в любом случае одновременно истинно и ложно. Хрисипп написал множество книг, в которых он бился над решением подобных трудностей; среди имеющихся у нас документов от них есть только заглавия и кое-какие отрывки. Мы много дали бы, чтобы найти этот материал, да и все остальное логическое наследие Хрисиппа. Не будь оно утрачено, история логики и даже история человеческой мысли были бы совсем иными.
ФИЗИКА СТОИКОВ
Как и понятие логики, понятие физики у стоиков является гораздо более широким, чем современное понятие, обозначаемое этим словом. Физика для них - это, прежде всего, общее видение мира как совершенного и божественного единства, живого, непрерывного, самосозидающего, организованного по законам, доступным познанию, и управляемого промыслительным, всюду присутствующим разумом. Такое миросозерцание основывается на аргументах и наблюдениях, но стоики, как мы отмечали выше, оставляют на долю ученых-специалистов подробное описание явлений и объяснение локальных механизмов, действующих согласно глобальным принципам.