A.13:2 - Problem
Treating agency as an intrinsic property or a mere label hides different questions:
- Episteme-as-Actor: When “the specification decided to update the system” hides the actor, use A.12 to identify the proposed acting entity. A precise agency claim needs that entity admitted as a System under A.1, distinct from the specification under A.7.
- Type Inflation: Introducing a root agent kind alongside
U.SystemandU.Epistemewould violate Ontological Parsimony (C-5). The same System may qualify for an agential system-role kind and receive an assignment in one working situation but not another. The agency claim states its scope and window separately; a root type cannot express these differences. - Unsupported Claims: A label such as “agent” supplies neither the local kind criterion and obtaining assignment nor evidence for a claimed autonomy profile. Those claims need their own support under A.10.
- The Binary Trap: “Agent/not-agent” alone does not distinguish a thermostat’s feedback, a cruise-control system’s prediction and a strategic robotic swarm’s self-learning capabilities.