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