Силлогистическая логика, разработанная Аристотелем, преобладала на Западе до середины 19 века, когда интерес к основам математики стимулировал развитие символической логики (теперь называемой математической логикой). В 1854 году Джордж Буль опубликовал «Исследование законов мысли, на которых основаны математические теории логики и вероятностей», представив символическую логику и принципы того, что сейчас известно как булевская логика.
Есть область математики, называемая математической логикой, которая изучает логику с помощью математики.