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

Details
Bibtex

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}
}