This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright's general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations (TLAE). The logic is inspired by a fragment of propositional dynamic logic based on indeterministic time. The system is proven to be weakly complete relative to its given semantics. We then employ TLAE to formalise and analyse the instrumentality relations defined in the first part of the paper. Last, we point out philosophical implications and possible extensions of our work.

翻译：本文提出使用时间逻辑对工具性进行分析，灵感源自G.H.冯·赖特的研究。文章第一部分阐述哲学基础。我们讨论了冯·赖特的一般行动理论及其对工具性的解释，并通过严格定义核心概念对该框架进行了若干完善。第二部分构建了一个名为"行动与期望时间逻辑"（Temporal Logic of Action and Expectations, TLAE）的逻辑系统。该逻辑灵感来源于基于非确定性时间的命题动态逻辑片段。我们证明了该系统相对于给定语义具有弱完全性。继而运用TLAE对论文第一部分定义的各类工具性关系进行形式化描述与分析。最后，我们指出了本研究的哲学启示及可能的扩展方向。