逻辑、认识论和方法论

　　“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑：自然语言中范畴语法和量词语义的逻辑；逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。从历史的角度看，逻辑是哲学的一部分。因此，逻辑学家们做的任何工作都是哲学。当然，许多数理逻辑学家否认这一说法，认为逻辑是数学，甚至是应用数学的一部分。本卷通过对逻辑常项、认识论、科学方法论和逻辑哲学等主题的探讨，展示范本特姆多年来对逻辑学作为交叉学科的认识和理解。正如他在书中指出的那样，若把逻辑学看做是关于它自身的一门学科，它不但同哲学和数学有很多联系，而且还同语言学、计算机科学，甚至是现在热门的认知科学有很强的联系。它可能并不是一个大的学科，但它所涉及的范围，在原则上讲遍布大学的各个学科。逻辑有它自己的历史及其内在和外在的规律演化，本卷为此提供了丰富的实例和深刻的理论探讨。《逻辑、认识论和方法论》适合从事逻辑学、语言学、计算机科学和认知科学等研究和学习的师生阅读，也适合从事其他逻辑相关学科研究的相关人员参阅。

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

丛书序
译者序
引论
第1部分 逻辑常项
1 跨越多样类型的逻辑常项
2 逻辑常项:横看成岭侧成峰
3 在博尔扎诺的乐符中仍然有逻辑吗?
第2部分 认知逻辑
4 反思认知逻辑
5 认知逻辑与认识论之研究现状
6 人们可以知道的事情
7 知识的几何学
8 认知逻辑的五个问题
第3部分 科学方法论
9 科学的逻辑研究
10 对理论间解释的一种数学刻画
11 推理、方法论和语义学
12 再访经验理论的逻辑
第4部分 时空基础
13 时态逻辑和时间
14 时间逻辑
15 跨越空间的模态漫步
16 空间模态逻辑
第5部分 逻辑哲学
17 内容对包装:一篇关于语义复杂性的论文
18 越来越广:重置逻辑学的边界
19 哲学中的逻辑
附录一 英-汉专业术语对照表
附录二 英-汉人名对照表
致谢