Между тем как платоновская теория приписывала отдельным предметам только несовершенное участие в создании вечных и неизменных идей, А. выходил из того положения, что идеи не имеют самостоятельного существования вне отдельных предметов и представляют лишь внутренние, субъективные формы действительности. На этом основании самые глубокие и всеобъемлющие исследования А. имеют своим предметом преимущественно отношения общего к частному, и точным определением этих отношений он и сделался основателем логики. Рассматривая общее за истинную сущность того, что есть в отдельных предметах, он должен был поставить задачей науки объяснить это общее через «понятие» и закрепляющее его «определение», так как знать — значит понять. Понятие есть центр логической теории А.; он впервые разработал этот элемент мысли надлежащим образом и, по возможности, всесторонне. Он учил, что наши представления соответствуют формам существующего, и его «категории», которые он (по-видимому, не без влияния грамматических форм речи) признавал за высшие виды понятий, были для него в то же время «высшими формами бытия». Подобным же образом, А. считал высказываемое в суждении положительное или отрицательное сочетание представлений за верное выражение соответственного сочетания реальных вещей, и в этом смысле дал исследование о различных способах группировки понятий в суждениях, сделавшееся на долгие времена основой логики. Далее, он построил теорию силлогизмов или умозаключений, как основанный на правильном соединении понятий способ достижения научной истины. В самом деде, когда понятия установились и разграничились, т.е. когда составились общие суждения, то за этим должен следовать вывод. Орудием к получению этого вывода и является умозаключение, имеющее своей задачей от какого-нибудь общего начала дойти до частностей, объяснить явление сведением его к общему положению, уже известному. Теория силлогистического доказательства А., если смотреть на нее, не как на источник и основание наших знаний, как, по-видимому, думал сам А. и в особенности его позднейшие поклонники, но как на исследование законов, по которым ум выводить частное заключение из общего положения, и как на поверку частного вывода помощью общих начал, навсегда останется одним из величайших приобретений в области логики. Наконец, чтобы утвердить пользование логическим доказательством на прочном основании, А. не оставил без внимания и предварительного процесса мышления, т. е. составления первоначальных суждений. Наблюдение, опыт и наведение — вот источники, из которых человек черпает свои суждения о вещах. А. показал, как путем наведения наука восходит от воспринятого чувствами единичного факта к общему и затем развивается дальше силлогистическими заключениями. С другой стороны, так как никакое доказательство не может быть проведено обратно до бесконечности, то он указывает на необходимость для каждой отрасли известного числа основных начал и понятий, познаваемых непосредственно и интуитивно. Сам он указывает в этом отношении только на так называемые начала противоречия и исключенного третьего, которые не могут быть доказаны, но находятся вне сомнения ( А есть Б, след. А не может быть не-Б; А есть или Б или не-Б, след. среднее немыслимо). Ср. Ф.Ф. Кампе, Erkenntnistheorie des Aristoteles" (Лейпциг, 1870); P. Эйкен, «Die Methode der aristotelischenForschung» (Берлин, 1872); Соттини, «Aristotile е il metodo scientifico» (Пиза, 1873).