В философии стоицизма, выступившего несколькими десятилетиями позже Аристотеля, логика понималась как некая специальная наука, составляющая часть науки в более обширном смысле слова. Напротив, для Аристотеля логика — не отдельная наука, а орудие (organon) всякой науки. Аристотель называет логику «Аналитикой»; в специальном трактате, который получил название «Аналитик» (Первой и Второй), он изложил ее основные учения: об умозаключении и о доказательстве. Задача логики, как ее понимает Аристотель, — исследование и указание методов, при помощи которых известное данное может быть сведено к элементам, способным стать источником его объяснения. Из этого видно, что основной метод логики Аристотеля — «сведение». Учение об этом искусстве Аристотель называет «наукой», но здесь этот термин он понимает не в смысле специальной по предмету отрасли науки, а широко, как умозрительное исследование, дающее возможность различить условия доказательства, его виды, степени, а также выяснить последние предложения, достигнув которых мы уже не можем продолжать сведение данного к элементам, объясняющим это данное.
«Аналитики» — не единственный труд Аристотеля по логике. Важным вопросам логики посвящены также его «Топика», «Об истолковании», «Опровержение софистических умозаключений», «Категории», а кроме того отдельные места «Метафизики» и даже «Этики».
Изучение всех сочинений Аристотеля, посвященных вопросам логики или, по крайней мере, рассматривающих эти вопросы, показывает, что в логических исследованиях Аристотеля наибольшее его внимание привлекали три проблемы:
1) вопрос о методе вероятностного знания; этот отдел логических исследований Аристотель называет «диалектикой», он рассматривает его в своей «Топике»;
2) вопрос о двухосновных методах выяснения уже не вероятного только знания, а знания достоверного; эти методы — определение «.доказательство;
3) вопрос о методе нахождения посылок знания; это индукция.
Сравнение учения Аристотеля о знании с учениями некоторых крупных рационалистов XVII в., например Декарта, показывает, что в одном чрезвычайно важном вопросе теории познания и логики Аристотель видел дальше и яснее, чем знаменитый французский ученый и философ. Это вопрос о вероятностном знании. Аристотель с не меньшей силой, чем позднейшие рационалисты, и с гораздо большим приближением к материализму, чем они, полагал, что цель знания — верное отражение самой реальности. Вместе с тем он ясно видел, что далеко не всегда и не по всем вопросам знание сразу возникает как достоверное познание реальности. В ряде случаев и по ряду вопросов знание не может быть непререкаемым обладанием истиной, а есть лишь знание вероятное. Это знание предполагает свой, особый метод. Это не метод науки в точном смысле слова, а метод, приближающий к научному методу, подготовляющий его. Аристотель называет его «диалектикой», отклонившись в использовании этого термина от традиции его применения у Сократа и у Платона. Для Сократа «диалектика» была способом отыскания достоверного знания посредством анализа противоречий в ходячих и в философских представлениях о его предмете. Для Платона «диалектика» — учение о познании истинно-сущего, достигаемое посредством упражнения ума в созерцании бестелесных «эйдосов», или «идей», не опирающемся на чувственность. И у того и у другого «диалектика» — знание достоверное.
Напротив, для Аристотеля «диалектика» — только исследование, а не доктринальное изложение непререкаемых истин. Предмет аристотелевской «диалектики» — не сама истина, не соответствие знания его предмету, а только отсутствие формального противоречия между терминами обсуждаемого вопроса, а также между положениями, высказанными участниками спора. Ценность «диалектики», по Аристотелю, во-первых, в ее способности показать, каким образом должен исследоваться вопрос; для этого развиваются умозаключения, которые могли бы привести к ответу на поставленный вопрос (не к достоверному, а всего лишь вероятному) и которые были бы свободны от противоречий. Во-вторых, «диалектика» дает способ исследовать, что в ответах на поставленный вопрос может быть ложного.
В качестве специфических умозаключений, а именно не способных к обоснованию достоверных выводов, «диалектические» силлогизмы, как их называет Аристотель, основываются не на необходимых посылках, а на «мнениях, принятых на веру», иначе — на положениях, признанных в качестве вероятных авторитетными лицами. Единственная логическая сила, которой обладают «диалектические» силлогизмы, — их внутренняя непротиворечивость. Однако, опираясь на эту свободу от внутренних противоречий, можно получить всего лишь вероятные выводы. Такое исследование следует считать не установлением истины, а всего лишь испытанием.