La logique syllogiste développée par Aristote a prédominé dans l'Ouest jusqu'au milieu du XIXe siècle, lorsque l'intérêt pour les fondements des mathématiques a stimulé le développement de la logique symbolique -LRB- maintenant appelée logique mathématique -RRB-. En 1854, George Boole publia An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, introducing symbolic logic and the principles of what is now known as Boolean logic.
Il existe un domaine des mathématiques appelé logique mathématique qui étudie la logique à l'aide des mathématiques.