【模态逻辑】周北海中国社会科学.pdf

现代逻辑丛书.此项研究成果受国家社会科学基金资助模态逻辑周北海著

《现代逻辑丛书》现代逻辑内容很丰富,特别是符号逻辑或称数理逻辑,包括几个分支,如:逻辑演算,集合论,模型论,递归论,证明论等.在古典逻辑演算以外,近年来模态逻辑有了很大的发展,它又被称作哲理逻辑.符号逻辑不仅内容丰富,还和许多学科如哲学、数学、计算机科学、语言学及心理学等有联系,影响及于这些学科,有些影响甚至是带根本性的.我国大学的逻辑专业,计算机专业,数学专业,哲学专业等,都开设和符号逻辑有关的课程.但是,这方面介绍性的书籍和教材在国内还不多见。本丛书的目的是提供一批叙述简明易懂和不需要较多数学知识的入门性书籍和教材。

识的说明。第三章至第七章为模态命题逻辑部分。第三章介绍了几内容及其一些应用。第五章介绍可能世界语义学下的典范模型及方法,以及由此证明一些模态系统的完全性。第六、七章是第三、四章的推广,介绍模态逻辑的其他一些系统和其中一些系统的语义解释。第八章为模态谓词逻辑部分,介绍模态谓词逻辑及演算和完全性证明.在本书的写作中,考虑到各类读者的需要,尽量降低了预备知识的需要程度。读者只须具备素朴集合论的一些基本知识(可参见《新逻辑教程》(第九章),宋文坚主编,1992年出版)。