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