模态对应理论

出版时间：2010-7  出版社：科学出版社  作者：[荷]约翰·范本特姆  页数：249  译者：张清宇,刘新文  
Tag标签：无  

前言

本书是我的博士论文“模态对应理论”和补充报告“作为二阶逻辑的模态逻辑”的一个改述。我想要重复我在前者中所作的谢辞。我的“导师”洛伯和“校外审查员”托马森以他们建设性的批评给予了我无价的帮助。我也非常感谢艾克霍恩一皮格女士，感谢她用打字机打出了我的博士论文和补充报告。实际上，阿姆斯特丹大学逻辑和数学基础教研室（Vakgroep Logika en Grondslagen van de Wiskunde）的全体工作人员一直是我所获得的鼓励、忠告和经常性积极帮助的一个永不枯竭的源泉。这里我特别提到布洛克、杜茨、德漾（在博士论文撰写的关键阶段他非常慷慨地给予了我帮助）以及特鲁斯特拉。至于活跃在模态逻辑领域的人们，我从法因、戈德布拉特、萨奎斯特、塞格伯格和托马森等人的论著中学到了许多东西。我还应当感谢在克拉科（Krakow）的Jagiellonian大学的佩扎诺夫斯基，没有他的耐心劳作这本书就不会存在。由于事情的发展超越了他和我的控制，从1978年本书的完成到正式出版经历了一段漫长曲折的路程，由荷兰经波兰直到意大利。正是冈特纳主持了这一游程的最后阶段，终至成书出版。

内容概要

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

作者简介

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

书籍目录

丛书序作者序译者序前言上篇 模态逻辑和经典逻辑　引言　记号和术语　第一部分 模态命题逻辑的简要概述　　1 历史背景　　2 可能世界语义　　3 可定义性　　4 模态代数　　5 公理化理论　　6 完全性　第二部分 模态公式的一阶可定义性　　7 局部的和全局的一阶可定性　　8 一阶可定义性的模型论刻画　　9 代入方法　　10 否证一阶可定义性　　11 相对的一阶可定义性　　12 模态谓词逻辑　　13 模态公式的保持类　第三部分 模态可定义性　　14 模态可定义的初等框架类　　15 一阶公式的保持结果　　16 模态可定义的框架类　第四部分 高阶可定义性　　17 全称二阶语句　　18 二阶逻辑　　19 有穷类型论　　参考文献下篇 模态对应理论新进展　1 极小谓词、不动点和可定义性　2 模态框架对应和不动点　3 事情总要翻过来看附录　附录一 约翰•范本特姆小传　附录二 英汉／汉英专业术语、人名对照表　致谢

章节摘录

插图：

媒体关注与评论

在迄今为止我所读到的模态逻辑著作中，该书包含的数学最为复杂。而且，该书的语言表达清晰明朗，是读者可以期待范本特姆做到的。这是一本理想的著作，可以让当代的数学家们认识到模态逻辑不仅重要而且也十分有意思。　　——R.A.布珥：关于《模态逻辑和经典逻辑》的书评 《符号逻辑杂志》，1987，52（2）模态逻辑让我们意识到逻辑在表达力方面的微细结构。　　——范本特姆：《思想开放者的模态逻辑》，斯坦福语吉和信息研究中心2010年出版

编辑推荐

《模态对应理论》：逻辑之门—约翰·范本特姆经典著作(卷3)。