《逻辑、认识论和方法论 卷4》PDF下载

  • 购买积分:16 如何计算积分?
  • 作  者:(荷)范本特姆著;郭佳宏,刘奋荣等译
  • 出 版 社:北京:科学出版社
  • 出版年份:2013
  • ISBN:9787030360281
  • 页数:548 页
图书介绍:本书是由我们翻译的世界著名逻辑学家范·本特姆的13篇论文组成,约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文的发表时间从1970年代到2007年,内容涵盖了模态逻辑的一般理论,以及模态逻辑在计算机和信息领域的应用。读者对象:逻辑专业、数学专业、计算机专业相关研究人员。

引论 1

第1部分 逻辑常项 7

1 跨越多样类型的逻辑常项 7

2 逻辑常项:横看成岭侧成峰 36

3 在博尔扎诺的乐符中仍然有逻辑吗? 58

第2部分 认知逻辑 77

4 反思认知逻辑 77

5 认知逻辑与认识论之研究现状 86

6 人们可以知道的事情 105

7 知识的几何学 116

8 认知逻辑的五个问题 137

第3部分 科学方法论 149

9 科学的逻辑研究 149

10 对理论间解释的一种数学刻画 182

11 推理、方法论和语义学 191

12 再访经验理论的逻辑 209

第4部分 时空基础 231

13 时态逻辑和时间 231

14 时间逻辑 248

15 跨越空间的模态漫步 340

16 空间模态逻辑 380

第5部分 逻辑哲学 453

17 内容对包装:一篇关于语义复杂性的论文 453

18 越来越广:重置逻辑学的边界 469

19 哲学中的逻辑 489

附录一 英-汉专业术语对照表 524

附录二 英-汉人名对照表 543

致谢 547