中文摘要：

西格伯格和贝尔纳普是两位最重要的行动逻辑学家兼行动哲学家。西格伯格认为行动的核心要素是＂例行程序＂,并据此分析了＂行动＂的逻辑结构。贝尔纳普为了避免已有对行动句分析的缺陷,从分支时间、非决定论和自由选择的角度对＂行动＂进行了形式化分析。基于这两种逻辑分析的比较研究可以表明：对＂行动＂概念进行形式分析的关键是在假定主体与世界的关系的基础上,揭示主体的能动结构,从而为发展精确化的行动哲学和构造行动的逻辑奠定基础。

英文摘要：

Segerberg and Belnap are two of the most prominent logicians and philosophers of action. Segerberg believes the core element of action is ＂routine＂. With such conception,he analyzes the logical structure of action. Based on the existing shortcomings of action sentence analyses,Belnap makes a formal analysis of action in terms of branch time,non-determinism and freedom of choice. After a comparison of these formal analyses,we can draw a conclusion that the key to analyzing the concept ＂action＂is to reveal the agentive structure of subject based on an assumption of the relationship between human beings and the world,so that it can set a foundation for developing the exact philosophy of action and logic of action.