logo

您所在位置网站首页 > 海量文档  > 教育文化 > 宗教信仰

《模态逻辑导论》.pdf 498页

本文档一共被下载: ,您可全文免费在线阅读后下载本文档。

  • 支付并下载
  • 收藏该文档
  • 百度一下本文档
  • 修改文档简介
全屏预览

下载提示

1.本站不保证该用户上传的文档完整性,不预览、不比对内容而直接下载产生的反悔问题本站不予受理。
2.该文档所得收入(下载+内容+预览三)归上传者、原创者。
3.登录后可充值,立即自动返金币,充值渠道很便利
北京市社会科学理论著作出版基金资助 模 态逻辑 导论 周 北 海 著 北京大学出版社 北 京 前 言 今日的逻辑学象是已被数学“同化”了,其中或者是为数学建 立的逻辑,如一阶逻辑等,或者是大量引用数学方法建立的逻辑, 如现代模态逻辑。这本是逻辑学的进步,也是其发展的必经之路。 但是,这样的逻辑,在缺少足够的数学知识和训练的情况下,往往 也会使人感到难以理解和把握。面对这样一种状况,本书的宗旨之 一,就是要适用于文科类读者。为此,本书在阐述抽象理论的同 时,注意给出较详细的解释与说明,包括对一些“非常基本的”概 念和问题的解释与说明。这还使得本书在基本概念方面是自足的, 或基本自足的。 模态逻辑在现代逻辑中有着重要的地位与作用。现代逻辑可以 分为古典逻辑和非古典逻辑(又称经典逻辑以及非经典逻辑)两大 类。模态逻辑是非古典逻辑中首先发展起来的逻辑分支之一。由模 态逻辑所首创和引发的一些思想、方法及理论在逻辑学中有着广泛 的应用,并且导致了一大类逻辑的形成。这类逻辑即哲学逻辑,又 称应用逻辑,是目前逻辑学中最活跃的一个领域。掌握模态逻辑不 仅对进入这个领域有直接的作用,而且,作为非古典逻辑,模态逻 辑又是因为对古典逻辑的某些基本的出发点持不同观点而发展起来 的,了解模态逻辑可以使我们站在古典逻辑之外来看古典逻辑,这 对于进一步理解古典逻辑,乃至理解整个现代逻辑都有重要的作 用。因此在初步具备古典逻辑知识的基础上,从模态逻辑开始进一 步了解和掌握现代逻辑,应该说是最好的选择。 本书阐述模态逻辑的基础知识,共十章。第一章是模态逻辑的 概述,比较详细地论述了尤其是初学者关心的关于模态逻辑的一些 基本问题,以使读者对模态逻辑有初步的总体认识。第二章至第八 章为模态命题逻辑部分。第二章介绍了几个经典的模态命题逻辑系 i 统。第三章介绍可能世界语义学的基本内容,并给出前章中的几个 系统的语义解释。第四章介绍可能世界语义学下的语义图及方法, 以及由此证明几个经典模态系统的完全性。第二、三章以及第四章 是全书的基础部分。第五、六、七章可视为基础部分的推广,介绍 模态逻辑的其他各类系统以及其中一些系统的语义解释。第八章为 模态代数,是技术性较强的部分,需要一定的数学基础,读者可视 具体情况取舍。第九、十章为模态谓词逻辑部分,前者介绍的是形 式上的演算以及语义解释和完全性证明,后者是与模态谓词逻辑有 关的一些理论问题和哲学问题。各章内容上的承接关系见 p.viii 。 本书的最低预备知识假定是初步的素朴集合论(可参见《新逻 辑教程》( 第九章 ) ,宋文坚主编,北京大学出版社 1992 年出 版)。此外,模态逻辑以古典命题逻辑和谓词逻辑为基础,因此在 理论上最好也应具有这方面的知识(可参见《逻辑演算》,刘壮虎 著,中国社会科学出版社 1993 年出版)。不过本书在概念上是自 足的,所以也可以直接进入本书的学习。 周北海 1997 年 1 月于燕北园 ii 鸣 谢 本书是在逻辑学界的前辈与同行的指导和帮助下完成的。王宪 钧教授在思想风格上给作者很大的影响。晏成书教授给予了极大的 关心,在病危期间还多次问及写作情况。宋文坚教授作了具体的安 排与指导。郭世铭副教授审阅了全书初稿,严格把关,指出了其中 的疏漏与错误。张清宇研究员解答了作者请教的一些问题。毛翊同 志为本书作了部分录入和初步的排版工作,并就内容方面的问题提 出了一些宝贵意见。 本书的写作主要参考了由 G.E.Hughes

发表评论

请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
用户名: 验证码: 点击我更换图片

“原创力文档”前称为“文档投稿赚钱网”,本站为“文档C2C交易模式”,即用户上传的文档直接卖给(下载)用户,本站只是中间服务平台,本站所有文档下载所得的收益归上传人(含作者)所有【成交的100%(原创)】。原创力文档是网络服务平台方,若您的权利被侵害,侵权客服QQ:3005833200 电话:19940600175 欢迎举报,上传者QQ群:784321556