情境语义学与可能世界语义学比较研究探析

情境语义学是一种新型语义理论,虽然它在意义和日常推理的哲学解释上获得极大成功,但在形式技术上还不够成熟。模态逻辑的形式技术方面已经发展得相当成熟,但它的可能世界语义学在哲学解释上却存在诸多困难。在这样的情况下,用情境语义学来改造模态逻辑,努力构造一种动态敏感且数学上严格的形式系统,就决定了今后逻辑发展的基本走势之一。