Fondée par Aristote, la logique (dite formelle) détermine la validité des opérations de l'esprit. À partir de l'étude des propositions les plus simples et de leur enchainement déductif, Aristote établit les règles du jugement formellement correct indépendamment de son contenu.
L'apport du philosophe à cette discipline est si fondamental que celle-ci s'est surtout développée par la systématisation et la simplification, plutôt que par le prolongement ou la contestation, de la logique aristotélicienne.
La logique aristotélicienne cherche la vérité dans la parole.
La logique est donc surtout le moyen de la rectitude de la pensée ; elle écarte les pièges verbaux (38).
La logique d'Aristote ne peut donc être considérée comme une science formelle que dans un contexte très limité ; en aucun cas, elle n'exprime une tendance vers le formalisme.