本书是由我们翻译的世界著名逻辑学家范.本特姆的14篇论文组成,约35万字。我们以语言逻辑为核心挑选出了14篇引用率最高的论文。论文的发表时间从1970年代到2007年,内容涵盖了关于自然语言形式化的研究,形式语言中的量词理论,范畴语法,特别是,形式语言与可计算性和人类的语言认知能力的关系等热门问题。读者对象:逻辑专业、数学专业,对计算机专业的学生和学者也同样适用。
样章试读
目录
- 丛书序
作者序
译者序
前言
上篇 模态逻辑和经典逻辑
引言
记号和术语
第一部分 模态命题逻辑的简要概述
1 历史背景
2 可能世界语义
3 可定义性
4 模态代数
5 公理化理论
6 完全性
第二部分 模态公式的一阶可定义性
7 局部的和全局的一阶可定性
8 一阶可定义性的模型论刻画
9 代入方法
10 否证一阶可定义性
11 相对的一阶可定义性
12 模态谓词逻辑
13 模态公式的保持类
第三部分 模态可定义性
14 模态可定义的初等框架类
15 一阶公式的保持结果
16 模态可定义的框架类
第四部分 高阶可定义性
17 全称二阶语句
18 二阶逻辑
19 有穷类型论
参考文献
下篇 模态对应理论新进展
1 极小谓词、不动点和可定义性
2 模态框架对应和不动点
3 事情总要翻过来看!
附录
附录一 约翰·范本特姆小传
附录二 英汉/汉英专业术语、人名对照表
致谢