|
|||||
|
|
| Kripke语义学及其一些哲学问题 | |
| 引用本文： | 周北海.Kripke语义学及其一些哲学问题[J].北京大学学报(哲学社会科学版),1987(4). |
| 作者姓名： | 周北海 |
| 摘 要： | Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它得到了蓬勃的发展。其中Kripke語义学的提出是极为重要的,模态逻辑的发展因此而进入了一个新的阶段,而且它还在哲学研究方面提出了新的工具以及新的观点和问题,表现了逻辑和哲学在现代形式下的相互依赖和促进的关系。一、模态逻辑的形式系统模态逻辑简单地说就是关于必然性与可能性的逻辑。“必然”和“可能”作为模态概念在模态逻辑里通常分别用符号□和◇表示,称为模态词,从演算的角度,也称为模态算子。有了模态概念和符号后,就会产生以下三种模态公式: |
| 本文献已被 CNKI 等数据库收录！ | |