An Epistemic Logic Characterizing Understanding
HE Chun-xiu · Journal of Southwest University · 2009
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.