• 古代逻辑的前兆

• 亚里士多德
  • 分类形式
  • 三段论

• 泰奥弗拉斯托斯的Eresus

• 麦加拉学派的斯多葛学派

• 后期的代表古希腊逻辑

• 希腊的传播西方逻辑拉丁

• 阿拉伯语的逻辑

• 在欧洲的复兴逻辑
  • 圣安瑟伦和彼得阿伯拉尔
  • “条款”的性质和讨论的谬论

• 在13和14世纪早期发展
  • 理论的假设
  • 模态逻辑的发展

• 中世纪晚期的逻辑

• 16世纪

• 17世纪

• 莱布尼茨

• 18、19世纪
  • 戈特弗里德Ploucquet
  • 约翰·海因里希·兰伯特
  • 其他18世纪逻辑学家
  • 布尔和德摩根
  • 查尔斯•桑德斯皮尔斯
  • Gottlob弗雷格
  • 恩斯特·施罗德
  • Georg康托尔
  • 其他19世纪逻辑学家

• 命题和谓词逻辑

• 数学原理及其后果

• 集理论
  • Zermelo-Fraenkel集理论(ZF)
  • 连续体问题和可构造性公理
  • 选择的公理
  • 问题和新方向

• 理论逻辑(逻辑)

• 语法和证据理论

• 逻辑语义和模型理论
  • 完整性
  • 哥德尔不完备定理
  • 模型理论的发展

• 接口的证据理论和模型理论

• 递归函数理论和可计算性
  • 有效的可计算性
  • 的图灵机
  • 递归函数理论的应用