The Formal Method of Metaphor Understanding within Dynamic Context

The research of metaphor understanding is a significant field of cognitive science. Metaphor plays an important role in natural language discourse. There is a close relationship between logic and metaphor. Metaphor can be described by dynamic epistemic logic. This article, we attempt to dynamically describe the process of metaphor understanding from the perspective of formal logic. First, speaker need to put forward metaphorical proposition by announcement, at the same time to update the old context set. After listener heard the announcement of the speaker, he understands it, then announce his understanding as a proposition. Finally, some discussions about this logical system are showed.