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

По Аристотелю, силлогизм представляет единственный истинный тип всех дедуктивных умозаключений, т. е. заключений от общего к частному. Вся традиционная логика, понятно, придерживалась твердо этого воззрения. Мы только удивляемся, что разделял его даже Милль. И по Миллю также силлогизм, который он, впрочем, понимает как заключение от частного к частному, является руководством для всех «рационативных» умозаключений, и теория его есть главная часть дедуктивной логики. Но это воззрение непосредственно может относиться только к первой аристотелевской схеме умозаключения, к первой силлогистической фигуре, и то, строго говоря, только к первому ее виду с общеутвердительным заключением: «Барбара» – таково характерное название, которое ненамеренно дала ему схоластическая логика. Этот вид, если не понимать его слишком формалистически, действительно составляет подходящую логическую форму для существенных групп наших дедуктивных умозаключений. Мы пользуемся им, когда применяем законы природы к новым случаям, которые не были предусмотрены при установлении этих законов; по тому же виду мы делаем выводы о классификационных признаках вещи. Другого способа приходить силлогистически к общеутвердительным положениям не существует. Но главное – это то, что этот вид силлогизма есть единственное чистое и непосредственное выражение принципа аристотелевского силлогизма. Среднее понятие в нем, действительно, и по общности своей является средним понятием, а что касается посылок, то уже из отношения их к среднему термину явствует, какая из них играет роль большей и какая меньшей посылки, в то время как во второй и третьей фигурах это приходится определять внешним путем, принимая во внимание заключение. Далее, в этих обеих фигурах заключение выводится не путем подчинения, а в одной – посредством противопоставления, в другой – посредством выключения объемной части, общей обоим крайним понятиям; во второй фигуре имеются значащие виды с отрицательными меньшими посылками, в третьей – значащие виды с частными большими посылками, т. е. без настоящих больших посылок; в первом случае нет подчиненности, во втором – подчинения. Сам Аристотель считает поэтому только первую свою фигуру совершенной, по себе доказательной формой умозаключения, и к ней он сводит свою вторую и даже третью фигуры, не замечая их своеобразности и явно прибегая при этом к искусственным построениям. Итак, Аристотель, по существу, знает только один вид дедуктивного умозаключения – первую фигуру. Вполне естественно, что все нападки на силлогизм, которые появились уже к концу древней эпохи и значительно усилились при возникновении новой философии, были направлены на эту первую фигуру и ее главный вид – модус Барбара.