Логика стоиков: от античности до современности

Стоицизм представляет собой своеобразный синтез идей Гераклита, мегариков, Аристотеля и отчасти Платона. Эволюция стоических учений протекала на фоне заметного роста математических, естественных и технических наук.

Логике сравнительно с другими частями учения стоиков повезло меньше всего. Были утрачены сочинения основателей Стои, из поздних стоиков логикой специально никто не занимался. И даже те изложения, которые существуют и дошли до нас страдают невнятностью и фрагментарностью. Ввиду отсутствия источников установить различия логического учения у отдельных стоиков оказалось невозможным, и в основном излагают всю стоическую логику вообще, полагаясь в первую очередь на Хрисиппа - глава стоической школы с 230 по 207 гг. до н.э.; его называли “вторым основателем” Стои; именно при Хрисиппе возросло влияние стоицизма. Согласно преданиям был очень плодовитым автором, написал 705 книг, среди которых свыше 300 книг по логике. Он особенно известен оригинальной разработкой условных и разделительных силлогизмов. Нет никаких сомнений, что логическое учение Стои не только было разработано им во всех деталях, но приобрело в силу этого статус школьной догмы.

Быть может, ранних стоиков и мегариков к исследованиям в области высказываний привела неудовлетворенность узостью перипатетической и аристотелевской логики. Правда, до нас дошли лишь отрывочные свидетельства о достигнутых стоиками результатах, часто в изложении их противников или посредственных комментаторов, но даже эти фрагменты позволяют судить о том, что система логики стоиков была построена, вероятно, даже более строго, чем аристотелевская. Не ограниченная, подобно Аристотелю, высказываниями субъектно-предикатной структуры, в ней сформулированы правила вывода, относящиеся к высказываниям неопределенной структуры. Стоики не только предвосхитили ряд исходных понятий современного исчисления высказываний, дав определения таким пропозициональным связям, как импликация, конъюнкция и дизъюнкция, но вид своеобразного аксиоматически построенного исчисления придали своей системе формальных правил вывода. Обсуждение стоиками вопроса об условиях истинности импликации отражает то, насколько они основательно подошли к исследованию понятий своей системы. Разработка стоиками понятий пропозициональной логики объективно способствовала выяснению логических оснований силлогистики. «Логика высказываний является более фундаментальной системой, нежели силлогистика, во-первых, потому, что при своем строго формализованном и систематическом изложении (чего, вообще говоря, еще не было у Аристотеля) сама силлогистика должна опираться на понятия и законы, устанавливаемые в пропозициональной логике, в то время как последняя не предполагает законы силлогистики; во-вторых, потому, что логика высказываний лежит в основе современной математической логики в качестве ее исходной, простейшей, но неотъемлемой части, в то время как силлогистика занимает в ней сравнительно незначительное место.

К сожалению, в последующем идеи пропозициональной логики получили гораздо меньшее распространение, чем силлогистика» [9, с. 57] Многими они были вообще не поняты, а в традиционной логике нашли свое неполное и эклектическое отражение в виде теории условных и разделительных силлогизмов.

Заметное влияние стоическая силлогистика испытала со стороны аристотелевской силлогистики и модальной логики мегарской школы

(Диодор, Филон). Основное достижение, воспринятое стоиками от мегариков, заключается в отделении проблемы логического следования как процесса «вытекания» мысли из мысли, детерминирования одним суждением другого суждения, от проблемы истинности каждого суждения самого по себе.

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

Подлинным открытием существа стоической логики были работы Я.Лукасевича, который еще в 1923 г. высказал мысль о том, что именно стоики создали исчисление высказываний, а в 1934 г. подробно ее обосновал. Отличие стоической логики от перипатетической Я.Лукасевич усматривал в том, что первой вводятся пропозициональные переменные, во второй - именные. Лукасевич показал, что в качестве пропозициональных переменных стоики употребляли не буквы, как мы сейчас, а порядковые числительные: «если первое, то второе; но первое; следовательно, второе». Это обстоятельство было хорошо понятно их современникам и преемникам (подтверждение он нашел у Апулея).

Ян Лукасевич видит отличие между стоической и аристотелевской логикой не в том, что в стоической диалектике присутствуют гипотетические и дизъюнктивные высказывания, тогда как в аристотелевской силлогистике - только категорические. Отличие в том, что «логика стоиков - это логика высказываний, а аристотелевская - логика имен».

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

И у стоиков и Аристотеля в силлогизмах используются две посылки и заключение, но в силлогизме Аристотеля они соединены в единое предложение. В высказывании стоиков посылки и заключение не составляют единого предложения.

Стоикам принадлежит первенство в исследовании проблемы истинности сложных высказываний. Истинность сложного высказывания стоики рассматривали как функцию от истинности исходных высказываний.

Стоики не придавали большого значения категорическому силлогизму, что следует из их определения силлогизма как состоящего из леммы и допущения и что подкрепляется информацией Александра Афродизийского и Секста Эмпирика. О том же свидетельствуют и конкретные примеры умозаключений, дошедшие до нас от стоиков в других исторических документах.

Александр Афродизийский упрекал стоиков в непонимании того, что существо силлогизма заключается не в словах, а в том, что слова означают. Тем самым перипатетики обнаружили непонимание формализации, достигающей в логике стоиков уровня, когда опираются на слова, а не на их значения, что только и позволяет получать выражения, истинные в силу формы.

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

«Под влиянием Прантля и Целлера в истории философии установился ошибочный взгляд на логику стоиков как на систему, не заключающую в себе ничего нового и оригинального. По мнению Прантля и Целлера, логика стоиков лишь повторяет то, что уже было высказано Аристотелем, она придает лишь новую худшую форму учениям Аристотеля. По оценке Прантля и Целлера, логика скорее потеряла, чем выиграла, от этого ее преобразования. В конечном счете логика стоиков, по мнению Прантля и Целлера, есть пустой и бесплодный формализм. Против этого взгляда известных немецких историков логики впервые выступил французский ученый Виктор Брошар, который, признавая, что Прантль и Целлер изучили логику стоиков весьма тщательно и изложили ее с замечательной ясностью, вместе с тем коренным образом изменяет данную ими интерпретацию этой логики и ее оценку. Брошар отмечает, что в стоической логике принцип, на котором покоится учение о силлогизме, иной, чем в силлогистике Аристотеля. Этим принципом является не общепринятая в формальной логике аксиома силлогизма и не объемное отношение терминов силлогизма. Принцип стоической силлогистики гласит: если вещь представляет всегда определенное качество или определенную совокупность качеств, то она будет также представлять качество или качества, которые сосуществуют всегда с первым качеством или совокупностью качеств. Иначе говоря, в основе стоической силлогистики лежит принцип, сформулированный в средние века так: «Признак признака есть признак самой вещи»» [13, с. 76].

Стоики, создавая особую формальную систему - исчисление высказываний, главной своей задачей ставили выявление самой структуры суждений и поиск возможности наиболее точного описания.

Истинное знание может обеспечить только разум, способный к созданию общих понятий и выражающийся в том, что стоики называли «lekton». Учение стоиков знаменует собой колоссальный скачок, переход на новый уровень осмысления действительности.

В отличие от Аристотеля, стоиков в большей степени, чем формы мысли, интересовали словесные выражения, их смысл. В проблемах общих понятий и лектон проявился семантический аспект логики Стои.