行动、博弈与推理

Action,Game of Governance and Reasoning

行动不描述客观事态,因而它无真值,因此不能用命题连接词将基本行动连接成复合行动。行动模态或意志模态——不同于命题模态——其算子加于行动之上才能构成行动模态命题。行动逻辑研究的是行动模态命题之间的逻辑关系,当然这里的关系可能处于多个行动者的博弈之中。

Because action can not describe the objective situation, it has no math value. Therefore, we can not combine basic actions into compound actions by using the propositional connectives. Modal of action or modal of will is different from propositional modal, whose operator pluses action can constitute the modal proposition of action. Logic of action studies the relationship among modal propositions of actions. It is certain that the relationship referred here can happen to many player in games.