模态对应理论：逻辑之门—约翰·范本特姆经典著作 卷III

图书标准信息

• 作者 [荷兰]约翰·范本特姆 著；张清宇、刘新文 译
• 出版社 科学出版社
• 出版时间 2010-07
• 版次 1
• ISBN 9787030278654
• 定价 56.00元
• 装帧 精装
• 开本 16开
• 纸张 胶版纸
• 页数 249页
• 字数 333千字
• 正文语种 简体中文
• 丛书 逻辑之门—约翰·范本特姆经典著作3

【内容简介】

“逻辑之门”是当代世界著名的逻辑学家约翰·范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑；自然语言中范畴语法和量词语义的逻辑；逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。
20世纪70年代，范本特姆研究了模态公理与它们在一阶逻辑、高阶逻辑中的可定义性，提出了一个系统的、论述框架类的模态对应理论，主要结果包括初等模态公式的刻画、典范可定义模态框架类的刻画以及模态可定义性结果向二阶逻辑的推广。这一研究还引出模型之间的互模拟概念，表明模态语言是由对互模拟不变的一阶公式所组成；方法论上的主要特点在于强调模态观点和经典观点可以同时用于理论和实践的“并行观点”。《模态对应理论》收录了《模态逻辑和经典逻辑》以及作者近几年在这方面的三篇论文。
《模态对应理论》适合从事逻辑学、语言学、计算机科学和认知科学相关研究人员、教师和学生阅读，也适合其他逻辑相关学科的教师和学生参阅。

【作者简介】

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

【目录】

丛书序
作者序
译者序
前言
上篇模态逻辑和经典逻辑
引言
记号和术语
第一部分模态命题逻辑的简要概述
1历史背景
2可能世界语义
3可定义性
4模态代数
5公理化理论
6完全性

第二部分模态公式的一阶可定义性
7局部的和全局的一阶可定性
8一阶可定义性的模型论刻画
9代入方法
10否证一阶可定义性
11相对的一阶可定义性
12模态谓词逻辑
13模态公式的保持类

第三部分模态可定义性
14模态可定义的初等框架类
15一阶公式的保持结果
16模态可定义的框架类

第四部分高阶可定义性
17全称二阶语句
18二阶逻辑
19有穷类型论
参考文献

下篇模态对应理论新进展
1极小谓词、不动点和可定义性
2模态框架对应和不动点
3事情总要翻过来看

附录
附录一约翰·范本特姆小传
附录二英汉／汉英专业术语、人名对照表
致谢