Branching Space-Time: Where the Block Meets the Multiverse

In 1992, the logician Nuel Belnap published a paper in the journal Synthese with a flat, almost bureaucratic title: “Branching Space-Time.” It ran to nearly fifty dense pages, and outside a small circle of specialists in logic and the philosophy of physics, almost no one read it. What it did was unexpected. It took two of the deepest and most separate puzzles in modern physics, the question of whether time genuinely passes and the question of what happens at a quantum measurement, and showed that they could be answered by a single mathematical object.

That object is Branching Space-Time: a universe in which time genuinely grows, and the growing edge of that time shatters into branches.

This article traces what Branching Space-Time is, the older ideas it fused, and the question it forces at the end. It covers the three classical theories of time, the branching-time logic of Arthur Prior, the construction Belnap actually wrote down, the many-worlds multiverse that turned out to share its shape, and the unsolved problems that come with the whole picture. The physics is real and the names and dates are real. What stays open is the meaning.

Three ways to ask whether the future is real

Start with a question children ask and specialists still argue about. Does the future already exist?

Most people feel the answer in their bones. The past is fixed. The present is vivid. The future is open, not yet decided, a fog you walk into. That intuition turns out to be one of the most contested claims in the philosophy of time, and there are three classical ways to make it precise.

Presentism says only the present exists. The past is gone, not stored anywhere, and the future is not yet anything. Reality is a single, razor-thin slice: the now. Among modern philosophers the view has been defended by Dean Zimmerman, and it matches ordinary experience almost perfectly. Its trouble is with physics.

Eternalism, usually pictured as the block universe, says the opposite. All times are equally real, past, present, and future alike, frozen together into a four-dimensional structure. The year 1066 is as real as this sentence, and so is the year 3000; they simply sit at different coordinates along the time axis. This is the picture that emerged after Hermann Minkowski reformulated Einstein’s special relativity geometrically in 1908, fusing space and time into a single spacetime. You can read the case for it in our piece on the block universe.

The pressure relativity puts on intuition is easy to state and hard to accept. Einstein’s theory carries no universal “now.” Two observers moving relative to one another disagree about which distant events happen at the same time, and there is no fact, in relativity, about who is right. The philosophers Cornelius Rietdijk and Hilary Putnam turned this into an argument: if there is no objective present slice, presentism has nothing to point at. The mainstream of physics has leaned toward the block ever since, not because anyone proved time does not pass, but because the geometry contains no preferred, flowing now. The Stanford Encyclopedia of Philosophy entry on time lays out the full debate.

Between these extremes sits the third option. The growing block universe, first set out by C. D. Broad in 1923, keeps the fixed past of the eternalist and the open future of the presentist. The past and present are real and stay real, joining a four-dimensional block permanently. The future does not yet exist. As time passes, new slices are added at the leading face, so the present is not a spotlight gliding over a finished landscape but the growing edge itself, the place where reality is being added. Broad put it plainly: the sum total of existence is always increasing. Later defenders include Michael Tooley in 1997 and Peter Forrest in 2004, and the position remains live today, as our article on the growing block universe explains.

The takeaway: three rival theories of time, each keeping something the others lose, and none of them fully at peace with both relativity and the felt passage of the present.

The logic of branching time

There is a fourth idea, and it comes from logic rather than physics. Its source is the philosopher Arthur Prior, who from the 1950s onward built tense logic, a formal system for sentences whose truth depends on when they are spoken.

Prior ran into an ancient problem. Consider the sentence “there will be a sea battle tomorrow.” If the future is genuinely open, is the sentence true today? To handle it, Prior modeled time not as a single line but as a tree. The past is one settled trunk. The future forks into many possible continuations, and which one becomes actual is not yet settled. His successors distinguished two readings of that tree: a Peircean one, on which a statement about the future counts as true only if it holds on every branch, and an Ockhamist one, on which a privileged actual future runs through the tree and fixes the truth.

Notice the shape. A single fixed past and an open, forking future is exactly the form of the growing block. A future that splits into many continuations is also, as we will see, the form of the quantum multiverse. The branching tree sits structurally between them. For four decades, though, it stayed in logic, drawn as abstract moments on a page, with no light cones, no geometry, no real four-dimensional events. That is the gap Belnap stepped into.

The takeaway: branching-time logic gave us a precise picture of an open future as a forking tree, but it lived in logic, not in spacetime.

What Belnap actually built

Belnap took Prior’s tree and rebuilt it from the raw material of relativity. He did not branch abstract instants. He branched spacetime itself.

His model begins with point-events, each a single point of space at a single instant, the smallest possible “where and when.” He calls the whole collection “Our World” and imposes one relation on it: a causal ordering, written as a “less than or equal to.” One event sits below another when a signal no faster than light could pass from the first to the second. This is a partial order, not a full line, because some pairs of events cannot reach each other at all; those are the spacelike-separated events that lie outside each other’s light cones. The relativistic causal structure is not added on top of the model. It is the ordering itself.

A bundle of spacetimes

From that ordering Belnap defines a history: a complete possible course of the world, a full four-dimensional spacetime running from infinite past to infinite future. The decisive move is that Our World contains many histories. Any two of them share their past, holding exactly the same events below a certain region, and then diverge. The last event two histories share, the point beyond which they part, is a choice point. From a choice point onward the world has more than one possible continuation.

So the picture is not a tree of abstract moments but a tree whose every branch is an entire relativistic spacetime, all sharing a common trunk and splitting at choice points scattered through the structure. This is why Belnap’s model is best described not as branching timelines but as a bundle of relativistic spacetimes, glued along their shared past and parting toward their possible futures. The branching is in the geometry.

The future is open, and yet it is open only inside a framework of such mathematical exactness that nothing in it is arbitrary.

Look at what the structure contains. A single, shared, settled past, the fixed past of the growing block. A future that is not one fixed thing but a field of genuine possibilities, the open future the presentist wanted. The choice point is the formal cousin of the growing edge, the place where the settled gives way to the open. Belnap took the growing block’s intuition and gave it the one thing it had always lacked, a precise relativistic body. The framework was later extended by Belnap with Thomas Müller and Tomasz Placek, who worked to square its branching with the demands of physics.

The takeaway: Branching Space-Time is the growing block universe rebuilt inside relativistic geometry, with choice points where one settled past opens into many possible futures.

Where the multiverse comes in

Belnap’s branches are possibilities. One becomes actual and the rest are roads not taken. A completely different line of thought had already reached branching from the other direction, out of quantum mechanics.

In 1957, the Princeton graduate student Hugh Everett proposed taking the Schrödinger equation literally. Left alone, that equation evolves the quantum wavefunction smoothly and never yields a single definite outcome; the textbook fix was to add, by hand, a “collapse” at the moment of measurement. Everett refused the addition. With no collapse, a measuring device that interacts with a particle in a superposition itself enters a superposition, and so does the observer who reads it. The superposition does not vanish. It spreads. Bryce DeWitt later gave the idea its name: the many-worlds interpretation. Every possible outcome of every quantum event is realized, each in its own branch, and the branches are parallel worlds, each as real as any other.

Why the branches stop interfering and seal off from one another was worked out through the theory of decoherence, developed by Wojciech Zurek and, in the consistent-histories form, by Murray Gell-Mann and James Hartle. The most detailed modern defense is David Wallace’s 2012 book The Emergent Multiverse, which argues that the worlds are not an extra ingredient but fall out of the structure of the wavefunction once decoherence is taken seriously. The Stanford Encyclopedia entry on Everett’s interpretation and the Wikipedia overview of the many-worlds interpretation both track the argument and its critics.

Now set the two pictures side by side. Belnap’s Branching Space-Time is a tree whose branches are relativistic spacetimes diverging at choice points. Everett’s many-worlds is a wavefunction that branches at every quantum event into parallel worlds. The shapes are the same. Both have a shared trunk and diverging branches, and both locate the splitting at definite events. The one deep difference is the flesh on the skeleton: in Branching Space-Time the branches are possible and one becomes real, while in many-worlds every branch is actual. Several thinkers, Simon Saunders and David Wallace among them, have argued that many-worlds implicitly needs a branching spacetime structure of exactly the kind Belnap had built for independent reasons. The philosophy of time and the foundations of quantum mechanics had been constructing the same object from opposite ends.

What does it mean that two of the hardest problems in physics, the passage of time and the meaning of measurement, turn out to share one mathematical shape? At minimum, it suggests the shape is telling us something neither field could see alone.

The takeaway: the growing block and the many-worlds multiverse converge on one branching structure, differing only on whether the unrealized branches are merely possible or fully real.

The cracks in the picture

A fair account names the difficulties, and the people who defend these models name them first.

The first is probability. Quantum mechanics assigns the odds of an outcome through the Born rule, the probability being the squared magnitude of the outcome’s amplitude. If every outcome actually happens in some branch, the rule’s meaning becomes obscure. What can it mean to say one result is more likely than another when both occur with certainty? David Deutsch in 1999 and David Wallace afterward tried to recover the rule from the rational choices a participant in a branching world should make, and the attempt is still contested. A picture offered to ground physics on objective chance struggles to ground chance itself.

The second is identity. If all branches are real, then at every quantum event you divide into many successors, each with an equal claim to be you. The single thread of a self becomes a spreading tree. Philosophers call this the fission problem, and it makes the ordinary notion of one continuous person hard to keep. The puzzle connects to a wider literature on what persons are across time, which we take up in temporal parts.

The third is time itself. When quantum mechanics is combined with gravity, the central equation of quantum cosmology, the Wheeler-DeWitt equation, contains no time variable at all. At the deepest level physicists can currently write down, the universe looks timeless, and the flowing time of experience, the growing edge of the block, has to emerge from a structure that does not contain it. How a global edge of becoming survives in a relativistic world that admits no universal present is the same difficulty seen from another angle, a problem we explore through spacetime foliation. The critic John Earman, in a 2008 essay pointedly titled “Pruning Some Branches,” argued that not every branch these models permit should be taken seriously.

The takeaway: the branching picture carries three unsolved problems its own defenders acknowledge, probability, personal identity, and the disappearance of time from fundamental physics.

The question both sides face

Strip away the mathematics and look at what stands. A reality that grows. A future that is genuinely open, yet open only within an exact structure of law, where branches fork only where the causal order permits and only into histories the constants allow. A real present that the deepest equations do not contain. And an observer who finds a single life in all of it.

Here the readings divide, and the division is older than the physics. One reading treats the branching structure as a brute fact: the constants, the laws, and the openness simply are, and asking why there is an ordered, life-permitting framework rather than nothing is a question without an answer. Another reading treats the precision of that framework as the thing most in need of explanation, and takes the open future inside a fixed and finely structured law as a sign of intention rather than accident. The first sees the multiverse as dissolving the appearance of design; the second points out that the multiverse is itself a mechanism, governed by laws that would still require an account, and that an unobservable ensemble invoked to explain away fine structure is not obviously simpler than the alternative it replaces.

Branching Space-Time does not settle that argument. It sharpens it. By making the open future precise, Belnap’s framework also makes precise how much exact structure the openness rides on. Whether that structure points beyond itself is the deep question both sides have always faced, and it is no closer to consensus now than when Broad first imagined a growing world in 1923.

What is settled is narrower and still remarkable. A largely forgotten paper in a logic journal fused the growing block universe with the many-worlds multiverse into one relativistic object, and in doing so showed that the reality of time and the meaning of quantum measurement may be two views of a single branching structure. The next time you stand at a small decision, with the future not yet written, you are standing at something Belnap drew in exact mathematics: a choice point, on the growing edge of a world that genuinely forks.