“如实述说”：逻辑中的信息流动

本文把逻辑表述为关于信息流动的一般理论，它涉及推理、观察和社会交往等人类能力。由此导致的多主体动力学可以用关于信息更新的动态认知逻辑系统来加以研究，后者也能够处理信念更新和学习问题；可以把这种语义动态学与作为信息阐明的推理的语法过程相结合：本文最后讨论了如何（将已有结果）扩展到主体之间的长期互动，并描述了（主体的）偏好和目标，以及由此导致的逻辑、博弈论和社会选择理论之间的相互作用。

"Tell it like it is": Information Flow in Logic

This paper presents logic as a general theory of information flow, which includes inference, observation, and social communication as human abilities that show a natural unity. It is shown how the resulting multi-agent dynamics can be studied using systems of dynamic epistemic logic for information update, which can also deal with belief revision and learning. Next, we show how this semantic dynamics can be combined with the syntactic process of inference as elucidation of information. Finally, we discuss extensions to longer-term interaction between agents, describing preferences and goals, and the resulting interfaces between logic, game theory, and social choice theory.