逻辑、认识论和方法论

本书是由我们翻译的世界有名逻辑学家范.本特姆的13篇论文组成，约35万字。我们以模态逻辑为核心挑选出了13篇引用率优选的论文。论文的发表时间从1970年代到2007年，内容涵盖了模态逻辑的一般理论，以及模态逻辑在计算机和信息领域的应用。读者对象：逻辑专业、数学专业、计算机专业相关研究人员。

约翰·范本特姆，当代世界有名逻辑学家，阿姆斯特丹大学辑学大学教授、斯坦福大学Henry Waldgrave Stuart哲学教授。中国教育部海外名师、清华大学伟伦特聘教授、中山大学客座教授迄今为止，他撰写了8部专著和约450篇论文，主编了4部具有很好不错性的逻辑手册。他是多个杂志的编辑，也是荷兰皇家艺术与科学学院、欧洲科学院和靠前哲学院的院士。由于他的很好成就，1996年荷兰政府授予他斯宾诺莎奖。 

丛书序
译者序
引论
部分 逻辑常项
1 跨越多样类型的逻辑常项
2 逻辑常项：横看成岭侧成峰
3 在博尔扎诺的乐符中仍然有逻辑吗?

第2部分 认知逻辑
4 反思认知逻辑
5 认知逻辑与认识论之研究现状
6 人们可以知道的事情
7 知识的几何学
8 认知逻辑的五个问题

第3部分 科学方法论
9 科学的逻辑研究
10 对理论问解释的一种数学刻画
11 推理、方法论和语义学
12 再访经验理论的逻辑

第4部分 时空基础
13 时态逻辑和时间
14 时间逻辑
15 跨越空间的模态漫步
16 空间模态逻辑

第5部分 逻辑哲学
17 内容对包装：一篇关于语义复杂性的论文
18 越来越广：重置逻辑学的边界
19 哲学中的逻辑

附录一英一汉专业术语对照表
附录二英一汉人名对照表
致谢