Abstract
The idea of norms presupposes agency, and agency presupposes an indeterministic causal order (so that “ought” does not imply “is”). So much can be modeled in “branching time with agents and choices” (BTAC). The seriously ontological independence of agentive choices, however, requires, as a necessary condition, a causal order permitting space-like separation of those choices in a sense definable in “branching space-times with agents and choices” (BSTAC).Let us idealize an agent, when restricted to a single space-time, as a kind of spatio-temporal “worm” in the familiar way, representing the life of the agent in that space-time. Then a representation of “the agent,” since it must include representation of seriously objective choices, must look like a tree with two kinds of branching. In both kinds of branching, there is a single past-pointing worm-like representation of the past-life of the agent up to the branching, and an entire assemblage of distinct worm-like representations of the possible future-life of the agent subsequent to the branching, one for each history in which the life of the agent continues. The first kind of branching occurs at choice-points for the agent. According to BSTAC, such branching will involve a last point of agent’s-choice-not-yet-made (say, a last point of deliberation), but no first point of agent’s-choice-has-beenmade in any possible future-life of the agent. In the second kind of branching, the agent is passive, having two or more possible future-lives due to space-like-related choices by other agents, or by metaphorical “choices” by some space-like-related element of Nature. In this case, BSTAC says that there will be no last point of the past-life of the agent, but instead a first point for each of the agent’s possible future-lives.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Belnap, N. (2008). Norms in Branching Space-Times. In: van der Meyden, R., van der Torre, L. (eds) Deontic Logic in Computer Science. DEON 2008. Lecture Notes in Computer Science(), vol 5076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70525-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-70525-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70524-6
Online ISBN: 978-3-540-70525-3
eBook Packages: Computer ScienceComputer Science (R0)