建立公共知识逻辑系统的方法论

Methodology of Establishing Common Knowledge Logic System

公共知识逻辑系统是建立在模态逻辑、认知逻辑、动态逻辑等逻辑分支系统发展的基础上的。其语义是用克里普克可能世界语义学进行刻画的,利用模型定义“满足”概念,利用框架解释“有效”概念,其语形对应的是一个可证公式的集合。公共知识逻辑系统的语言扩张是在基本静态逻辑语言的基础上,加入条件概念并遵循规约公理而实现的。所以,公共知识逻辑系统并不是一成不变的,而是随着主体认知的提升而不断改进和发展的。

Common knowledge logic system is based on the development of logical branch systems such as modal logic, cognitive logic and dynamic logic. Its semantics is described by Kripke’s possible world semantics. The concept of “satisfaction” is defined by the model, and the concept of “validity” is explained by the framework. Its linguistic form corresponds to a set of verifiable formulas. The language expansion of common knowledge logic system is realized by adding conditional concepts on the basis of basic static logic language and following the axiom of conventions. Therefore, the logic system of common knowledge is not unchanged, but constantly improved and developed with the progress of the subject’s cognition.