商品详情
书名:逻辑学
作者: (英)丹·克莱恩,(英)沙龙·沙提勒 著 陈仕伟 译 (英)比尔·梅布林 绘
定价: 32
出版社: 生活读书新知三联书店
出版日期: 2019年09月01日
页数: 178
装帧: 平装
ISBN: 9787108065193
什么是逻辑?
研究句子
对当方阵
三段论
联结词逻辑
莱布尼茨律
归谬法
一种“新工具”
弗雷格的量词
语境原则
命题演算
康托尔的集合论
联结词的效用
罗素悖论
致命的错误
表面语法的问题
罗素的系统
维特根斯坦的逻辑图像
卡尔纳普和维也纳小组
宽容原则
希尔伯特的证明论
哥德尔的到来
哥德尔的不完备性定理
与证明论的联系
维特根斯坦的逻辑联结词表
维特根斯坦的真值表
发现重言式
数字电子的逻辑门
售货机
图灵和“恩尼格玛密码”
欧几里得的公理方法
莱布尼茨的证明方法
矛盾的滥用
联结词的规则
对语法的敏感
谓词演算
模型理论语义学
希尔伯特的递归模型
无限产出的有限规则
简单的操作指南
证明论和形式语言
塔斯基的真值条件
实践中的形式语义
拍一部肥皂剧
人工智能肥皂剧的逻辑编程语言
图灵的AI菜谱
悖论难题
悖论能够被回避吗?
类型理论
塔斯基的撒谎者悖论解决方案
纠缠不休的悖论
哥德尔的不完备性定理
哥德尔定理的影响
停机问题
哥德尔证明的局限
芝诺运动悖论
无穷总和
极限的收敛
一“堆”有多少?
对集合的挑战
消解逻辑
模糊词语的虚构性
词语“意味”着什么?
模糊逻辑
模糊的堆
逻辑能够避免悖论吗?
非经典逻辑:直觉主义
恶魔论证
直觉主义逻辑
直觉主义vs归谬法
直觉主义的流行
思考一些古老的问题
可能的值
作为数字的真值
可能与矛盾律
从经典逻辑到模糊逻辑
电子“可能”状态
模糊逻辑搜索引擎
模糊逻辑机器
量子世界中的逻辑
量子逻辑的分配律
量子逻辑如何工作
实验逻辑
逻辑和科学
哥白尼革命
伽利略革命
演绎法和归纳法
归纳问题
休谟之叉
规则式的演绎
基于概括的归纳
规律或者经验预测
乌鸦悖论
因果问题
波普尔对亨普尔的回应
波普尔的否证理论
可行理论的概率
蒯因的“信念之网”
“网”的替代选择
不充分的证据
蒯因的相对主义
费耶阿本德对科学方法的否定
戴维森对蒯因的回应
真理的表征
硬边真理vs相对主义
认知科学与逻辑
乔姆斯基的通用语法
名词和动词的范畴
语法的递归规则
X-bar理论
逻辑理论
语法和语义的问题
复杂的语法结构
“通用”语法的问题
符号化的大脑模型
训练一个神经网络
模式识别
理性行为模型
实践理性
什么是意识?
逻辑的地位
维特根斯坦的观点转变
延伸阅读
索引
研究句子
对当方阵
三段论
联结词逻辑
莱布尼茨律
归谬法
一种“新工具”
弗雷格的量词
语境原则
命题演算
康托尔的集合论
联结词的效用
罗素悖论
致命的错误
表面语法的问题
罗素的系统
维特根斯坦的逻辑图像
卡尔纳普和维也纳小组
宽容原则
希尔伯特的证明论
哥德尔的到来
哥德尔的不完备性定理
与证明论的联系
维特根斯坦的逻辑联结词表
维特根斯坦的真值表
发现重言式
数字电子的逻辑门
售货机
图灵和“恩尼格玛密码”
欧几里得的公理方法
莱布尼茨的证明方法
矛盾的滥用
联结词的规则
对语法的敏感
谓词演算
模型理论语义学
希尔伯特的递归模型
无限产出的有限规则
简单的操作指南
证明论和形式语言
塔斯基的真值条件
实践中的形式语义
拍一部肥皂剧
人工智能肥皂剧的逻辑编程语言
图灵的AI菜谱
悖论难题
悖论能够被回避吗?
类型理论
塔斯基的撒谎者悖论解决方案
纠缠不休的悖论
哥德尔的不完备性定理
哥德尔定理的影响
停机问题
哥德尔证明的局限
芝诺运动悖论
无穷总和
极限的收敛
一“堆”有多少?
对集合的挑战
消解逻辑
模糊词语的虚构性
词语“意味”着什么?
模糊逻辑
模糊的堆
逻辑能够避免悖论吗?
非经典逻辑:直觉主义
恶魔论证
直觉主义逻辑
直觉主义vs归谬法
直觉主义的流行
思考一些古老的问题
可能的值
作为数字的真值
可能与矛盾律
从经典逻辑到模糊逻辑
电子“可能”状态
模糊逻辑搜索引擎
模糊逻辑机器
量子世界中的逻辑
量子逻辑的分配律
量子逻辑如何工作
实验逻辑
逻辑和科学
哥白尼革命
伽利略革命
演绎法和归纳法
归纳问题
休谟之叉
规则式的演绎
基于概括的归纳
规律或者经验预测
乌鸦悖论
因果问题
波普尔对亨普尔的回应
波普尔的否证理论
可行理论的概率
蒯因的“信念之网”
“网”的替代选择
不充分的证据
蒯因的相对主义
费耶阿本德对科学方法的否定
戴维森对蒯因的回应
真理的表征
硬边真理vs相对主义
认知科学与逻辑
乔姆斯基的通用语法
名词和动词的范畴
语法的递归规则
X-bar理论
逻辑理论
语法和语义的问题
复杂的语法结构
“通用”语法的问题
符号化的大脑模型
训练一个神经网络
模式识别
理性行为模型
实践理性
什么是意识?
逻辑的地位
维特根斯坦的观点转变
延伸阅读
索引
逻辑学是西方文明重要的支柱,它将哲学、科学和法律体系结合在一起。然而,尽管逻辑学的重要性得到了广泛的认可,但由于大量使用专业术语和数学符号,它仍然是许多人难以进入的领域。本书以逻辑学的发展历史为线索,以一种易于理解和友好的方式解释其中所涉及的符号和方法,并探讨围绕相关主题的哲学问题。它将带您了解逻辑学对科学方法,以及对从物理学到心理学的各种科学的影响,并将向您展示为什么计算机和数字技术只是逻辑学的一个实践案例。
(英)丹·克莱恩,(英)沙龙·沙提勒 著 陈仕伟 译 (英)比尔·梅布林 绘
丹·克莱恩,伦敦大学学院哲学学位,作为市场分析师在伦敦工作。“图画通识”丛书《资本主义》的作者。沙龙·沙提勒,在以色列开放大学任哲学讲师。“图画通识”丛书《资本主义》的作者。
比尔·梅布林,在伦敦皇家艺术学院接受平面设计培训,他也是“图画通识”丛书《逻辑学》 《德里达》与《经验主义》的插图作者。
- 中信书店 (微信公众号认证)
- 美好的思想和生活
- 扫描二维码,访问我们的微信店铺
- 随时随地的购物、客服咨询、查询订单和物流...