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

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

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

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

В конечном итоге логика Аристотеля представляет собой нечто среднее между логикой чисто формальной и метафизической, а равным образом и между логикой метафизической и диалектической (ввиду отмеченного В. И. Лениным колебания Аристотеля между диалектикой и метафизикой).

Именно этой позицией Аристотеля, колеблющегося между диалектикой, метафизикой и формальной логикой, объясняется, по-видимому, отнесение Ф. Энгельсом логических учений Аристотеля одновременно и к истории формальной логики и к истории диалектики. Ф. Энгельс пишет: «Сама формальная логика остается, начиная с Аристотеля и до наших дней, ареной ожесточенных споров. Что же касается диалектики, то до сих пор она была исследована более или менее точным образом лишь двумя мыслителями: Аристотелем и Гегелем» [22] . К. Маркс и Ф. Энгельс. Сочинения, т. 20, стр. 367 . В другом месте Ф. Энгельс отмечает: «…Исследование форм мышления, логических категорий, очень благодарная и необходимая задача, и за систематическое разрешение этой задачи взялся после Аристотеля только Гегель» [23] . Там же, стр. 555 .

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

Такое расширенное понятие истины основывается на предположении, что предмет мысли (представление или понятие) сравнивается с реальным объектом, отображением которого он является, и в качестве истинного признается то представление или понятие, которое адекватно отряжает то, что существует в действительности. Мыслимое ложно в том случае, если ему или вообще не соответствует ничего в действительности, или если соответствующий реальный предмет в нем отображен неверно. Это – материальная ложность, и она заключается в несоответствии мыслимого реальным объектам. Другой вид ложности – ложность суждения. Она заключается в том, что несуществующее высказывается как существующее, т. е. предикат приписывается субъекту, которому он не принадлежит. Формула ложного суждения: «Не-А есть А».

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

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

Основным законом мышления у Аристотеля является закон противоречия. Аристотель называет этот закон самым неоспоримым принципом.

Аристотель дает несколько формулировок этого закона. В онтологической формулировке он выступает как наивысший закон самого бытия. Он гласит: «Невозможно, чтобы одно и то же в одно и то же время и в одном и том же отношении и было и не было присуще одному и тому же» («Метафизика», IV, 1005 b 19). Наряду с этой развернутой формулировкой дается краткая онтологическая формула: «Невозможно, чтобы одно и то же в одно и то же время было и не было». При этом Аристотель упоминает учение Гераклита, что одна и та же вещь и существует, и не существует, и утверждает, что это учение никто не может серьезно признавать. Здесь Аристотель оказывается не в силах понять диалектику Гераклита и отмахивается от нее, будучи не в состоянии ее опровергнуть. Наряду с указанными двумя онтологическими формулировками закона противоречия у Аристотеля часто встречаются и чисто логические формулировки этого закона.

В качестве достовернейшего положения приводится закон: «Невозможно, чтобы одновременно были истинными противоположные суждения», или: «Невозможно, чтобы противоречащие утверждения были истинными по отношению к одному и тому же» («Метафизика», IV, 6, 10НЬ 15).

Аристотелем даются и сокращенные логические формулы: «Невозможно вместе истинно и утверждать и отрицать» или: «Невозможно вместе утверждать и отрицать».

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