|
|||||
|
|
| 模态逻辑近况 | |
| 作者姓名： | 张清宇 |
| 作者单位： | 中国社会科学院哲学所 |
| 摘 要： | 模态逻辑是伴随着现代逻辑的兴起而产生的,它创立于十九世纪末至本世纪三十年代。创始人刘易斯(C.I.Lewis,1883—1964)从分析实质蕴涵悖论开始,建立了一系列模态逻辑系统S1、S2、S3、S4和S5。他的工作确立了模态系统的多样性,显示了模态逻辑的丰富内容,引起了逻辑学家们的广泛注意。三十年代后,不少逻辑学家围绕着刘易斯的模态系统,研究了它们的性质和基础。四十年代中期,卡尔纳普和巴肯等人建立起了卡尔纳普语义学和模态谓词演算,虽然没有完全解决语义和谓词方面的问题,但为后来建立严格的语义学作了准备。与此同时,麦金西等人把当时古典逻辑代数语义学方面的成果运用于模态逻辑, |
| 本文献已被 CNKI 等数据库收录！ | |