Logika starożytna Szeroko rozpowszechniony był niegdyś pogląd uważający za twórcę logiki SokratesaReale, s. 382.. Opinia ta oparta była na pracach Arystotelesa, który w Metafizyce uznawał go za twórcę rozumowania indukcyjnego i definicjiArystoteles, Metafizyka, M 4, 1078 b 23-30.. Pogląd ten uznaje się obecnie za błędny, pomimo bowiem faktu, że Sokrates używał w praktyce indukcji i dążył do określenia znaczenia pojęć, to nie ujmował ich teoretycznie. Tym samym nie można go uznać za twórcę tych pojęćReale, s. 385..
Logika Arystotelesa Arystoteles uprawiał przede wszystkim filozofię, logikę traktował jako narzędzie ( organon) używane do prowadzenia sporów retorycznych głównie z sofistami, a także umożliwiające wyciąganie wniosków za pomocą sylogizmów co było pomocne w zdobywaniu wiedzy naukowej. Logika nie była traktowana jako nauka ani jako system, jednak Arystoteles dał podstawy do rozwoju logiki jako odrębnej dyscypliny badawczej rozwijając takie zagadnienia jak: definiowanie, klasyfikowanie logiczne, wnioskowanie indukcyjne, czy pojęcie dowodu.