论文部分内容阅读
内涵逻辑可以从两个方面来理解:从逻辑—哲学的角度看内涵逻辑是通过分析内涵概念,刻画内涵算子的形式特征,建构内涵概念的形式系统,提供形式系统的模型论(可能世界或内涵)语义学解释,以及给出形式系统元定理(如可靠性和完全性)等方式构造而成的内涵逻辑形式系统。从语言学的角度看,内涵逻辑也可看作是关于其意义依赖于隐晦语境的表达式的形式系统。内涵逻辑是标准逻辑在当代最重要的扩展之一,它在哲学、语言学、计算机科学、人工智能、认知科学和数学等领域都有广泛而深入的应用。