Учение о модальностях

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

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

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

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

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

Таким образом, Аристотель принимает два вида реальной возможности: принцип движения от внешнего воздействия и имманентный принцип становления – движения, изменения и развития.

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

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

Так, он говорит, что суждения возможности находятся в контрадикторной противоположности по отношению к суждениям необходимости. Но как это возможно, если суждения возможности отражают совершенно иной класс предметов, чем суждения необходимости?

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

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

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

Логические же формы для Аристотеля суть отражение реальных отношений вещей в самой объективной действительности. Г. Майер пишет: «Аристотель ищет пути проникновения через языковую скорлупу в логическое зерно»[33], причем этот избираемый им путь основан на предпосылке, что грамматические формы некоторым образом соответствуют реальным отношениям вещей.