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