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

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

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

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

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

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

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

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

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

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

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

С другой стороны, упрекали Аристотеля в замалчивании, в намеренном неупоминании своих предшественников там, где он использовал их результаты. В этом обвиняли Аристотеля Фр. Бэкон, Ф. Шлейермахер и др.

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

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

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

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

Логика Аристотеля была подготовлена всем предшествующим развитием философской мысли Древней Греции. Уже первые греческие философы занимались научным исследованием природы, и только потому, что до нас дошли лишь свидетельства о результатах этих исследований, а не о том, какими путями философы пришли к ним, мы не знаем, какими умозаключениями и доказательствами они пользовались. Ионийские философы-материалисты придерживались того взгляда, что мышление должно опираться на чувственные данные и ими же проверять свои заключения. Парменид же отверг достоверность чувственных данных и в противоположность ионийским философам в качестве основного критерия истины выдвинул формальнологический закон отсутствия внутреннего противоречия, согласие истины с самой собой. Демокрит уже выступает в качестве автора специального трактата по логике, в котором проводит мысль, что основой умозаключений должны служить достоверные данные опыта, а проверкой истинности заключений – их пригодность для объяснения явлений мира.

Софистика и риторика (основатель последней Горгий) повысили интерес к вопросам логики. Сократ и Платон пытались решить основные вопросы логики на идеалистической основе.

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