A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations

From International Center for Computational Logic

Toggle side column

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations

Kees van BerkelKees van Berkel,  Tim LyonTim Lyon,  Matteo PascucciMatteo Pascucci
Kees van Berkel, Tim Lyon, Matteo Pascucci
A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations
Journal of Philosophical Logic, 52:1475–1516, 2023
  • KurzfassungAbstract
    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: in particular, we discuss Von Wright’s general theory of agency and his account of instrumentality. Moreover, we provide several refinements of such framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called TLAE (Temporal Logic of Action and Expectations), which is inspired by a fragment of propositional dynamic logic and based on indeterministic time. We prove this system to be weakly complete relative to a given axiomatisation and then use it to formalise the instrumentality relations defined in the first part of the paper. Last, we point out some philosophical implications of our work and suggest ways in which our formalism could be employed in deontic settings.
  • Projekt:Project: DeciGUT
  • Forschungsgruppe:Research Group: Computational LogicComputational Logic
@article{BLP2023,
  author  = {Kees van Berkel and Tim Lyon and Matteo Pascucci},
  title   = {A Logical Analysis of Instrumentality Judgments: Means-End
             Relations in the Context of Experience and Expectations},
  journal = {Journal of Philosophical Logic},
  volume  = {52},
  year    = {2023},
  pages   = {1475{\textendash}1516},
  doi     = {https://doi.org/10.1007/s10992-023-09714-7}
}