新手快速入门 && 维客语录第8条：一桌菜大家一起分享!

Cnic.org,开放的网络天书！

逻辑学是一门研究思维形式及思维规律的科学。以推理形式为主要研究对象。现代的逻辑学与数学有非常密切的关系。

逻辑学分为以下分支：

• 逻辑史
• 辩证逻辑
• 形式逻辑
• 数理逻辑
• 哲学逻辑
• 语言逻辑
• 归纳逻辑
• 非经典逻辑
  • 模态逻辑
  • 多值逻辑
  • 道义逻辑
  • 认识论逻辑
  • 时态逻辑
  • 存在逻辑
  • 拓扑逻辑
  • 断定逻辑
  • 优先逻辑

其中数理逻辑是现代逻辑学的主流。