一个刻画理解的认知逻辑

An Epistemic Logic Characterizing Understanding

通过两次问卷调查可以发现,绝大多数调查对象直观上都认为:理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画:理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。

In this paper, we firs give a claim from two researches that many people think to understand a proposition is to know its meaning. Then we point out that in classical epistemic logic, as a modal operator, understanding can be represented by knowledge in a weak sense as understanding a proposition is to know its truth. In the end, we give an epistemic logic characterizing understanding in order to reveal the connections and differences between understanding and knowledge.