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

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

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

Ф. и Э. де Лэси отмечают, что стоики считали необходимым проводить различие между строгой и нестрогой импликациями, как это имеет место в современной символической логике.

Приведем таблицу правильных и неправильных пропозиций, установленную стоической логикой:

1. «Если день, то свет» – правильно.

Здесь истинны и предпосылка, и заключение.

2. «Если земля летит, то она имеет крылья» – правильно.

Здесь ложны и предпосылка, и заключение.

3. «Если земля существует, то она летает» – неправильно

Здесь предпосылка истинна, а заключение ложно.

4. «Если земля летает, то она существует» – правильно.

Здесь предпосылка ложна, а заключение истинно.

Второй критерий для правильности пропозиций имеет в виду не истину или ложь в буквальном смысле, а лишь природу отношения, или связи, между ними. Вывод правилен, когда заключение вытекает как следствие из посылок, как, например, в следующем умозаключении: «Если день, то светло. Сейчас день. Следовательно, сейчас светло».

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

В истинной пропозиции следствие мыслится заключающимся implicite (потенциально) в первой части пропозиции, и в этом смысле заключение рассматривается как необходимая истина. Точно таким же образом стоики истолковывали и умозаключения от явлений к невоспринимаемым вещам. Такова, например, упоминавшаяся нами пропозиция: «Если на поверхности кожи выступает пот, то в коже имеются невоспринимаемые поры».

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

Итак, стоики учили, что выводы должны быть аналитическими. Только при этом условии они имеют доказательную силу.

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

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

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

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

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

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

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

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