出版社:科学出版社
年代:2012
定价:75.0
本书是由我们翻译的世界著名逻辑学家范·本特姆的13篇论文组成,约35万字。我们以模态逻辑为核心挑选出了13篇引用率最高的论文。论文的发表时间从1970年代到2007年,内容涵盖了模态逻辑的一般理论,以及模态逻辑在计算机和信息领域的应用。读者对象:逻辑专业、数学专业、计算机专业相关研究人员。
重置逻辑学的边界
19 哲学中的逻辑
附录一 英-汉专业术语对照表
附录二 英-汉人名对照表
致谢
“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著,其涵盖的主题有:关于信息、进程和智能互动的模态逻辑:自然语言中范畴语法和量词语义的逻辑;逻辑与认识论、科学方法论和博弈论之间的相互影响,等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。从历史的角度看,逻辑是哲学的一部分。因此,逻辑学家们做的任何工作都是哲学。当然,许多数理逻辑学家否认这一说法,认为逻辑是数学,甚至是应用数学的一部分。本卷通过对逻辑常项、认识论、科学方法论和逻辑哲学等主题的探讨,展示范本特姆多年来对逻辑学作为交叉学科的认识和理解。正如他在书中指出的那样,若把逻辑学看做是关于它自身的一门学科,它不但同哲学和数学有很多联系,而且还同语言学、计算机科学,甚至是现在热门的认知科学有很强的联系。它可能并不是一个大的学科,但它所涉及的范围,在原则上讲遍布大学的各个学科。逻辑有它自己的历史及其内在和外在的规律演化,本卷为此提供了丰富的实例和深刻的理论探讨。《逻辑、认识论和方法论》适合从事逻辑学、语言学、计算机科学和认知科学等研究和学习的师生阅读,也适合从事其他逻辑相关学科研究的相关人员参阅。【作者简介】约翰·范本特姆当代世界著名逻辑学家,阿姆斯特丹大学逻辑学大学教授、斯坦福大学Henry Waldgrave Stuart哲学教授。中国教育部海外名师、清华大学伟伦特聘教授、中山大学客座教授。迄今为止,他撰写了8部专著和约450篇论文,主编了4部具有权威性的逻辑手册。他是多个杂志的编辑,也是荷兰皇家艺术与科学学院、欧洲科学院和国际哲学院的院士。由于他的卓越成就,1996年荷兰政府授予他斯宾诺莎奖。个人主页:http://staff.science.uva.nl/~johan/