Patterns in World Dynamics Indicating Agency

Abstract

In this paper, the question is addressed which patterns in world dynamics are an indication for a conceptualisation of a world's process as an agent. Six criteria are discussed that provide an indication for the world to show a form agency, and allows for suitable agent-based conceptualisation. The criteria take the form of relationships between the occurrence of certain patterns in the world's dynamics, and are expressed as second-order properties of world dynamics. They are formalised in a reified temporal predicate (meta-)logical language and their use is illustrated in a case study, supported by automated support in the form of simulation and verification.

How the Brain Creates Emergent Information by the Development of Mental Models: An Analysis from the Perspective of Temporal Factorisation and Criterial Causation

“…This is a use of Predicate Logic for which numbers can be used and for which constants, terms and variables can be used for time points t, state properties p, and traces tr. For somewhat similar or comparable uses of Predicate Logic see (Bosse et al 2009;Bosse and Treur 2011;Sharpanskykh and Treur 2010;Treur 2009) or (Treur 2016), Chap. 13.…”

“…It is in principle also possible to use a reified predicate logic RTTPL in which the temporal properties expressed as statements of TTPL are reified by names for which constants, terms and variables can be used. For a similar approach, see MetaTTL in (Bosse and Treur 2011)…”