模态对应理论

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

约翰·范本特姆，当代世界著名的逻辑学家，阿姆斯特丹大学逻辑学大学教授、斯坦福大学Henry waldgrave stuart哲学教授，兼任清华大学伟伦特聘教授,中山大学客座教授；荷兰皇家艺术与科学院、欧洲科学院和国际哲学院的院士，多个杂志的编辑。迄今为止，他撰写了约450篇论文和6

在迄今为止我所读到的模态逻辑著作中，该书包含的数学最为复杂。而且，该书的语言表达清晰明朗，是读者可以期待范本特姆做到的。这是一本理想的著作，可以让当代的数学家们认识到模态逻辑不仅重要而且也十分有意思。 　　——R.A.布珥：关于《模态逻辑和经典逻辑》的书评 《