《模态逻辑引论》

周礼全(1921～ )著。上海人民出版社1986年4月出版，461页，约28万字。全书共有十一章，分成三大部分。第一部分由前三章组成，从运用形式语言建立逻辑系统的基本概念入手，介绍了古典的命题逻辑和狭谓词逻辑。第二部分由随后的七章组成，占全书一半以上篇幅，陈述了模态命题逻辑和模态谓词逻辑的一些公理系统和自然推理系统，运用可能世界理论对模态算子作语义解释，并论述了所介绍系统的元逻辑性质(可判定性、一致性和完全性)。第三部分由最后一章组成，论述了自亚里士多德至本世纪60年代模态逻辑的发展简史，讨论了亚里士多德的模态逻辑、中世纪的模态逻辑和刘易斯的模态逻辑，也讨论了麦加拉和斯多阿学派、莱布尼茨、休谟和康德等关于必然和可能的论说。在论述中，作者引用史实，勾画出一些有重大影响的观念、方法和学说的演化线索，有选择地介绍了本世纪60年代以前模态逻辑的重要成果。

本书是中国论述模态逻辑及其历史的第一部专著，充分反映了这一分支的基本概念、基本方法和基本理论，有益于读者了解模态逻辑的发展全貌，为促进中国这方面研究工作的开展作出了贡献。