什么是逻辑?
研究句子
对当方阵
三段论
联结词逻辑
莱布尼茨律
归谬法
一种“新工具”
弗雷格的量词
语境原则
命题演算
康托尔的集合论
联结词的效用
罗素悖论
致命的错误
表面语法的问题
罗素的系统
维特根斯坦的逻辑图像
卡尔纳普和维也纳小组
宽容原则
希尔伯特的证明论
哥德尔的到来
哥德尔的不完备性定理
与证明论的联系
维特根斯坦的逻辑联结词表
维特根斯坦的真值表
发现重言式
数字电子的逻辑门
售货机
图灵和“恩尼格玛密码”
欧几里得的公理方法
莱布尼茨的证明方法
矛盾的滥用
联结词的规则
对语法的敏感
谓词演算
模型理论语义学
希尔伯特的递归模型
无限产出的有限规则
简单的操作指南
证明论和形式语言
塔斯基的真值条件
实践中的形式语义
拍一部肥皂剧
人工智能肥皂剧的逻辑
编程语言
图灵的AI菜谱
悖论难题
悖论能够被回避吗?
类型理论
塔斯基的撒谎者悖论解决方案
纠缠不休的悖论
哥德尔的不完备性定理
哥德尔定理的影响
停机问题
哥德尔证明的局限
芝诺运动悖论
无穷总和
极限的收敛
一“堆”有多少?
对集合的挑战
消解逻辑
模糊词语的虚构性
词语“意味”着什么?
模糊逻辑
模糊的堆
逻辑能够避免悖论吗?
非经典逻辑:直觉主义
恶魔论证
直觉主义逻辑
直觉主义vs归谬法
直觉主义的流行
思考一些古老的问题
可能的值
作为数字的真值
可能与矛盾律
从经典逻辑到模糊逻辑
电子“可能”状态
模糊逻辑搜索引擎
模糊逻辑机器
展开