摘要
模态系统的推理规则可以用强弱虚实这四种性质进行分类。在一个系统中这几种性质无论在语形上还是语义上都有一定的联系和区别,有些性质在一个系统的变种或扩充中并不一定保持。
The rules of modal systems can be classified by the properties of rules of inference: strongness, weakness, empty and non-empty. There are a certain connections and differences in syntax and semantics among the properties in a system, and some of the properties do not conserve in the varieties and extensions of a system.
出处
《现代哲学》
CSSCI
北大核心
2004年第4期128-136,共9页
Modern Philosophy
关键词
模态系统
强推理规则
弱推理规则
虚推理规则
实推理规则
modal system
strong inference rule
weak inference rule
empty inference rule
non-empty inference rule
