论文标题
工具判断的逻辑分析：经验和期望背景下的均值关系关系
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
论文作者
论文摘要
本文提出了使用时间逻辑来分析受G.H.工作启发的工具性的分析。冯·赖特。本文的第一部分包含哲学基础。我们讨论冯·赖特（Von Wright）的代理理论及其对工具的描述。此外，我们通过对所涉及的核心概念的严格定义对该框架提出了一些改进。在第二部分中，我们开发了一个逻辑系统，称为行动和期望的时间逻辑（TLAE）。逻辑的灵感来自基于不确定时间的命题动态逻辑的片段。相对于其给定的语义，该系统被证明是弱完成的。然后，我们采用TLAE来形式化和分析本文第一部分中定义的工具关系。最后，我们指出了我们工作的哲学含义和可能的扩展。
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.
