L'histoire de la logique, en Occident, prend ses racines dans la philosophie et les mathématiques de la Grèce antique pour se développer en richesse au xxe siècle. Des développements parallèles ont notamment eu lieu en Chine et en Inde. Le développement de la logique dans le monde arabo-musulman s'intègre à celui de l'Europe, du fait de leur proximité.
Logique pré-moderne :
Logique chinoise, Logique indienne, Époque babylonienne (préfigure le raisonnement logique)
Dans le monde occidental, les bases de la logique ont été formalisées par Aristote et Euclide.
Euclide (vers -325, mort vers -265) est un formalisateur qui expose sa doctrine dans un ouvrage appelé Eléments, constitué de 13 livres. Son objectif se limite à fonder un corpus logique suffisant pour les mathématiques. Les éléments fondamentaux qu'il appelle « notion ordinaire » ou postulat sont spécifiques aux mathématiques. Ils ne peuvent prétendre à la généralité que couvre la logique d'Aristote, qui est essentiellement à finalité philosophique.
La Grèce antique a vu aussi une autre forme de logique, la logique mégarico-stoïcienne, très différente dans ses principes (voir Stoïcisme).
Logique pré-moderne :
Logique chinoise, Logique indienne, Époque babylonienne (préfigure le raisonnement logique)
Dans le monde occidental, les bases de la logique ont été formalisées par Aristote et Euclide.
Euclide (vers -325, mort vers -265) est un formalisateur qui expose sa doctrine dans un ouvrage appelé Eléments, constitué de 13 livres. Son objectif se limite à fonder un corpus logique suffisant pour les mathématiques. Les éléments fondamentaux qu'il appelle « notion ordinaire » ou postulat sont spécifiques aux mathématiques. Ils ne peuvent prétendre à la généralité que couvre la logique d'Aristote, qui est essentiellement à finalité philosophique.
La Grèce antique a vu aussi une autre forme de logique, la logique mégarico-stoïcienne, très différente dans ses principes (voir Stoïcisme).