|
|||||
|
|
| 谈谈模态逻辑 | |
| 引用本文： | 郑文辉,梁庆寅.谈谈模态逻辑[J].现代哲学,1986(1). |
| 作者姓名： | 郑文辉 梁庆寅 |
| 作者单位： | 中山大学哲学系 (郑文辉)，中山大学哲学系(梁庆寅) |
| 摘 要： | 模态逻辑(modal logic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truth implication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格 |
| 本文献已被 CNKI 等数据库收录！ | |