逻辑关系有哪几种?
3个回答
展开全部
逻辑有时也指逻辑学。逻辑学是研究推理规律的理论。逻辑学分古典逻辑和现代逻辑。
逻辑又有演绎逻辑,归纳逻辑,形式逻辑,非形式逻辑等不同类型。
逻辑架构
* 经典逻辑
·三段论(传统逻辑,词项逻辑)
·布尔逻辑
·命题逻辑
·一阶逻辑(谓词逻辑)
* 数理逻辑(符号逻辑)
·模型论
+ 布尔代数
·证明论
+ 自然演绎
+ 相继式演算
+ Curry-Howard同构
·递归论
+ λ演算
+ 组合子逻辑
·公理化集合论
·二阶逻辑
·哥德尔不完备定理
* 直觉逻辑(构造性逻辑)
·Heyting代数
·中间逻辑
·直觉类型论
* 多值逻辑
·多值代数
·模糊逻辑
·概率逻辑
* 亚结构逻辑(子结构逻辑)
·线性逻辑
·相干逻辑
* 非单调逻辑
·缺省逻辑
·自动认识逻辑
·可废止逻辑
* 模态逻辑
·真势模态逻辑
·认识逻辑
·道义逻辑
·时间逻辑(时态逻辑)
·动态逻辑
·可证明性逻辑
·可解释性逻辑
* 哲学逻辑
·次协调逻辑(弗协调逻辑)
·自由逻辑
* 辩证法(辩证逻辑)
* 非形式逻辑
* 逻辑推理
·演绎推理
·归纳推理
·溯因推理(设因推理,假设推理)
·可废止推理
* 逻辑史
·工具论(古希腊)亚里士多德(BC384-BC322)
·思维规律研究(英国)乔治·布尔(1815-1864)
·概念文字(德国)弗雷格(1848-1925)
·数学原理(英国)罗素(1872-1970)
* 逻辑学应用
·数学基础
·量子逻辑
·分析哲学
·计算机逻辑
·人工智能
·法律逻辑学
更多关于逻辑的问题,请参考互动百科。
逻辑又有演绎逻辑,归纳逻辑,形式逻辑,非形式逻辑等不同类型。
逻辑架构
* 经典逻辑
·三段论(传统逻辑,词项逻辑)
·布尔逻辑
·命题逻辑
·一阶逻辑(谓词逻辑)
* 数理逻辑(符号逻辑)
·模型论
+ 布尔代数
·证明论
+ 自然演绎
+ 相继式演算
+ Curry-Howard同构
·递归论
+ λ演算
+ 组合子逻辑
·公理化集合论
·二阶逻辑
·哥德尔不完备定理
* 直觉逻辑(构造性逻辑)
·Heyting代数
·中间逻辑
·直觉类型论
* 多值逻辑
·多值代数
·模糊逻辑
·概率逻辑
* 亚结构逻辑(子结构逻辑)
·线性逻辑
·相干逻辑
* 非单调逻辑
·缺省逻辑
·自动认识逻辑
·可废止逻辑
* 模态逻辑
·真势模态逻辑
·认识逻辑
·道义逻辑
·时间逻辑(时态逻辑)
·动态逻辑
·可证明性逻辑
·可解释性逻辑
* 哲学逻辑
·次协调逻辑(弗协调逻辑)
·自由逻辑
* 辩证法(辩证逻辑)
* 非形式逻辑
* 逻辑推理
·演绎推理
·归纳推理
·溯因推理(设因推理,假设推理)
·可废止推理
* 逻辑史
·工具论(古希腊)亚里士多德(BC384-BC322)
·思维规律研究(英国)乔治·布尔(1815-1864)
·概念文字(德国)弗雷格(1848-1925)
·数学原理(英国)罗素(1872-1970)
* 逻辑学应用
·数学基础
·量子逻辑
·分析哲学
·计算机逻辑
·人工智能
·法律逻辑学
更多关于逻辑的问题,请参考互动百科。
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询