История логики - Александр Маковельский

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

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

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

Общие понятия, по учению стоиков, – нечто бестелесное, они не имеют объективного реального существования, а существуют лишь в сознании субъекта. Но некоторые стоики доводили номинализм до крайних пределов, отрицая существование в нашем уме общих понятий, имеющих «бестелесную природу».

По мнению Брошара, различие между номинализмом стоиков и номинализмом Эпикура аналогично различию номинализма Дж. Ст. Милля и Гоббса[38].

Эпикурейцы были крайними номиналистами, они считали, что понятия – лишь звуки, слова. В отличие от эпикурейцев, стоики признавали нечто посредствующее между реальностью и звуком, нечто чисто мыслимое.

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

Логика стоиков на самом деле не была ни повторением логики Аристотеля, ни ее упрощением. Она была построена на совершенно иной основе.

Брошар отмечает, что в стоической логике принцип, на котором покоится учение о силлогизме, иной, чем в силлогистике Аристотеля. Этим принципом является не общепринятая в формальной логике аксиома силлогизма (dictum de omni et nullo) и не объемное отношение терминов силлогизма. Принцип стоической силлогистики гласит: если вещь представляет всегда определенное качество или определенную совокупность качеств, то она будет также представлять качество или качества, которые сосуществуют всегда с первым качеством или совокупностью качеств. Иначе говоря, в основе стоической силлогистики лежит принцип, сформулированный в средние века так: «Признак признака есть признак самой вещи» («Nota notae est nota ipsius rei»)[40].

Отношение субъекта суждения и его атрибута в стоической логике понимается не как существование атрибута в субъекте суждения, не как его присутствие в нем, а как отношение постоянного сосуществования или постоянной последовательности.

Реформу логики, произведенную стоиками, Брошар резюмирует следующим образом: идея закона заменяет идею вечных, неизменных сущностей. Из тех неизменных сущностей, которыми Аристотель, примыкая к сократо-платоновской традиции, объяснял действительность, стоики сохранили только идею неизменного порядка, в котором следуют друг за другом явления. В логике стоиков господствует идея единообразия природы. В противоположность аристотелевской логике здесь выступает понятие закона природы, которое стоики взяли у Гераклита. Логос

(разум), господствующий во Вселенной, остается всегда в согласии с самим собой и определяет необходимость всего происходящего в природе. Формулу «есть только знание общего» стоики заменяют формулой «есть только знание необходимого». Так В. Брошар характеризует ту реформу в логике, которую совершили стоики.

Итак, центральной идеей логики стоиков, как и всей их философии, является идея необходимости. Условные суждения и условные умозаключения именно потому и кладутся стоиками в основу системы логики, что они выражают необходимое отношение между явлениями. В. Брошар ставит вопросы: «Откуда берется эта необходимость? В чем она состоит и как мы познаем ее?» Эти же вопросы стоики ставили в следующей форме: «Каков критерий „здравого“ умозаключения? Каким образом надо отличать истинное рассуждение от ложного? Когда и как в пропозиции имеет место необходимая связь между предшествующей и последующей частями ее?» Среди самих стоиков происходили дискуссии по этим вопросам, и, как свидетельствует Цицерон, имелись расхождения во взглядах между Хрисиппом, Диодором и Филоном.

По Филону, необходимое и достаточное условие для истинности пропозиции заключается в том, чтобы первая часть ее не была истинным суждением, когда вторая часть – ложное суждение. Остальные же три случая из возможных четырех будут правильными (т. е. случаи, когда первая и вторая части пропозиции суть обе истинные суждения, когда первая и вторая части суть обе ложные суждения и когда первая часть есть ложное суждение и вторая – истинное). Основной недостаток этой стоической теории заключается в том, что она смешивает истину с формальной логической связью.

Доказывая несостоятельность этого критерия Филона, Диодор пользуется следующим примером: пропозиция «если день, то я принимаю участие в дискуссии» будет истинной лишь в то время, когда я участвую в дискуссии, но она будет ложной в другое время. Ложная пропозиция «если день, то ночь», по теории Филона, должна быть истинной, если сейчас ночь, потому что в таком случае первая часть ложна, а вторая истинна. Хрисиппа не удовлетворяет та критика, которую дал Диодор, потому что последний не отличал возможности от действительности. По учению Диодора, все то, что не осуществляется в действительности, никогда не было возможным, во Вселенной господствует абсолютная необходимость. Поэтому и необходимость в пропозиции он истолковывал как объективную необходимость. Она, по его мнению, выражает универсальный порядок природы, закон, господствующий во Вселенной. Тут дело не в согласии идей между собой в нашем уме, а в отношении между собой вещей в природе (в наличии или отсутствии той или иной связи между ними).

По Диодору, необходимость – в самих вещах, и потому логическая связь, выражающая необходимость, апостериорна. Хрисипп полемизировал против этой доктрины Диодора и развил учение о независимости логической связи от опыта. Он склонен понимать истинные суждения как идентичные. Таково, например, суждение «если есть день, то есть день».

Пропозиции, по Хрисиппу, бывают истинными не только тогда, когда они представляют собой чисто идентичные суждения, но и когда вторая часть (следствие) содержится в первой части потенциально, implicite, т. е. аналитически. Так, треугольник потенциально содержит в себе равенство суммы его трех углов 2d, а ранение в сердце заключает в себе implicite смерть.

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

Теория знаков, по выражению В. Брошара, есть «сердце» стоической логики, и потому странно, что историки логики, излагая логику Стой, обходят ее. На теории знаков у стоиков построено учение о доказательстве. Со времени Энесидема скептики ополчились против теории знаков, понимая, что с ее падением рушится все здание логики стоиков. По учению стоиков, между знаком и обозначаемой им вещью существует необходимая связь. Эта необходимость не может быть познана единственно через ощущение. Несмотря на сенсуализм своей теории познания, стоики признают, что для познания необходимой связи явлений недостаточны показания органов чувств. В отличие от эпикурейцев, которые более последовательно проводят эмпирическую точку зрения в логике, они учили, что знак является умопостигаемым. Однако эта умопостигаемость основана на наблюдении фактов, как видно из приводимых стоиками примеров: «Если у этой женщины есть молоко, то она беременна», «Шрам свидетельствует о ране», «Дым есть знак огня» и т. п. У стоиков установилось различение между простым знаком, основанным на опыте, и индикативным знаком. Возможно, что этого различия еще не было у первых стоиков, и оно появилось в их школе в силу тех трудностей, с которыми приходилось им сталкиваться в борьбе с противниками стоицизма.