摘要
情境语义学是一种新型语义理论,虽然它在意义和日常推理的哲学解释上获得极大成功,但在形式技术上还不够成熟。模态逻辑的形式技术方面已经发展得相当成熟,但它的可能世界语义学在哲学解释上却存在诸多困难。在这样的情况下,用情境语义学来改造模态逻辑,努力构造一种动态敏感且数学上严格的形式系统,就决定了今后逻辑发展的基本走势之一。
Situation Semantics is a new semantic theory. Although it is very successful in philosophical interpretations of meaning and common life reference, its formal technique is not mature. Modal logic is quite mature at its formal technique, but its possible world semantics has many difficult in philosophical interpretations. Under this condition, using Situation Semantics to rebuild modal logic, trying to develop a formal system which is dynamically sensitive and mathematically rigor, determines one of the basic trends in the future about logic development.
出处
《自然辩证法研究》
CSSCI
北大核心
2006年第10期27-30,36,共5页
Studies in Dialectics of Nature
基金
国家社科基金项目"当代西方逻辑哲学最新成就研究"(项目编号03BZX043)
关键词
情境语义学
可能世界语义学
制约
可及
必然
situation semantics
possible world semantics
constraint
accessible
necessary
