Важно иметь в виду, что Аристотель впервые в истории античной философии занялся специальным изучением внутренней структуры человеческого мышления и стремился вывести логические формы из реального содержания мысли. Законы и правила логики, на его взгляд, не произвольны, а берут объективные истоки в отношениях предметного мира.
В средние века (VI-XV вв.) логика в значительной мере была подчинена интересам богословия. В этот период теоретический поиск в логике развернулся вокруг проблемы объяснения природы общих понятий. Так, представители реализма того периода, поддерживая взгляды Платона, утверждали, что общие понятия существуют реально вне единичных предметов, составляя некую сверхъестественную сущность последних. Подобной точки зрения придерживались, например, А. Кентерберийский (1033-1109), Ф. Аквинский (1225-1274).
Представители же номинализма, напротив, полагали, что реально существуют только единичные предметы, а общие понятия - лишь имена, названия для них. Такой позиции придерживались И. Росцелин (1050-1120), У. Оккам (1285-1349) и др. Однако в итоге этих споров как одна, так и другая сторона принижали роль логического знания.
Основателем арабоязычной логики считается сирийский математик Аль-Фараби (870-950), прокомментировавший весь аристотелевский «Органон». Его логика направлена на анализ научного мышления. Аль-Фараби выделяет в логике две ступени: одна охватывает представления и понятия; другая - теорию суждений, выводов и доказательств.
Развивает логику в этот период известный таджикский мыслитель Ибн Сина (980-1037). В работе «Логика» он стремится обобщить аристотелевскую силлогистику, установить зависимость между категорическими и условными суждениями.
В эпоху Возрождения (XV-XVI вв.) происходит активизация эмпирических тенденций в логике и методологии научного знания. В этот период происходит бурное развитие науки, она сближается с практикой. Ведущее место среди других наук начинает занимать математика.
В развитии логики большую роль сыграл английский философ Ф. Бекон (1561-1626). Он разработал основы индуктивной логики в своем труде «Новый Органон», который, по мысли автора, должен заменить старый аристотелевский «Органон». Если прежние философы рассматривали логику только как средство проверки и обоснования истины, то Ф. Бэкон предложил использовать логику в качестве эффективного орудия для осуществления научных открытий. Задача логики, согласно взглядам Ф. Бэкона, состоит в обосновании индуктивных выводов, в которых рассуждения человека идут от частного знания к знанию общему. Он также разработал индуктивные методы определения причинной связи между явлениями: метод сходства, метод различия, соединенный метод сходства и различия, метод сопутствующих изменений, метод остатков.
