逻辑、认识论和方法论

出版时间：2013-1  出版社：科学出版社  作者：[荷] 约翰·范本特姆  页数：548  字数：705000  译者：郭佳宏,刘奋荣  
Tag标签：无  

内容概要

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

作者简介

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

书籍目录

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

章节摘录

版权页：   插图：   这是两种直观需要的结合：（a）不变性和（b）有限性。它的合理性也许值得哲学家们深思。 最后，跨模型关系的不变性也被应用在对其他语言的分析中。例如，在λ演算中，普洛特金（G.Plotkin）通过逻辑关系下的不变性，部分地刻画了λ可定义性。 2.3.7题外话：科学中的不变性与可定义性 逻辑性理论并不完全（quite）契合科学中的不变性思维。物理学家和数学家们研究“对称”（即一个模型内的不变性）和“变换”（它可以在模型之间作用）。考虑物理中的伽利略变换（或洛伦兹变换）。这些从（不妨设）R4到自身的坐标变换保持相关的“物理规律”，包括物理基本定律。但这里所用的语言从未被具体地提及。事实上，物理学中重要的结论常常带有一种不同的味道。例如，考虑著名的定理“因果性推出洛伦兹群”（Zeeman，1964）——一个受过良好训练的逻辑学家可能对命题断句都有困难……在闵可夫斯基空间中，洛伦兹变换保持“因果次序”：即一个点与它未来光锥中的点所成立的关系。塞曼（E.Zeeman）证明了逆命题，每个尊重因果次序的自同构都是洛伦兹变换与几个其他次要变换的复合。注意，这里语言并不起任何明确的作用。即便这样，此结论也让我们想起罗布（A.Robb）关于狭义相对论的逻辑学工作。他证明了因果次序的二阶理论足够定义闵可夫斯基空间完整的度量结构。还有另外一道有趣的鸿沟等待我们填平。考虑经典的描述逻辑可定义的贝特定理，它从隐式可定义性（一个不变性质！）到显式可定义性的转换看起来可以直接应用到初等几何推理中。我们经常“看出”某些几何对象是由其他对象决定的。比如，一旦三角形的三边给定，它的三个内角也就随之确定。那么一条几何学的基本规律马上就告诉我们可以显式地用前者定义后者。而在三角形边角关系的例子中的确是这样的。但是，只有在问题可以用一阶语言叙述的时候贝特定理才能帮助我们，而这一要求对科学家们来说显得很诡异。另外，这种“决定”在几何理论的所有模型中都成立，而不只是在“平常的空间”……分析更多这样的具体实例，让逻辑性理论与不变性实践对峙，将会带来实际的价值。

媒体关注与评论

　　我认为，总是讨论逻辑是什么的静态问题没有多大意义，更重要的是去思考逻辑会“变成”什么的动态问题。……逻辑是一种姿态，一种做法，可以说是一种生活方式。　　——范本特姆：《信息与交互的动态逻辑》，剑桥大学出版社，2011年　　　　信息就是信息之所为。　　——范本特姆、安德里昂：《信息哲学手册》，爱思唯尔出版社，2010年　　　　逻辑和数学的确切界限在哪里不算什么问题。只要大家忙于智力的种种活动，不断试图解决困惑，有谁在乎这一占？　　——范本特姆：《数学哲学的五个问题——访谈》，丹麦自动出版社，2007年

编辑推荐

《逻辑、认识论和方法论》适合从事逻辑学、语言学、计算机科学和认知科学等研究和学习的师生阅读，也适合从事其他逻辑相关学科研究的相关人员参阅。