教传入中国。现在所使用的逻辑学直接来源于古希腊逻辑学。亚里斯多德等人确立了完整的形式逻辑、三段论等逻辑学基本理论。中世纪欧洲的哲学家和伊斯兰哲学家对逻辑学也做出了贡献。在现代，逻辑学发展巨大，传统的形式逻辑被数学化重新描述为数理逻辑，也产生了非形式逻辑。