知识蕴涵模态逻辑系统  

The System of knowledge Implication Modal Logic

作　　者：杜国平[1] 李娜[1] 王洪光[1] 徐良[1] 

机构地区：[1]南京大学现代逻辑与逻辑应用研究所,江苏南京210093

出　　处：《徐州师范大学学报（哲学社会科学版）》2008年第5期60-63,共4页Journal of Xuzhou Normal University(Philosophy and Social Sciences Edition)

基　　金：教育部人文社会科学重点研究基地重大项目(05JJD720.40002)资助

摘　　要：使用经典逻辑对海量知识系统进行分析处理和信息挖掘,需要解决的关键问题之一就是司各脱法则问题。基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略。在根据这种策略而建立的知识蕴涵命题逻辑系统中:1.蕴涵关系符合直觉;2.经典逻辑中基本的逻辑规律在该系统中得以保留;3.不改变经典否定、合取的性质;4.司各脱法则不成立。在知识蕴涵命题逻辑的基础上,构建了一个知识蕴涵模态命题逻辑系统,它可以描述包含模态信息的不协调知识系统的推理机制。根据给出的形式语义,证明了该系统的可靠性和完全性,并且证明了严格蕴涵悖论在该系统中不会出现。One key problem need to be salved in using classical logic to handle knowledge system and information mining is Scott Law. Base on the general knowing, we could give Scott Law a new solving strategy which differ from present logic system＇s. In the knowledge implication propositional logic system which build on this strategy, 1. implication property suit for Intuition, 2. the basic law of classical logic is reserved in this system, 3. negation and conjunction＇s property is not changed, 4. Scott Law is wrong in this system. At the basic of knowledge implication propositional logic, a system of knowledge implicational model prepo- sitional logic system has been built. It can describe inference mechanism of inconsistent knowledge system which includes in mo- dal information. According to given formal semantic, it has been proven the soundness and completeness of this system, and paradoxes of strict implication does not be occurred in this system.

关 键 词：逻辑 知识蕴涵 模态 严格蕴涵悖论 

分 类 号：B819[哲学宗教—逻辑学]