论拒斥模态与拒斥认知逻辑

On Deny Modal and Deny Epistemic Logic

在认知模态当中,"知道"、"信念"等是"正"的模态,"拒斥"、"怀疑"则是"负"的模态。在负的模态词中,"拒斥"是最强的认知否定。在三分认知世界理论的基础上讨论拒斥模态与拒斥认知命题是恰当的。根据三分认知世界理论,在经典命题逻辑的基础上引入拒斥算子"J",可以建立一个静态拒斥认知命题逻辑系统。拒斥认知逻辑的建立有利于保持思维的明晰性,拒斥认知逻辑是精确判断、做出决策、排除谬误等活动的重要工具。

Of the cognitive modals, the terms such as ＂Know＂ and ＂Believe＂ belong to ＂positive＂ ones,but other words such as ＂Deny＂ and ＂Doubt＂ belong to ＂negative＂ ones. In negative modals, ＂Deny＂ modal is the strongest cognitive negation. It is the most appropriate to discuss the Deny Modal and deniable cognitive propo- sition based on Tri-partitioning of Epistemic World. According to the theory of Tri-partitioning of Epistemic Worlds, static deniable proposition logic system of Deny can be established on the basis of classical propositional logic when deniable operator ＂J＂ is introduced. Deniable epistemic logic is an important tool used in the activities such as judging precisely, making decisions, and excluding fallacies, whose establishment helps to keep a clear thinking.