Тот же взгляд на логику Аристотеля высказывается в «Истории логики» Прантля, который первые зачатки формальной логики усматривает у первых перипатетиков: Теофраста и Евдема. Взгляд Тренделенбурга разделяют Бониц, Ибервег, Целлер и др., а из русских историков логики Е. А. Бобров, который говорит, что логика Аристотеля настолько тесно связана с его метафизикой, что без последней не может быть верно понята.
По мнению Е. А. Боброва, формальная логика есть незаконное детище аристотелевской логики. «Отказавшись от метафизической основы логики Стагирита, представители формальной логики не создали, однако, своей новой, особенной логики, но воспользовались готовым строением аристотелевской логики, давая ей ложное толкование и делая неподходящие надстройки»
[19], – так характеризует Е. А. Бобров отношение между формальной логикой и логикой Аристотеля. Согласно его оценке формальной логики, в последней «не может быть и речи о каком-либо дополнении или расширении логики Аристотеля; есть только изменение понимания ее духа, или, вернее, есть утрата и извращение ее живого и общефилософского, метафизического основания»
[20].
Не отрицая связи между логическими формами и метафизическими принципами у Аристотеля, Г. Майер
[21] не соглашается с мнением названных выше ученых, что Аристотель вывел свою логическую теорию (и специально силлогистику) из своего общефилософского учения или по меньшей мере на нем основал. По мнению Г. Майера, Аристотель уже имел идею формальной логики и заложил основы науки о формах мышления.
Считая, что идея формальной логики восходит к Аристотелю, Г. Майер признает не вполне верным данный Прантлем очерк развития логики на первой стадии ее истории; он полагает, что у Прантля дано неправильное освещение вопроса об отношении аристотелевской логической теории к учениям логиков из перипатетической и стоической школ.
Вопросы о характере логики Аристотеля, вызвавшие оживленные споры среди историков логики, по нашему мнению, решаются следующим образом. Корни формальной логики лежат в логике Аристотеля. По замыслу и по своей идее логика Аристотеля составляет прямую противоположность чисто формальной
В дальнейшем при изложении аристотелевского учения о законах мышления мы будем использовать результаты этого исследования логике: она принимает два критерия истины: материальный (согласие мыслей с вещами) и формальный (согласие мыслей между собой), причем господствующим критерием в ней является материальный. Однако в процессе развития логического учения Аристотеля – в его силлогистике – формальный критерий приобретает известную самостоятельность и заслоняет собой критерий материальный. И таким образом логика Аристотеля, исходя из неформальных предпосылок, в процессе своего развития превращается в систему формальнологических приемов.
В конечном итоге логика Аристотеля представляет собой нечто среднее между логикой чисто формальной и метафизической, а равным образом и между логикой метафизической и диалектической (ввиду отмеченного В. И. Лениным колебания Аристотеля между диалектикой и метафизикой).
Именно этой позицией Аристотеля, колеблющегося между диалектикой, метафизикой и формальной логикой, объясняется, по-видимому, отнесение Ф. Энгельсом логических учений Аристотеля одновременно и к истории формальной логики и к истории диалектики. Ф. Энгельс пишет: «Сама формальная логика остается, начиная с Аристотеля и до наших дней, ареной ожесточенных споров. Что же касается диалектики, то до сих пор она была исследована более или менее точным образом лишь двумя мыслителями: Аристотелем и Гегелем»
[22]. В другом месте Ф. Энгельс отмечает: «…Исследование форм мышления, логических категорий, очень благодарная и необходимая задача, и за систематическое разрешение этой задачи взялся после Аристотеля только Гегель»
[23].
Рассмотрим учение Аристотеля об истине и законах мышления. Аристотель принимает истину в широком и в узком смысле. Истина в узком значении есть истина суждения. По Аристотелю, истина и ложь, строго говоря, относятся только к соединению и разъединению представлений и понятий. Наши суждения истинны или ложны в зависимости от того, соответствует ли совершаемое в них соединение или разъединение представлений и понятий самой действительности. Что же касается отдельных изолированных предметов мысли, то сами по себе они еще не истинны и не ложны. Но в более широком смысле понятие истины у Аристотеля переносится и на предметы мысли.
Такое расширенное понятие истины основывается на предположении, что предмет мысли (представление или понятие) сравнивается с реальным объектом, отображением которого он является, и в качестве истинного признается то представление или понятие, которое адекватно отряжает то, что существует в действительности. Мыслимое ложно в том случае, если ему или вообще не соответствует ничего в действительности, или если соответствующий реальный предмет в нем отображен неверно. Это – материальная ложность, и она заключается в несоответствии мыслимого реальным объектам. Другой вид ложности – ложность суждения. Она заключается в том, что несуществующее высказывается как существующее, т. е. предикат приписывается субъекту, которому он не принадлежит. Формула ложного суждения: «Не-А есть А».
Отдавая дань метафизике своего учителя Платона, Аристотель различает два вида суждений: вечные необходимые суждения, относящиеся к области вечных неизменных объектов, и суждения, относящиеся к кругу изменяющихся вещей. Так как объекты, подверженные изменению, возникновению и уничтожению, не пребывают всегда тождественными себе, то и суждения о них не являются устойчивыми. Будучи истинными, пока их объекты остаются равными себе эти же суждения становятся ложными, когда объекты изменяются во времени. В аристотелевском учении об истине это деление суждений имеет существенное значение. Только первые суждения образуют область строгого знания, вторые же суть просто мнения и не имеют строгого научного характера.
Сообразно с этим делением суждений и понятие истины у Аристотеля делится на два вида: вечная абсолютная истина и истина, которая в потоке времени переходит в свою противоположность и становится ложной.
Основным законом мышления у Аристотеля является закон противоречия. Аристотель называет этот закон самым неоспоримым принципом.
Аристотель дает несколько формулировок этого закона. В онтологической формулировке он выступает как наивысший закон самого бытия. Он гласит: «Невозможно, чтобы одно и то же в одно и то же время и в одном и том же отношении и было и не было присуще одному и тому же» («Метафизика», IV, 1005 b 19). Наряду с этой развернутой формулировкой дается краткая онтологическая формула: «Невозможно, чтобы одно и то же в одно и то же время было и не было». При этом Аристотель упоминает учение Гераклита, что одна и та же вещь и существует, и не существует, и утверждает, что это учение никто не может серьезно признавать. Здесь Аристотель оказывается не в силах понять диалектику Гераклита и отмахивается от нее, будучи не в состоянии ее опровергнуть. Наряду с указанными двумя онтологическими формулировками закона противоречия у Аристотеля часто встречаются и чисто логические формулировки этого закона.
