逻辑架构、层次与分类

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