正版图书，下单前请先咨询客服，欢迎选购！重磅推荐
内容简介
现代逻辑起源于与世纪之交人类对于数学基 础问题的思考。其早期发展无疑是对人类理性事业的 重大推动。弗雷格概念文字、希尔伯特公理系统、塔 斯基真定义、哥德尔完备性与不完备性定理、图灵机 对机械可计算的刻画等成果不仅让人类对数学基础有 了全新的理解，孕育了现代计算机科学，还促成了分 析哲学的崛起，由此深刻地改变了哲学研究的样貌。 此后的数理逻辑越来越陷入高度的技术化与专业化， 并渐渐淡出公众、哲学家甚至其他领域数学家的视野 。然而，无论是数学基础问题还是一般的哲学问题都 仍然呼唤着哲学与逻辑的再度携手。杨睿之的《作 为哲学的数理逻辑逻辑与形而上学教科书系列》试图 将经过演变与发展的数理逻辑与哲学重新介绍给对方 ，让哲学工作者或爱好者快速正确地理解当代数理逻 辑的主要工作，也让逻辑学工作者或学生了解与他们 的工作有关的哲学上的关切。
作者简介
杨睿之 复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。
目 录
第一章 导言 ． 数理逻辑与分析哲学的蜜月期 ．． 弗雷格《概念文字》与《算术基础》 ．． 罗素《论指称》 ．． 刘易斯对严格蕴涵的刻画 ．． 塔斯基的真定义 ．． 图灵对能行过程的刻画 ． 分道扬镳 ．． 形式语言．日常语言 ．． 自然化的分析哲学 ．． 新形式主义 ． 危机与困境 ．． 分析哲学的危机 ．． 数理逻辑的困境第二章 计算与随机 ． 不可计算的度 ．． 递归可枚举集 ．． 度的结构 ． 随机性 ．． 随机性的对象 ．． 刻画随机性 ．． 随机性与可计算性第三章 相对一致性 ． 相对一致性结果的意义和有穷主义方法 ． 可构成集与直谓主义 ． 力迫法与脱殊扩张 ．． 外模型与玩具模型 ．． 想象的语言第四章 无穷之上 ． 二阶算术与大基数 ．． 描述集合论 ．． 无穷博弈与决定性公理 ．． 大基数公理 ． 连续统假设与内模型计划参考文献索引 符号索引 术语索引 人名索引
商品详情
逻辑与形而上学教科书系列：作为哲学的数理逻辑
作者 杨睿之 著
出版社 复旦大学出版社
出版日期
字数
页码
版次
装帧 其他
开本 开
纸张 胶版纸
内容简介
现代逻辑起源于与世纪之交人类对于数学基 础问题的思考。其早期发展无疑是对人类理性事业的 重大推动。弗雷格概念文字、希尔伯特公理系统、塔 斯基真定义、哥德尔完备性与不完备性定理、图灵机 对机械可计算的刻画等成果不仅让人类对数学基础有 了全新的理解，孕育了现代计算机科学，还促成了分 析哲学的崛起，由此深刻地改变了哲学研究的样貌。 此后的数理逻辑越来越陷入高度的技术化与专业化， 并渐渐淡出公众、哲学家甚至其他领域数学家的视野 。然而，无论是数学基础问题还是一般的哲学问题都 仍然呼唤着哲学与逻辑的再度携手。杨睿之的《作 为哲学的数理逻辑逻辑与形而上学教科书系列》试图 将经过演变与发展的数理逻辑与哲学重新介绍给对方 ，让哲学工作者或爱好者快速正确地理解当代数理逻 辑的主要工作，也让逻辑学工作者或学生了解与他们 的工作有关的哲学上的关切。
作者简介
杨睿之 复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。
目 录
第一章 导言 ． 数理逻辑与分析哲学的蜜月期 ．． 弗雷格《概念文字》与《算术基础》 ．． 罗素《论指称》 ．． 刘易斯对严格蕴涵的刻画 ．． 塔斯基的真定义 ．． 图灵对能行过程的刻画 ． 分道扬镳 ．． 形式语言．日常语言 ．． 自然化的分析哲学 ．． 新形式主义 ． 危机与困境 ．． 分析哲学的危机 ．． 数理逻辑的困境第二章 计算与随机 ． 不可计算的度 ．． 递归可枚举集 ．． 度的结构 ． 随机性 ．． 随机性的对象 ．． 刻画随机性 ．． 随机性与可计算性第三章 相对一致性 ． 相对一致性结果的意义和有穷主义方法 ． 可构成集与直谓主义 ． 力迫法与脱殊扩张 ．． 外模型与玩具模型 ．． 想象的语言第四章 无穷之上 ． 二阶算术与大基数 ．． 描述集合论 ．． 无穷博弈与决定性公理 ．． 大基数公理 ． 连续统假设与内模型计划参考文献索引 符号索引 术语索引 人名索引
商品详情
逻辑与形而上学教科书系列：作为哲学的数理逻辑
作者 杨睿之 著
出版社 复旦大学出版社
出版日期
字数
页码
版次
装帧 其他
开本 开
纸张 胶版纸
| ISBN | 9787309126587 |
|---|---|
| 出版社 | 复旦大学出版社 |
| 作者 | 杨睿之 |
| 尺寸 | 16 |