История логики

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

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

. В другом месте Ф. Энгельс отмечает: «…Исследование форм мышления, логических категорий, очень благодарная и необходимая задача, и за систематическое разрешение этой задачи взялся после Аристотеля только Гегель»[23].

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

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

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

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

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

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

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

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