摘要
知识逻辑学家很少关注"理解"这一概念,这与科学哲学和知识论领域的研究现状形成了鲜明对比.本文提出了一种类似知识逻辑的框架来刻画"理解".由于"解释"帮助理解,该模型包含不同程度的解释概念,并在这些解释之间建立起一种偏序关系.受哲学讨论的启发,本文在语形上包含了一系列理解的模态,从最低限度的理解到日常的理解、高要求的理解、以及理想的理解.文中给出了一个可靠完全的公理系统刻画这些理解概念,并讨论了这样的逻辑在多主体情境中的应用,如探讨不同主体之间的理解比较以及主体之间的元理解等.
Abstract
Epistemic logicians barely pay any attention to the notion of understanding,which stands in sharp contrast to the current situation in philosophy of science and epistemology.This paper proposes an epistemic-logical-style framework for understanding.Since explanations aid understanding,our models incorporate varying degrees of explanations,among which a partial order is established.Inspired by philosophical discussions,we syntactically include a spectrum of understanding modalities,ranging from minimal to everyday,demanding,and ideal understanding.A sound and complete axiomatization is provided,followed by discussions on its application to multi-agent scenarios,such as making comparative statements of understanding among different agents and exploring meta-understanding between them.
基金项目
Shanghai Pujiang Program(22PJC034)
Fundamental Research Funds for the Central Universities(2022ECNU-YYJ038)
维普
万方数据