С Александром Македонским Аристотель расстался накануне его первого похода в Азию. 50-летний философ вместе с женой Пифиадой, дочерью и воспитанником Никанором (сыном своего опекуна) уехал в Афины, оставив вместо себя своего племянника и ученика, философа Каллистена. Платоновской Академией в то время руководил Ксенократ, Аристотель же основал в Ликии (священной роще Аполлона Ликейского) свою школу.
По имени рощи эта школа стала называться Ликеем, а ее ученики – перипатетиками. Название это происходит от греческого слова «перипатос» (крытая галерея для прогулок, где проходили занятия). Перипатетиков было не так уж много, поскольку философия Аристотеля включала в себя чуждые для афинян естественнонаучные взгляды.
Творчество Аристотеля поражает своей энциклопедической разносторонностью. Согласно традиции его сочинения делятся обычно на семь групп:
– логические сочинения, которые позже перипатетики назвали Органон (organon – инструмент), ибо логику отделил от философии еще сам Аристотель и признал необходимым инструментом и основой всякой науки;
– сочинения из области физики, то есть науки о природе (от греческого слова physis — природа);
– биологические сочинения;
– сочинения из области психологии;
– произведения, касающиеся так называемой первичной философии;
– практические сочинения по вопросам этики, политики, экономики, теории государства и права;
– сочинения из области риторики и поэтики.
Однако центральную часть его научного наследия составляет философия, которой он, как и Платон, отводил самое возвышенное место. В первых книгах своей «Метафизики» Аристотель писал: «Философия есть наука, имеющая предметом исследование первых начал и причин вещей или сущности явлений. Она выше всех наук и чужда всякой корысти. Источник философии – это наше стремление постигнуть все непонятное и поразительное силой мысли». Рассмотренные им вопросы о материи, форме, причинах охватывают область так называемой первичной философии как учения о неизменных и неподвижных сущностях, хотя и в их связи с движением.
Эти вопросы рассматриваются Аристотелем в «Метафизике», получившей свое название совершенно случайно, в силу того что в собрании Андроника Родосского, составившего список произведений Аристотеля, эта работа находилась «после физики». Однако слово «метафизика» получило в дальнейшем свой особый смысл – как учение о принципах бытия, не раскрываемых физикой, т. е. умозрительных, онтологических положениях, из которых выводятся другие философские положения.
Аристотель первым определил задачу философии – исходить из общих начал для объяснения частных явлений. Указал он и средства для достижения этой цели, которые исходили из науки логики. В «Первой аналитике» Аристотель подробно объяснил, как образуются понятия, суждения, умозаключения, перечислил их разные виды. Свойства предметов он назвал категориями. Их десять – категории бытия, количества, качества, отношения, времени, места, положения, владения, действия и страдания. Во «Второй аналитике» было изложено учение о доказательствах, или выведениях. Наука есть знание о доказательствах, в которых «подлежащему» приписывается известное «сказуемое» на основании причины, почерпнутой из наблюдений.
В целом Аристотель посвятил логике несколько трудов, в том числе книги «Категории», «Об истолковании», две книги «Аналитики», две книги «Второй аналитики, или Трактата о доказательстве», «Трактат о диалектике» и работу «О софистических опровержениях». В своих трактатах Аристотель обстоятельно исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления, в том числе законы противоречия, тождества и исключения третьего. Он также заметил, что между созданной им наукой и математикой (тогда она именовалась арифметикой) много общего.
Ученый пытался соединить эти две науки, а именно свести размышление, вернее, умозаключение, к вычислению на основании исходных положений. В одном из своих трактатов он вплотную приблизился к такому разделу математической логики, как теория доказательств.
Большой вклад философ внес в создание теории о категорическом силлогизме. В качестве примера он приводит такой силлогизм: «Из положения, что все люди смертны и Сократ – человек, вытекает, что Сократ смертен». Силлогизм представляет собой вывод от общего к частному, т. е. дедукцию. Но Аристотель признавал и индукцию – вывод от частного к общему. Индукцию Аристотель рассматривал как путь познания общего. В логике Аристотеля большое место занимала разработка вопроса об общих принципах доказательства.