论文标题
静态知识与动态论证：基于Kripke语义的双重理论
Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics
论文作者
论文摘要
本文建立了关于知识和论证的双重理论。我们的思想既植根于认知逻辑和论证理论，我们的目标是以浅表的方式合并这两个领域，而且是彻底揭示知识和论证之间的内在相关性。具体而言，我们将认知的Kripke模型和参数Kripke模型定义为双对，然后在这两种类型的Kripke模型之间制定了双向生成方法。关于模态公式的不变性的二元定理，这一代是严格的理由。我们还提供了现实的例子来展示我们这一代人，我们的框架的实际实用性得到了强有力的提倡。我们最终提出了一个哲学论点，即知识本质上是动态的，我们与麦克斯韦的恶魔以及众所周知的谚语“知识就是力量”建立了一定的联系。
This paper establishes a dual theory about knowledge and argumentation. Our idea is rooted at both epistemic logic and argumentation theory, and we aim to merge these two fields, not just in a superficial way but to thoroughly disclose the intrinsic relevance between knowledge and argumentation. Specifically, we define epistemic Kripke models and argument Kripke models as a dual pair, and then work out a two-way generation method between these two types of Kripke models. Such generation is rigorously justified by a duality theorem on modal formulae's invariance. We also provide realistic examples to demonstrate our generation, through which our framework's practical utility gets strongly advocated. We finally propose a philosophical thesis that knowledge is essentially dynamic, and we draw certain connection to Maxwell's demon as well as the well-known proverb "knowledge is power".
