打开APP
未登录
开通VIP,畅享免费电子书等14项超值服
开通VIP
首页
好书
留言交流
下载APP
联系客服
逻辑架构、层次与分类
小袤
>《逻辑》
2011.08.02
关注
逻辑架构、层次与分类
经典逻辑
三段论
(
传统逻辑
,
词项逻辑
)
布尔逻辑
命题逻辑
一阶逻辑
(
谓词逻辑
)
数理逻辑
(
符号逻辑
)
代数逻辑
布尔代数
关系代数
模型论
证明论
希尔伯特演绎系统
自然演绎
相继式演算
Curry-Howard
同构
递归论
λ演算
组合子逻辑
公理化集合论
二阶逻辑
哥德尔不完备定理
直觉逻辑
(
构造性逻辑
)
Heyting
代数
中间逻辑
直觉类型论
多值逻辑
三值逻辑
模糊逻辑
概率逻辑
亚结构逻辑
(
子结构逻辑
)
线性逻辑
相干逻辑
非单调逻辑
缺省逻辑
自动认识逻辑
可废止逻辑
模态逻辑
真势模态
逻辑
认识逻辑
道义逻辑
时间逻辑
(
时态逻辑
)
动态逻辑
可证明性逻辑
可解释性逻辑
哲学逻辑
次协调逻辑
(
弗协调逻辑
)
自由逻辑
辩证法
(
辩证逻辑
)
非形式逻辑
逻辑推理
演绎推理
归纳推理
溯因推理
(
设因推理,假设推理
)
可废止推理
逻辑史
工具论
(古希腊
亚里士多德
,公元前
384-322
年)
思维规律研究
(英国
乔治·布尔
,公元
1815-1864
年)
概念文字
(德国
弗雷格
,
1848-1925
年)
数学原理
(英国
罗素
,
1872-1970
年)
逻辑学应用
数学基础
量子逻辑
分析哲学
计算机逻辑
人工智能
法律逻辑学
本站仅提供存储服务,所有内容均由用户发布,如发现有害或侵权内容,请
点击举报
。
打开APP,阅读全文并永久保存
查看更多类似文章
猜你喜欢
类似文章
为什么我们总是从蠢模型开始?
《逻辑新引·怎样判别是非》 阅读笔记(十五)
机器学习之人工神经网络算法
架构:常用架构模式
ARIS在业务流程架构设计中的应用
刷完逻辑狗、何秋光、阶梯数学,小孩子的数学思维为什么还是没有打开?
更多类似文章 >>
生活服务
热点新闻
留言交流
回顶部
联系我们
分享
收藏
点击这里,查看已保存的文章
导长图
关注
一键复制
下载文章
绑定账号成功
后续可登录账号畅享VIP特权!
如果VIP功能使用有故障,
可点击这里联系客服!
联系客服
微信登录中...
请勿关闭此页面
先别划走!
送你5元优惠券,购买VIP限时立减!
5
元
优惠券
优惠券还有
10:00
过期
马上使用
×