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

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

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

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

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

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

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

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

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

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

Место Аристотеля в истории логики

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

Таким образом, Аристотель определенно указывает, что теория силлогизма впервые создана им, но, как выше было отмечено, он разработал только учение о категорическом силлогизме. Как первый автор, создавший систему логики в качестве самостоятельной науки, и как творец первой теории умозаключений (хотя далеко не полной) Аристотель вполне заслуженно получил наименование «отца логики». Но это не следует понимать в том смысле, что никто до Аристотеля не занимался вопросами логики и что логика сразу в законченном виде возникла у Аристотеля, подобно Минерве, вышедшей из головы Юпитера в готовом виде.

Чересчур ревностные почитатели Аристотеля (Б. Сент-Илер, например) изображают дело так, будто наука логика началась и закончилась Аристотелем, будто им было сказано почти все.