Avec l'analyse préalable, Aristote se voit attribuer la première étude de la logique formelle, et sa conception de celle-ci était la forme dominante de la logique occidentale jusqu'aux avancées de la logique mathématique du XIXe siècle. Kant a déclaré dans la Critique de la raison pure que la théorie de la logique d'Aristote expliquait complètement le coeur de l'inférence déductive.
Aristote est le père de la logique.