逻辑架构、层次与分类

• 经典逻辑
• 三段论(传统逻辑,词项逻辑)
• 布尔逻辑
• 命题逻辑
• 一阶逻辑(谓词逻辑)
• 数理逻辑(符号逻辑)
• 代数逻辑
• 布尔代数
• 关系代数
• 模型论
• 证明论
• 希尔伯特演绎系统
• 自然演绎
• 相继式演算
• Curry-Howard同构
• 递归论
• λ演算
• 组合子逻辑
• 公理化集合论
• 二阶逻辑
• 哥德尔不完备定理
• 直觉逻辑(构造性逻辑)
• Heyting代数
• 中间逻辑
• 直觉类型论
• 多值逻辑
• 三值逻辑
• 模糊逻辑
• 概率逻辑
• 亚结构逻辑(子结构逻辑)
• 线性逻辑
• 相干逻辑
• 非单调逻辑
• 缺省逻辑
• 自动认识逻辑
• 可废止逻辑
• 模态逻辑
• 真势模态逻辑
• 认识逻辑
• 道义逻辑
• 时间逻辑(时态逻辑)
• 动态逻辑
• 可证明性逻辑
• 可解释性逻辑
• 哲学逻辑
• 次协调逻辑(弗协调逻辑)
• 自由逻辑
• 辩证法(辩证逻辑)
• 非形式逻辑
• 逻辑推理
• 演绎推理
• 归纳推理
• 溯因推理(设因推理，假设推理)
• 可废止推理
• 逻辑史
• 工具论（古希腊亚里士多德，公元前384-322年）
• 思维规律研究（英国乔治·布尔，公元1815-1864年）
• 概念文字（德国弗雷格，1848-1925年）
• 数学原理（英国罗素，1872-1970年）
• 逻辑学应用
• 数学基础
• 量子逻辑
• 分析哲学
• 计算机逻辑
• 人工智能
• 法律逻辑学