哲学与宗教 类型
8.0 豆瓣评分
可以朗读 语音朗读
195千字 字数
2016-11-01 发行日期
展开全部

主编推荐语

本书重新介绍经过演变与发展的数理逻辑与哲学。

内容简介

作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者自上世纪中叶以来逐渐分道扬镳。

本书将展示分析哲学与数理逻辑在它们的“蜜月期”中共同取得的重要成果以及两者分离后逻辑学的发展路径。

本书试图说明，当代逻辑学的研究仍然具有深刻的哲学内涵，并且可以为面临困境的当代哲学提供新的思想资源。

目录

  • 版权信息
  • 前言
  • 第一章 导言
  • 1.1 数理逻辑与分析哲学的蜜月期
  • 1.1.1 弗雷格《概念文字》与《算术基础》
  • 1.1.2 罗素《论指称》
  • 1.1.3 刘易斯对严格蕴涵的刻画
  • 1.1.4 塔斯基的真定义
  • 1.1.5 图灵对能行过程的刻画
  • 1.2 分道扬镳
  • 1.2.1 形式语言vs.日常语言
  • 1.2.2 自然化的分析哲学
  • 1.2.3 新形式主义
  • 1.3 危机与困境
  • 1.3.1 分析哲学的危机
  • 1.3.2 数理逻辑的困境
  • 第二章 计算与随机
  • 2.1 不可计算的度
  • 2.1.1 递归可枚举集
  • 2.1.2 度的结构
  • 2.2 随机性
  • 2.2.1 随机性的对象
  • 2.2.2 刻画随机性
  • 2.2.3 随机性与可计算性
  • 第三章 相对一致性
  • 3.1 相对一致性结果的意义和有穷主义方法
  • 3.2 可构成集与直谓主义
  • 3.3 力迫法与脱殊扩张
  • 3.3.1 外模型与玩具模型
  • 3.3.2 想象的语言
  • 第四章 无穷之上
  • 4.1 二阶算术与大基数
  • 4.1.1 描述集合论
  • 4.1.2 无穷博弈与决定性公理
  • 4.1.3 大基数公理
  • 4.2 连续统假设与内模型计划
  • 参考文献
  • 符号索引
  • 术语索引
  • 人名索引
展开全部

评分及书评

评分不足
2个评分

出版方

复旦大学出版社

复旦大学出版社成立于1981年，由复旦大学主办，受教育部和上海市新闻出版局双重管辖。2001年经教育部和新闻出版总署批准，复旦大学出版社与上海医科大学出版社两社合并，成立新的复旦大学出版社，下辖二级社复旦大学电子音像出版社。